Hacker News new | ask | show | jobs
Artificial Intelligence for Software Engineering: From Probable to Provable (cacm.acm.org)
3 points by gregnavis 18 days ago