Indeed. Feels like vast majority of the TV worth watching is HBO. I value my time so I'd rather have access to a few HBO series / year than an endless sea of A/B dross.
At work I am always hopping between F# and JavaScript and I'm convinced that if more people had this experience they would want the pipe operator in JavaScript.
Unfortunately it's hard to convey the advantages to those who haven't used it. Maybe it's because it's such a simple bit of syntatic-sugar?
Will we care about proofs and type-systems once we have AI systems that reliably answer questions like "does this code do X?" and "under what conditions does this code violate invariant Y?"
Managing a vault server sounds like a pain.