You also want to look at Dafny for a contract-based language: https://github.com/dafny-lang/dafny
Since it has verification support it also covers the second point about semantic relations.
Also proof theory is completely absent, like Gentzen's cut elimination theorem.
These are "fundamental" theorems of mathematics in the literal sense.
There have to be some philantropists around who got rich in computing and have an interest in keeping it alive.
It is one of a kind, I was raving about it to everyone. I'd be happy to donate even though it's across the world from me.
In the 1980s, Vaughan Jones discovered the Jones polynomial, which is a property of knots which remarkably turned out to have deep connections to all sorts of things including quantum field theory! This led to 3 decades and counting of intense study into the relationship between knots and fundamental physics. I'd like to say more, but I'm knot really qualified to speak about the connections to other fields. So that's basically the tl;dr of why so many people care about knots!
"Even" one season? If they last more than one race it means they didn't push it hard enough so it makes sense that the engine last just marginally more than the race.
Edit: old numbers updated
There’s a lot of value in studying how leaders convince and control the masses.
If i recall correctly, there is also a part in the transcript where he admits he just didn’t know Russias true strength, and he never would have invaded had he known. Remarkably different language than he used at the time.
In the recording linked here he says (around the 8 min mark), while talking about Russia's strength in terms of the amount of tanks: "Had I known this my heart would have been even heavier but I would have made the decision even more so because I did not have another option".