I try to make computers do things. Very occasionally, useful things. I like type-inference, shared object files, and long walks on the beach.