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.
@systemf @hazel I didn't get any email from the server. My mail provider is my very aggressively configured Postfix server.
Looks like zen.spamhaus.org thinks types.pl is spam.
@wilbowma @systemf I'll manually confirm in a few
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.
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.