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.

Sign in to participate in the conversation

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.