While it's not as robust as static-typing, compile-time type checking for Erlang has come a long way. Eqwalizer works pretty well, though but I may be biased since my employer sponsors the project.
WhatsApp has a similar internal dashboard for moderation/managing abuse. WhatsApp is E2E encrypted, so it's entirely based on visible user-actions. I'm sure Snapchat, TikTok, Tumblr, YouTube, Pornhub end others that have any moderation tools are in the same boat. There is no smoking gun here, despite the breathlessness from some quarters (including Musk himself[1]). That "Show DMs" link did send chills down my spine though, sometimes I forget Twitter DMs are not E2E encrypted.
This has a lot in common with Mudge's whistle-blowing case: there is nothing tangible to those familiar with the arts, but it appears to be (or ends up being) red meat "Aha!" gotcha material for those who have never worked in similar environments.
1. Which begs the question: does he really think Twitter's mod tools are unusual, or is he feigning ignorance for some reason known to him?
> people will be upset about this, very few will change their life plans over it
I am moving from Texas in the next few months, and I own a house here. Texas and Florida Republicans are in an insane game of red-meat one-upsmanship that's leading both states into a terrible place. They are not done yet, and Im not staying to find out how insane they can get.
I wish recent arrivers the best of luck! And hopefully one of y'all will buy my house with your bay area salaries.
1. https://github.com/WhatsApp/eqwalizer