I'm a software engineer.

I'm interested in typed functional programming and programs that can't crash. 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'd like to be better at selling / teaching functional programming (e.g. 1, 2) and writing helpful docs for applications (e.g. 1). I'd also like to be better at helping other people who didn't start out thinking they'd like to write software but think maybe it's for them.