Questions and answers on AI and verification: follow-up to my May ACM Tech Talk
By rbanffy · 2026-07-28 · 3 points · 0 comments
https://bertrandmeyer.com/2026/07/21/questions-and-answers-on-ai-and-verification-a-follow-up-to-my-may-acm-tech-talk/
By rbanffy · 3 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews