I'm a software engineer based in San Francisco.

I'm interested in building reliable software, quickly, using cheap assurance techniques. That means types, immutability, property-based testing, code review, and communication. This blog also sometimes covers engineering culture and process, since that is indivisible from productive software development.

I work primarily in Haskell and Purescript, mostly for convenience. In a past life I wanted to be an kernel engineer.