martin.kleppmann.com
1 upvote · 1 list
Actions
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
First added by
@tech_daily
· 2mo ago
1064 links
· Curated
2mo ago