News for hackers. Stuff that matters.

A comment on Nvidia Security Team: “What if we just stopped using C?”. Parent comment

Re:Nvidia Security Team: “What if we just stopped using C?” by tmtvl on Monday November 07, 2022 @05:41PM (#33513571)
I'd like to see the Ada guys, and especially the SPARK guys, talk about Rust the way Rust people talk about C. That said, I'm just gonna add ACL2 to my Common Lisp toolbox and then I too will have the power of theorem proving.
[ Parent | on HN ]

There are no comments on this comment yet.