admin announcement: if you're trying to sign up and the email isn't sending, it's probably because you're using microsoft-based email
for some reason microsoft doesn't like us. we're currently not sure why this is, because we are not on any major email blocklists and all infrastructure and DNS records are currently set up correctly
we might try to fix this issue, but in the meantime you can use any other email provider like protonmail, gmail, etc
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.