top | item 33508483 (no title) notriddle | 3 years ago The article is about Ada SPARK, and nVidia using it to develop their firmware today. discuss order hn newest jesse__|3 years 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.
jesse__|3 years 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.
jesse__|3 years ago
It makes sense for nVidia to trade development time and prefer a language with formal verification for their firmware.