What about "Running code and marathons"?

When not pondering the mysteries of algorithmic verification, I am most likely weighing the best options for my next meal, or wistfully thinking about when I will next get to see Godzilla on the big screen.

I am on an obsessive quest to find the right parameters to pull the perfect espresso shot.

I'm Squadron Leader of the Cheshire Yeomanry squadron of the Queen's Own Yeomanry, Cheshire's historic reserve light cavalry squadron.

Compilation and optimization of functional languages, from Scheme to JavaScript.

When not working from home, you can find find me cycling, climbing, or playing my guitar.