Hacker News new | ask | show | jobs
by notriddle 1318 days ago
The article is about Ada SPARK, and nVidia using it to develop their firmware today.
1 comments
jesse__ 1318 days ago
Yes, I wasn't referring to the article, I was referring to the person comparing C to asbestos.

It makes sense for nVidia to trade development time and prefer a language with formal verification for their firmware.

link