My blog now lives under https://blog.purefunctor.me
Having a bit of trouble configuring stuff though.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.