>>110289727
Ditching Rust for Ada was the right choice even before AI, and as added benefit, Ada doesn't appeal to the web shitters.

>>110289727
for me, the signs have also been pointing toward Ada. the syntax excels at readability/conveyability at the cost of verbosity, but verbosity doesn't doesn't matter anymore. compiler-checked intent i.e. contracts are perfect for AI, and AI can leverage SPARK more than anyone has ever had the time for.
afaik Rust wants to subsume all this, but Ada is so much more elegant. hopefully it can modernize in tandem.
and it's nice to see Nvidia recently adopted Ada+SPARK and has said it's become popular internally.

Or we can make a theoretically safe ISA

>>110293159
safe with respect to which assumptions because the general case is impossible as per Rice's theorem