4 ms·
The article is about Ada SPARK, and nVidia using it to develop their firmware today.
by notriddle 4y ago
The article is about Ada SPARK, and nVidia using it to develop their firmware today.
- jesse__ 4y agoYes, 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.