About

I’m a software engineer.

I’m interested in typed functional programming and programs that can’t crash. For $work I often maintain web service interfaces to complicated parts of my job’s software. Right now that’s scheduling services at Umbra in Python. In non-work work I like Haskell and its friends, and you can see some past small work in those areas in a 2d pointing satellite simulator, Advent of Code solutions, and a tiny library for explaining property-based testing. I also like small programs to make my life easier, like this little tool to split transactions in YNAB.

You can find my resume here.