1
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…
AdaCore Blog
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
- Popular posts
- 9
- Total points
- 1,626
- HN comments
- 1,127
- Rank
- #788 company
Visit blog.adacore.com → RSS feedOn Hacker News Nov 2017 – Oct 2025
Programming Languages 9Software Engineering 6Systems & Performance 1Security & Privacy 1Tech Industry & Business 1