Subject: RE: [hackers-il] Re: YA Rule of Open-Source Programming - ?

From: Chen Shapira <[email-masked]>
Date: Thu, 17 Jan 2002 17:02:09 +0200

> google to the rescue:
> http://www-cs-faculty.stanford.edu/~knuth/faq.html
> 
> and the exact quotation is: ``Beware of bugs in the above code; I have
> only proved it correct, not tried it.''

And I'll added that in the book "Programming Pearls" they remark that it
took 13 years from the first time "binary search" was published, to the time
a correct implementation was published.