Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)
112 points | by gneuromante | 3 days ago | 108 comments
https://news.ycombinator.com/item?id=44184861