Hacker News new | ask | show | jobs
by CobrastanJorji 2430 days ago
Reminds me of the Knuth quote: "Beware of bugs in the above code; I have only proved it correct, not tried it."