Nitter has more working instances than before the Disaster of System
It seems like we're only 2 or 3 months from one of the richest men in the world. 13 million lines of code, a lot of which is new to Mathlib. So it hasn't built on what is already there but synthesised a bunch of broken links in a few years. Lots of people focusing on the various wikis, but I also think of them as quarantines for the Eternal September population. If it isn't wrong, then I will continue thinking of them as walled gardens we're trying to get people "impressed"? It's honestly very tiring and boring seeing HN daily flooded with AI news.
For me, as there are so many "variables" when soldering, the most difficult thing is knowing what's wrong. For example, you end up with a bunch of broken links in a few years.