Closing down

Since I’ve been retired for 2 years now, this blog has served its purpose, and it’s time to decomission it. There will be no more posts here, and I’m turning off comments. I was actually sad to see that no one has figured out how to email me. Oh well.

If you want to see what I’m up to, feel free to check out my Mastodon account.

So long, and thanks for all the fish!