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