I hear read that Mastodon supports Markdown.
Markdown
I wonder if it can show highlighted code?
main = putStrLn "Hello world"
Well, no code highlighting but at least we got:
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.