About

I blog about mathematics, computer science, and computers. Topics I am interested in include the following:

• category theory
• logic
• type theory
• set theory
• functional programming
• functional reactive programming
• dependent types
• TeX
• Vim
• Unicode