News for hackers. Stuff that matters.

A comment on Nearly All Binary Searches and Mergesorts Are Broken (2006).

Re:Nearly All Binary Searches and Mergesorts Are Broken (2006) by tomsmeding on Saturday July 23, 2016 @08:12AM (#12149244)
> It is not sufficient merely to prove a program correct; you have to test it too.

No, this just indicates that you didn't prove it rigorously enough :p

[ Parent | on HN ]

There are no comments on this comment yet.