6 ms·
What 50 open source projects taught us about security in the AI era
- theChris-in 1mo 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?
- beyondscale-sai 28d ago[dead]