i wish there was a button to hide serious posts from my timeline because you know sometimes i just want to see some goofs and gaffs
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.