Hacker News new | ask | show | jobs
by transpute 372 days ago
"Ada and SPARK enter the automotive ISO-26262 market with Nvidia", 100 comments, https://news.ycombinator.com/item?id=44184861