Hacker News new | ask | show | jobs
by korbonits 2 days ago
Proves the need for more formal verification :)