TBH, this sounds like somewhat of a nothing-burger published by an organization with a motivation to overstate the use of Ada / Spark.
Specifically, the article does not claim that any significant bit of code at NVIDIA uses SPARK or Ada.
Specifically, the article does not claim that any significant bit of code at NVIDIA uses SPARK or Ada.
That is a vacuous statement, because:
* We don't know what constitutes "significant"
* We don't know what it's significant _for_
* "code at NVIDIA" is an extremely wide definition.
vacuous: Devoid of substance or meaning; vapid or inane.
disingenuous: Pretending to be unaware or unsophisticated; faux-naïf.
guarded: Cautious; restrained.