I'm broadly interested in developer tools, programming languages, and distributed systems. I have a particular interest in the Racket programming language for programming languages, the Nix reproducible build system, and the Emacs extensible editor.

• Website