Gareth's Homepage

I'm a Staff Engineer at VMware¹ working on Cloud Foundry. I've previously worked at Pivotal both in Labs and on Cloud foundry, and I spent a long time at Imperial College working on semantics and formal methods for web programs.

When I have time to myself, I like to cycle either very fast, or very far, or both.

I sometimes do silly things in public.

• Some thoughts on testing and dependency injection in bash.
• I got nerd-sniped about betting-odds notation.
• I sometimes write little things.
• I am a founder of the JSCert project, which provides a complete mechanised semantics of JavaScript in Coq.
• In ~2012 I found myself thinking: bookshelves are awesome. Ebooks are awesome too. Can we combine them?
• I accidentally wrote a guide to getting started with LaTeX.
• I was a founder of the wombile project, which was a system designed to make it easy to produce a collaborative, location aware mobile experience using (now largely obsolete) Symbian S60 smartphones.
• Since 2000, I've tended to switch back and forth between emacs and vim every 18 months or so.
  • Here are some differences I'd noticed as of 2013
  • Here are some things I've done in emacs which felt particularly good at the time :)
  • My current emacs config is on github here.
    • I've dabbled in trying to write a beginner-friendly pairing-friendly emacs config.
    • My first attempt to put my emacs config online was self-hosted (and powered by org-mode). It's still online, but pretty ancient. Here's the org-mode config that went with it.
  • When I use vim, I often use Luan's config.
• I wrote a little introduction to feminism for computer scientists, because some CS friends of mine thought it might be helpful.
• I briefly compared a pair of videos about beauty.