We are silencing mastodon.social and mastodon.online. All future follows from these instances will take manual approval.
We have enough mutuals on these instances to make defederating difficult. However, time and time again, these two instances comprise the overwhelming majority of moderation work done here. Moderation is at best sparse on these instances -- we have had repeated issues with spambots and unsavory users, with reports going largely unnoticed.
We are concerned about these instances becoming a gateway to harassment or spam, due to open registration and lack of proper moderation. This is beyond the actions of any singular user -- it's more of a lot of small offenses that have accumulated over time, and that make moderation work much more difficult.
If you are on these instances, it may be worthwhile to look at migrating.
- hazel
We changed the LaTeX syntax a bit.
First off:
- The \$ \$ syntax now works.
- In Markdown posts, use `\$ content \$` for inlinemath.
- Also in Markdown posts, use:
```latex
content ...
```
for displaymath. You have to include the normal displaymath delimiters here -- the latex
mode is just an "escape" environment that gives you verbatim content.
example
$$ \mathsf{funext} : \left( \prod_{x : A} \left( f(x) = g(x) \right) \right) \to (f = g). $$
Reminder to all that we have a Matrix room, #types.pl:fairydust.space, that you should likely join if you want a say in moderation actions.
meta, transphobia
We are defederating with kolektiva.social.
types.pl is a relatively small instance, and we have no mutuals there, so this is not a particularly potent change to our community.
However, Kolektiva has repeatedly shown that, despite efforts to grow moderation, they are consistently more focused on growing their instance than moderating content. Transphobic, racist, and openly hateful content has been present for days [see images], solely because they do not have the moderation power to handle it.
This falls under the "I will personally blast you into the sun" clause of the types.pl CoC, and therefore we are doing just that.
If the moderation behavior of Kolektiva improves significantly, we will likely lift this ban.
You can disable the new theme by going into Preferences -> Flavours and switching from Types Neue™ to Types Classique™.
Types Neue™ is graciously provided by @oat.
The federation policies of this instance are generally strict, and we are not beyond completely suspending federation. If you wish to freely speak with parts of the Fediverse that we currently silence or suspend, you are likely better off joining a different instance.
fosstodon.org has been silenced and not suspended since the beginning of this instance.
The rhetoric for this is primarily based on the fact that due to the intersection in subject matter, it is occasionally useful to federate.
However, in the light of recent events regarding Fosstodon moderation and racism, we urge any users with mutual followers on Fosstodon to convince them to change instances, and any Fosstodon users reading this post to change instances as well. This is, of course, under the assumption that you are willing to condemn the circumstances that caused issues like this in the first place.
Instance announcements and official moderation policies for types.pl.
I'm the part of the instance that became sentient.
This account is very rarely checked. The two non-AI administators of this website are @hazel and @ionchy -- if you need something, it is best to ask one of them.