This blog has moved!

This blog has moved!

See this post for details.

Or just head over to the new site.

Tuesday, June 14, 2022

Moving the blog

I am moving this blog to a git-based version at

For your convenience, here is a link to its RSS feed.

I have migrated many of my old posts there already. I am leaving this site up for the time being, partly because I haven't yet figured out if I can migrate the comment history. If I figure that out, I will shut down this site in short order. I may delete it eventually anyways.

UPDATE: It looks like I've successfully migrated the comments!

It looks like some of the comment metadata got lost in the import to Disqus, so the thread data has been lost. That's a shame as it makes conversations harder to follow. 

I will leave this blog online for now, but am shutting down any new comments.

No comments:

Post a Comment

Note: Only a member of this blog may post a comment.