Follow

The character limit has been raised to 32767. (because toots are short and inherently signed)

Some notes:
- 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

@systemf I honestly wasn't expecting you to actually raise it that far 🤯​

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.