About

I'm Josh Burgess, a software engineer interested in type systems, functional programming, and building reliable software.

This blog is where I write about programming topics that I find interesting or useful. Expect posts on Rust, Haskell, PL theory, and whatever else catches my attention.