I know at least one autonomous vehicle company is using it as their base OS in t... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		AlotOfReading 65 days ago \| parent \| context \| favorite \| on: Ironclad – formally verified, real-time capable, U... I know at least one autonomous vehicle company is using it as their base OS in the autonomy stack, with efforts at extending some form of verification up to the high level code.

tombert 65 days ago [–]

That's cool as hell! I didn't know that but it makes me happy to see it getting a bit more love.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact