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.