The character limit has been raised to 32767. (because toots are short and inherently signed)
- Don't spam please! Only use the extended character limit if you have to
- If you do spam, I will delete the toot and take action
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.