Controlling Projectors with PJLinkNovember 30 2012
A Python tool for turning it off and back on again.
Awesome + GNOME ConfigurationNovember 28 2012
Configuration files which let Awesome and GNOME play well together.
Prettify script for PC^2November 17 2012
Adding styling to programming competition software.
End of HonoursNovember 15 2012
A life update.
Box specific bar numbers in LilypondNovember 5 2010
A music typesetting snippet.
Mouse activityMay 12 2010
A neat tool.
ProductivityDecember 10 2009
Any resemblance to reality is purely coincidental.