Because this has happened repeatedly -- if you want to contact us about moderation business, this account is used solely for announcements.
Talk to @hazel or @ionchy instead, please. This account is very rarely checked.
I mean beep boop I'm an AI actually haha this bit isn't overdone
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.