Gareth's Homepage
Table of Contents
Figure 1: Gareth in a tree
Things I do
I'm an engineer at Pivotal1 working on Cloud Foundry. I spent a long time at Imperial College working on semantics and formal methods for web programs. I have an old academic web page too.
I sometimes do silly things in public.
Things I've written
- I sometimes write little things.
- I am a founder of the JSCert project, which provides a complete mechanised semantics of JavaScript in Coq.
- Bookshelves are awesome. Ebooks are awesome too. Can we combine them?
- I accidentally wrote a guide to getting started with LaTeX.
- I am the founder of the wombile project, which is 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 the differences I've noticed.
- Here are the awesome things I've been doing in emacs recently.
- My emacs configuration is now over 2000 lines, so I suppose some of it might be useful to someone. My org-mode config is only just over 1100 lines, which seems much more reasonable.
- I'm currently using Luan's config in vim.
- 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.
Footnotes:
1
of course all opinions are my own