[the_why_of_y]

Ada has been around since the 1980s and works in this space; see for example Muen separation kernel: https://muen.sk/

[chakkepolja]

Ada is not even as popular as rust. Betting on Ada is not viable for Google.

[pjmlp]

NVidia thinks otherwise,

https://www.adacore.com/company/partners/nvidia

[aaron-santos]

I'm curious what you think the risk management strategies are for NVidia and Google projects and why they are the same.

[pjmlp]

Two companies that play on the same league, curious to see you think otherwise.