The bug-free myth: Why we trust verified software | Hacker News Reader