I'm Jamie. I build things with open source software.
Working programmer. Lapsed mathematician. Amateur pokerbot trainer. Enthusiast horologist1. Tai Chi Chuan practitioner. Street photographer.
Formerly Cambridge Software, RealtimeCRM & SOS Children’s Villages. Currently studying Haskell & Toki Pona, enjoying VR, and having fun with my emacs config.
Following an embarassing conversation, I must remind the reader that horology != astrology. ↩︎
Latest posts
Solving Knights and Knaves with Z3
Notes on Category Theory for Programmers