6 ms·
What 50 open source projects taught us about security in the AI era
- beyondscale-sai 2mo ago[dead]
- theChris-in 2mo agoI have a genuine question. Why can't any of these analyses on security ever throw up a gradual adoption of formal methods? Like, wouldn't that be the next thing that people should slowly start getting used to?