I uninstalled Reddit, Hacker news and Twitter apps from my phone so Mastodon is my only friend now.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
