I write about programming languages and compilers