5 ms·
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 articl
by einpoklum 2y ago
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.
- uxp100 2y agoSignificant bits of code at NVIDIA use SPARK. Small percentage of total code written, but in significant places.
- einpoklum 2y ago> Significant bits of code at NVIDIA use SPARK. 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.
- transpute 2y agoDetails, slides and video are in this HN discussion, linked from sibling response. vacuous: Devoid of substance or meaning; vapid or inane. disingenuous: Pretending to be unaware or unsophisticated; faux-naïf. guarded: Cautious; restrained.
- transpute 2y agoThe linked Nvidia case study names GPU firmware components, https://news.ycombinator.com/item?id=43043541 https://news.ycombinator.com/item?id=43043541