Hacker News new | ask | show | jobs
by Retra 4194 days ago
A program can't prove its own correctness in any useful way. Especially for a system that is under continual development.