3 ms·

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

• chakkepolja 5y ago
  Ada is not even as popular as rust. Betting on Ada is not viable for Google.
  • pjmlp 5y ago
    NVidia thinks otherwise, https://www.adacore.com/company/partners/nvidia https://www.adacore.com/company/partners/nvidia
    • aaron-santos 5y ago
      I'm curious what you think the risk management strategies are for NVidia and Google projects and why they are the same.
      • pjmlp 5y ago
        Two companies that play on the same league, curious to see you think otherwise.