Hello world!

Welcome. This blog has been re-installed to clean up a bunch of comment spam (and such). I may restore some old posts as time allows. In the meantime, echo "Hello World!"