Ada has been around since the 1980s and works in this space; see for example Mue... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

the_why_of_y on June 13, 2021 | parent | context | favorite | on: A few thoughts on Fuchsia security

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

chakkepolja on June 13, 2021 [–]

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

pjmlp on June 13, 2021 | [–]

NVidia thinks otherwise,

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

aaron-santos on June 13, 2021 | | [–]

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

pjmlp on June 13, 2021 | | [–]

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

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact