Hacker News new | ask | show | jobs
by AnimalMuppet 3930 days ago
And then you have the problem of proving that the specification is bug free...