I used to write blog posts here occasionally. The technical content is now probably obsolete, and any given opinion I expressed is decently likely to be incorrect.

• 30 Aug 2015 » Anki Sound Problem on OS X
• 23 Sep 2014 » Extracting Coq Lemmas from Proof State in Emacs
• 15 Sep 2014 » The Torture Problem
• 01 Mar 2014 » Prettification II: Javascript Strikes Back
• 01 Mar 2014 » Prettifying Coq Buffers in Emacs
• 29 Jan 2014 » Minimalist Knuthian Keynote Theme
• 31 Dec 2013 » My Year of Non-Fiction
• 24 Dec 2013 » Posting to Jekyll with Emacs
• 23 Dec 2013 » On Coffee