Hacker News new | ask | show | jobs
by okaleniuk 182 days ago
AI will definitely make more people thing about verification. Formal or otherwise.