I'm rewriting my Emacs configuration https://blog.purefunctor.me/posts/20220818095812-happy_emacs/
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.