-
Shell startup scripts
February 17 2013A description of the startup behaviour of several shells, with an instructive diagram.
-
Controlling Projectors with PJLink
November 30 2012A Python tool for turning it off and back on again.
-
Awesome + GNOME Configuration
November 28 2012Configuration files which let Awesome and GNOME play well together.
-
Prettify script for PC^2
November 17 2012Adding styling to programming competition software.
-
End of Honours
November 15 2012A life update.
-
Box specific bar numbers in Lilypond
November 5 2010A music typesetting snippet.
-
Mouse activity
May 12 2010A neat tool.
-
Productivity
December 10 2009Any resemblance to reality is purely coincidental.