If you don't get any mails from the instance, please reach out. The mailer is a very minimally configured Postfix server that a few email providers like to throw out.
I forgot to set my rDNS entries. Some mail providers throw out emails with rDNS discrepancies.
Also DKIM isn't working so I need to fix that.
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.