If you want to see this kind of thing done “really in real time” check out Terry Tao’s recent mathstodon posts where he learns Lean while formalizing a paper of his own. Fascinating stuff.
“In fact, it isn’t even clear that depositors were going to be wiped out, absent federal intervention. When SVB was shut down, it still had real assets that were worth money, which can be sold to pay back investors. ”
Would conservatives suggest investors really should be paid back first? Unlikely to be popular.
Argh - yes it can. Bell explicitly have a pretty trivial one in one of his early papers. QM cannot be explained by a non-contextual hidden variables model. (The simplest physical version of contextuality is locality - so as Bell showed you cannot explain quantum theory with a local hidden variables model).
A few months ago a couple of physics postdocs set up a website (vanityindex dot com) and proposed a few "vanity metrics". Can be fun to check out your own vanity index and that of your colleagues.