Rob Dickerson

Ph.D. student at Purdue University. Interested in programming languages, program verification, and program synthesis. Advised by Ben Delaware. Formerly at Square and elsewhere.

Emacs Configuration

I’ve scrapped my old emacs configuration and built a new one. The big things I wanted to fix:

  1. I wanted to stop checking package files into the git repository. Instead, missing packages should be installed automatically when Emacs starts up.

  2. My old config was good at organizing its defuns and key bindings, but bad at organizing per-package and per-mode configurations.

I like the way magnars structures his config, and I used this structure as my starting point. The result is up on github, and I’m enjoying it so far. It’s still pretty new, so I’m sure there are many tweaks and additions to come.