About me

I write about mathematics, computer science, and the places where the two meet.

This is a space for things I find interesting while studying, researching, and building things. I mostly write about mathematical ideas, programming languages, theoretical computer science, and the occasional technical problem that takes longer to understand than expected.

The posts here are mostly notes: attempts to work through an idea clearly enough that I can come back to it later, and perhaps useful to someone else along the way.

There is no particular theme or agenda beyond following interesting questions and writing down what I learn.