Hacker News new | ask | show | jobs
Questions and answers on AI and verification: follow-up to my May ACM Tech Talk (bertrandmeyer.com)
4 points by rbanffy 16 hours ago