Waterloo, Canada


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