On this blog, you can expect to find posts on the following topics:

• formal systems
  • logic
  • type theory
  • mathematics, especially subjects with algebraic flavor
• computing
  • functional programming
  • declarative infrastructure/builds
  • formal methods
• natural language
  • acquisition
  • translation
  • semantic analysis of linguistic phenomena
• philosophy related to the above