For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
When AI writes the software, who verifies it? (leodemoura.github.io)
304 points by todsacerdoti 5 days ago | past | 299 comments
Proof Assistants in the Age of AI (leodemoura.github.io)
1 point by matt_d 16 days ago | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You