Defederated from is.badat.dev due to admins posting a video of a Nazi targeted at an instance full of people of color.
I genuinely can't believe that this is controversial.
@systemf …just looking down the thread I see there’s more than I’m missing so I guess I’ll be wary about that
@systemf Holy crap what. I'm looking through their public timeline but can't find this, can I get a link? I have seen users from there around my TL so I definitely want to block them if this is the case
A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.