From owner-freebsd-hackers Sat May 15 4:42:14 1999 Delivered-To: freebsd-hackers@freebsd.org Received: from peach.ocn.ne.jp (peach.ocn.ne.jp [210.145.254.87]) by hub.freebsd.org (Postfix) with ESMTP id 074B514E8D for ; Sat, 15 May 1999 04:42:11 -0700 (PDT) (envelope-from dcs@newsguy.com) Received: from newsguy.com by peach.ocn.ne.jp (8.9.1a/OCN) id UAA13924; Sat, 15 May 1999 20:41:41 +0900 (JST) Message-ID: <373D598F.865446C8@newsguy.com> Date: Sat, 15 May 1999 20:25:03 +0900 From: "Daniel C. Sobral" X-Mailer: Mozilla 4.51 [en] (Win98; I) X-Accept-Language: pt-BR,ja MIME-Version: 1.0 To: Andrew Kenneth Milton Cc: Matt Curtin , dennis@etinc.com, ragnar@sysabend.org, hackers@FreeBSD.ORG Subject: Re: BSD, GPL, the world today. References: <199905142343.JAA95262@zeus.theinternet.com.au> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Content-Transfer-Encoding: 7bit Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG Andrew Kenneth Milton wrote: > > +----[ Matt Curtin ]--------------------------------------------- > | >>>>> On Thu, 13 May 1999 10:25:21 -0400, Dennis said: > | > | Dennis> All software has bugs > | > | TeX has no bugs. > | > | But it's the exception, not the rule. > > You cannot test for the abscence of bugs. You can prove it, though. -- Daniel C. Sobral (8-DCS) dcs@newsguy.com dcs@freebsd.org "Proof of Trotsky's farsightedness is that _none_ of his predictions have come true yet." To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message