Hacker of well-typed software, open source community organizer. Lambda mechanic.
I’m an Australian open source hacker, and engineer at Galois, in Portland, Oregon, where I work on creating trustworthiness and assurance in critical systems (mostly in Haskell) with an emphasis on language design and compiler techniques. I’m co-author of Real World Haskell, published by O’Reilly (and available in wiki form), and the XMonad window manager. I’m also mad keen on cycling, and the beer of the Pacific NW.