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
· 4mo ago
1064 links
· Curated
4mo ago