Undo has cool features like Live Recording that we don't have in rr. They don't need access to the hardware PMU which is a big advantage in some situations. They can handle accesses to shared memory in cases where rr can't. https://undo.io/resources/undo-vs-rr/ is a good resource.

Altman apparently doesn't know what he's competing against. Not a good sign.

But in an AGI world natural resources become even more important, so countries with those still have a chance.

The safety of LLVM and GCC need not be a priority... they're not normally exposed to untrusted input. Also, it's a particularly hard area because the safety of generated code matters just as much as the safety of the compiler itself. However Cranelift is an interesting option.

No silver bullet here unfortunately... but writing new infrastructure in C or C++ should mostly be illegal.

Look at it this way --- mature products like Chrome are already doing all of that wherever they can. If it was enough, they wouldn't worry about C++ UB anymore. But they do.

Almost the same argument applies to Edge and Chrome.

Russia's nuclear arsenal is a perfectly adequate guarantee of Russia's security. Putin knows this, which is why he's happy to leave Russia's western border with NATO practically undefended while he pursues Ukraine. (This also disproves the "Putin invaded Ukraine because he's afraid of NATO" lie.)

It's more plausible that Putin's survival depends on the outcome of the Ukraine war. But "mad Putin blows up the world" is as much a problem for the Russians as anyone else.