Should we raise the character limit?
@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
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.