Hacker News new | ask | show | jobs
by kamaal 312 days ago
Proving something is correct is a far harder exercise, than writing a broken but acceptable version of that thing.