This is my personal blog, where I write about topics that I find interesting - type theory, programming languages, and computer science.