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 users who like the study of programming languages, formal semantics, types, or linguistics.