AdaCore Blog company blog
Nvidia Security Team: “What if we just stopped using C?” (2022)
Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for…
- Points
- 306
- HN comments
- 541
- Submissions
- 2
- Cited by
- 0 commenters
Security & PrivacyProgramming Languages2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Feb 10, 2025 | Nvidia Security Team: “What if we just stopped using C?” (2022) by transpute | 306 | 179 |
| Nov 7, 2022 | Nvidia Security Team: “What if we just stopped using C?” by q-big | 257 | 362 |
