haha thank's
anyway that's all the effort i'm willing to do right now. just use a different email please
admin announcement: if you're trying to sign up and the email isn't sending, it's probably because you're using microsoft-based email
for some reason microsoft doesn't like us. we're currently not sure why this is, because we are not on any major email blocklists and all infrastructure and DNS records are currently set up correctly
we might try to fix this issue, but in the meantime you can use any other email provider like protonmail, gmail, etc
It is done! We're on v3.5.5+types now. This exploit has now been patched: https://portswigger.net/research/stealing-passwords-from-infosec-mastodon-without-bypassing-csp
If for some reason you're interested in seeing what's being upgraded: https://github.com/ralsei/types.pl/issues/7
— ionchy
On Saturday, 26 November 2022, at approximately 13:00 EST (18:00 UTC) we'll be doing a minor upgrade of types.pl's Glitchsoc fork from v3.5.3 to v3.5.5. This is a relatively small upgrade, mostly for security patches, so in the ideal scenario where everything goes perfectly there shouldn't be any significant downtime. (If things don't go smoothly you'll be able to tell.)
For now, we're holding off of on upgrading to v4 since it introduces a lot of undesirable features, but mostly because we don't currently have the time to properly test and tweak this bigger upgrade, especially during this ongoing influx of users
— ionchy
putting this off by a week to November 19th, because I am literally just too busy -hazel
Also, if your application is denied, *you can apply again with more information*.
Having an easily searchable username, an old Twitter profile, or a personal site are all very useful so we can figure out who you are and why you want to join.
Welcome, new users! Some frequently asked questions:
1. Why are mastodon.social, mas.to, etc silenced?
Due to the size of these instances, as well as the fact that registrations on them are completely open, content moderation becomes very difficult. Mastodon doesn't give us very many tools for talking to an instance when we only want to let some users in without moderating those instances by telephone line.
You can still follow and interact with users on these instances, but when they follow you, you'll get a follow request. This is the only major difference.
2. Why is instance X suspended entirely?
The upside of Mastodon is that anyone can make an instance, and the downside of Mastodon is that anyone can make an instance. There are tons of Mastodon instances for any topic you'd like, but there are also tons of instances for topics you wouldn't like (including, up to, and beyond literal neo-Nazism). Part of our job as an instance administrator is to avoid these instances interacting with us so you don't get awful content in your notifications, or on the federated timeline.
If you want to look at the list of all suspended instances, take a look at https://types.pl/about/more (it's long!)
Many of these instances don't have immediate reasons for defederation on them, because they were imported from the hellsite.site blocklist back in 2020 when this instance was first created.
3. Will you unsuspend X instance?
Not likely. If you want a larger corner of the fediverse without our (admittedly opinionated, but generally correct) moderation choices, you're free to join another instance.
4. Why is my application pending indefinitely?
There could be two reasons for this.
The first is that your application was bad: "leaving twitter", "why not?", "waiting until musk suspends me" aren't good reasons, and don't verify that you're not a spambot.
We also want to ensure that new users on types.pl meet our code of conduct, which some people in the PL community decidedly do not: no homophobia, no transphobia, et cetera.
The second is that we're slow at accepting account requests. We're getting about 25-75 applications a day, and we can only reasonably process about 15-25. This is because this instance is run by a bunch of busy students.
5. Can I get a custom emoji added to the instance?
Yes. DM an admin with a shortcode and a PNG.
6. Wow, this is very useful! Thanks so much!
me: You're welcome! That's not a question.
gigantic spider above me: dematerializes
[THIS IS AN OFFICIAL ADMIN ANNOUNCEMENT]
i went to the store and got some fruit juice. it was pretty good. thanks
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.
We changed the LaTeX syntax a bit.
First off:
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). $$
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 administators of this website are @hazel, @ionchy, and @haskal -- if you need something, it is best to ask one of them.