"Testing security is pretty much impossible. It’s hard to know if you’re ever done,” "We wanted to emphasize provability over testing as a preferred verificati

"Testing security is pretty much impossible. It’s hard to know if you’re ever done,” "We wanted to emphasize provability over testing as a preferred verification method" Yet another developer seeking a panacea that will allow them to keep their job while diminishing their workload. For typical workers, it's a fact that work is infinite, so you put your 8 hours and then do it again the other day. Whenever devs get put in this position they go for the nuclear option of going for the moon. Man just keep finding bugs to the best of your ability, it will never be 100% secure, except insofar as you gerrymander what's a vulnerability and what is your responsibility. Good luck. But if I have to put my chips in Nvidia's VP vs C, I put them in C. The list of C contenders has been long, and it seems more likely that the vp is at the peak of their life ala musk or altmann and they have their own delusions. Not sure whether going to mars is crazier or whether finally replacing C is.