Re:Nvidia Security Team: “What if we just stopped using C?”
by timbit42 on Monday November 07, 2022 @09:51AM
(#33506501)
The article states they had no performance hit from switching to SPARK.
[ Parent
| on HN ]
Re:Nvidia Security Team: “What if we just stopped using C?”
by sillysaurusx on Monday November 07, 2022 @09:57AM
(#33506584)
It’s rare to see a thread where everyone is simultaneously correct but talking past each other.
None of you are mistaken.