Graduate student in the WatForm group at UWaterloo. Co-host of the Emacs.el podcast. Free Software and Copyleft advocate, and volunteer webmaster for the GNU project.
My literate configuration for GNU Emacs and other pieces of software I use
A Z3-based IC3 implementation
Source code of my personal site/blog
My fork of alloy with my catalyst branch
divine theme for Hugo