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.