Hacker News new | ask | show | jobs
by jmillerinc 5805 days ago
"Prove the algorithm correct" - gosh, if only that were true.