From owner-freebsd-hackers Sat May 15 2:21:23 1999 Delivered-To: freebsd-hackers@freebsd.org Received: from nothing-going-on.demon.co.uk (nothing-going-on.demon.co.uk [193.237.89.66]) by hub.freebsd.org (Postfix) with ESMTP id CD05214E79; Sat, 15 May 1999 02:20:57 -0700 (PDT) (envelope-from nik@nothing-going-on.demon.co.uk) Received: (from nik@localhost) by nothing-going-on.demon.co.uk (8.9.2/8.9.2) id BAA82830; Sat, 15 May 1999 01:48:23 +0100 (BST) (envelope-from nik) Date: Sat, 15 May 1999 01:48:23 +0100 From: Nik Clayton To: Wes Peters Cc: hackers@freebsd.org, chat@freebsd.org Subject: Re: BSD, GPL, the world today. Message-ID: <19990515014823.A82329@catkin.nothing-going-on.org> Reply-To: chat@freebsd.org References: <199905131530.LAA04222@etinc.com> <373CB22B.4843BD45@softweyr.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.95.4i In-Reply-To: <373CB22B.4843BD45@softweyr.com>; from Wes Peters on Fri, May 14, 1999 at 05:30:51PM -0600 Organization: Nik at home, where there's nothing going on Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG [ Redirected to -chat ] On Fri, May 14, 1999 at 05:30:51PM -0600, Wes Peters wrote: > Matt Curtin wrote: > > > > >>>>> On Thu, 13 May 1999 10:25:21 -0400, Dennis said: > > > > Dennis> All software has bugs > > > > TeX has no bugs. > > TeX has no *known* bugs. To the best of my knowlege, even Dr. Knuth > has not yet been able to *prove* it is correct. Didn't Knuth say "I've only proven TeX to be correct, I haven't tested it" or some such? I could well be mis-remembering a quote about some other app. N -- There's some milk in the fridge about to go off. . . and there it goes. To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message