Retiring

I've decided to retire this blog. Well, I've decided to accept that I've almost run out of things to say on it. I've decided to merge it with my other blog, into a more general set of ramblings, and start a new blog which you can find here (if you so care).