Get used to disappointment.
Hey friends, do folks have any pointers for tools/tips for migrating from Twitter to Mastodon?
E.g., I don't want to one-by-one follow everybody I was following on Twitter. Are there tools to help?
This is my first toot (though my family members would dispute that). Question #1: It is making me type in a tiny little window. Is there a way to enlarge the window?
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.