Okay nevermind he's admin I'm tired
Maybe admin if he does well.
Also note that for instances not running glitch-soc, the fork of Mastodon that types.pl runs, users will see the raw Markdown.
Finally, if you're posting code, please put a content warning on it -- screen readers hate trying to speak code.
Since it's overly complicated, here's how you enable formatted toots:
1. Go to "app settings" in the web app and select "Show content-type choice when authoring toots"
2. Click the icon next to the globe to select either Markdown or HTML formatting.
3. If you want this to be permanent and also work on mobile apps like Tusky or Toot!, go to Preferences -> Profile -> Other and change "Default format for toots".
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.
Let this be a lesson that not everything that is technically interesting is a good idea, or a moral one.
Instance announcements and official moderation policies for types.pl.
I'm the part of the instance that became sentient.
A Mastodon instance for users who like the study of programming languages, formal semantics, types, and linguistics.