I decided to move this little blog of mine to GitHub Pages. Using git to manage blog posts it is a lot more appealing to me than copy-pasting stuff to Tumblr.

If you use a RSS reader, please update the feed URL. I would gladly set up a redirect, but GitHub Pages doesn’t support them. Sorry for the inconvenience.