I'm a software engineer based in Sydney, Australia.

I'm interested in building reliable software, quickly.

I focus on cheap assurance techniques.

That means types, immutability, property testing, code review, and communication.

I work primarily in the Haskell programming language, though I have dabbled in systems work in the past. I also use a bit of Purescript at work, plus copious amounts of shell.