Hacker News new | ask | show | jobs
Software Verification in the Age of Artificial Intelligence (learning.acm.org)
3 points by rbanffy 16 hours ago