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.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.