Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 16 May 1999 19:51:10 +0200
From:      Pierre Beyssac <pb@fasterix.freenix.org>
To:        chat@FreeBSD.ORG, Wes Peters <wes@softweyr.com>
Cc:        hackers@FreeBSD.ORG
Subject:   Re: BSD, GPL, the world today.
Message-ID:  <19990516195110.A22057@fasterix.frmug.fr.net>
In-Reply-To: <19990515014823.A82329@catkin.nothing-going-on.org>; from Nik Clayton on Sat, May 15, 1999 at 01:48:23AM %2B0100
References:  <199905131530.LAA04222@etinc.com> <xlxso8z2w76.fsf@gold.cis.ohio-state.edu> <373CB22B.4843BD45@softweyr.com> <19990515014823.A82329@catkin.nothing-going-on.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, May 15, 1999 at 01:48:23AM +0100, Nik Clayton wrote:
> Didn't Knuth say "I've only proven TeX to be correct, I haven't tested
> it" or some such?

That's a quote in /usr/src/games/fortune/datfiles/fortunes:

"Beware of bugs in the above code; I have only proved it correct, not
tried it."
		-- Donald Knuth
-- 
Pierre Beyssac	      pb@fasterix.frmug.org pb@fasterix.freenix.org
{Free,Net,Open}BSD, Linux : il y a moins bien, mais c'est plus cher
    Free domains: http://www.eu.org/ or mail dns-manager@EU.org


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-chat" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?19990516195110.A22057>