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
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
Just imagine getting that sort of response time from a commercial service.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.