From: Sean O'Halpin <sean.ohalpin@...>
Date: 2008-04-16T22:48:43+09:00
Subject: Re: Ada vs Ruby

On Wed, Apr 16, 2008 at 2:39 PM, Robert Dober <robert.dober@gmail.com> wrote:
>
>  Reminds me of the old story about Donald Knuth (I do not know if it is
>  actually true) who was lecturing formal code proves and was asked by a
>  student if the code actually worked now. He replied:
>  I do not have any idea I only proved it correct I never tested it.
>  Although most of you know this story I believe that it is particularly
>  of interest in this context.
>
>  Cheers
>  Robert

FYI: http://www-cs-faculty.stanford.edu/~knuth/faq.html - see last
question on page.

Regards,
Sean