Follow

Should we raise the character limit?

@systemf 32767
because toots are supposed to be kept short and they're automatically signed

@systemf in all seriousness I see a bigger limit as better, people post at whatever length they're comfortable with

I just narrowly evaded the limit twice though so I might be biased

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.