Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Nvidia Security Team: “What if we just stopped using C?”. Parent comment
It makes sense for nVidia to trade development time and prefer a language with formal verification for their firmware.
There are no comments on this comment yet.
It makes sense for nVidia to trade development time and prefer a language with formal verification for their firmware.