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-hackers" 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>