From owner-freebsd-chat Sun May 16 10:51:21 1999 Delivered-To: freebsd-chat@freebsd.org Received: from fasterix.frmug.org (d181.paris-84.cybercable.fr [212.198.84.181]) by hub.freebsd.org (Postfix) with ESMTP id 56B9914E40; Sun, 16 May 1999 10:51:13 -0700 (PDT) (envelope-from pb@fasterix.frmug.org) Received: (from pb@localhost) by fasterix.frmug.org (8.9.3/8.9.3/pb-19990315) id TAA22072; Sun, 16 May 1999 19:51:11 +0200 (CEST) Message-ID: <19990516195110.A22057@fasterix.frmug.fr.net> Date: Sun, 16 May 1999 19:51:10 +0200 From: Pierre Beyssac To: chat@FreeBSD.ORG, Wes Peters Cc: hackers@FreeBSD.ORG Subject: Re: BSD, GPL, the world today. References: <199905131530.LAA04222@etinc.com> <373CB22B.4843BD45@softweyr.com> <19990515014823.A82329@catkin.nothing-going-on.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.92.8i In-Reply-To: <19990515014823.A82329@catkin.nothing-going-on.org>; from Nik Clayton on Sat, May 15, 1999 at 01:48:23AM +0100 Sender: owner-freebsd-chat@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org 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