Event-B Conversion 12 Aug 2012 • Tags: eventb Graphviz Positioning 29 Mar 2012 • Tags: graphviz OS161 on Homebrew 01 Mar 2012 • Tags: mac and university TextMate 2 Properties 21 Feb 2012 • Tags: mac insta-importo.rb → 26 Jan 2012 • Permalink • Tags: ruby I wrote a script to import the articles from The Daily WTF that I haven't read yet into Instapaper. It is also handy for other blogs. Git at University 20 Dec 2011 • Tags: git and university OS X Failed Backup Alert → 10 Jul 2011 • Permalink • Tags: mac and ruby A script to email you when a Time Machine backup has failed in the last 48 hours. You need to fill in the email destination and smtp settings. Works with system ruby, just install the pony gem.