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