So I have finally set up my blog on various things that I am interested in and that are roughly related to my work. In the near future, you should be able to read here about topics ranging from foundations of mathematics to text editors. Possible subjects include the following:
- category theory
- type theory
- set theory
- functional programming
- functional reactive programming
- dependent types
Keep reading and please comment if you wish.