Hacker News new | ask | show | jobs
Formal methods and AI: Where does Galois fit in? (galois.com)
2 points by shpat 1158 days ago