From owner-freebsd-hackers Fri May 14 16:32:18 1999 Delivered-To: freebsd-hackers@freebsd.org Received: from xylan.com (postal.xylan.com [208.8.0.248]) by hub.freebsd.org (Postfix) with ESMTP id 031A414FFF for ; Fri, 14 May 1999 16:32:14 -0700 (PDT) (envelope-from wes@softweyr.com) Received: from mailhub.xylan.com by xylan.com (8.8.7/SMI-SVR4 (xylan-mgw 2.2 [OUT])) id QAA20420; Fri, 14 May 1999 16:30:59 -0700 (PDT) Received: from omni.xylan.com by mailhub.xylan.com (SMI-8.6/SMI-SVR4 (mailhub 2.1 [HUB])) id QAA00178; Fri, 14 May 1999 16:30:59 -0700 Received: from softweyr.com (dyn2.utah.xylan.com) by omni.xylan.com (4.1/SMI-4.1 (xylan engr [SPOOL])) id AA00986; Fri, 14 May 99 16:30:50 PDT Message-Id: <373CB22B.4843BD45@softweyr.com> Date: Fri, 14 May 1999 17:30:51 -0600 From: Wes Peters Organization: Softweyr LLC X-Mailer: Mozilla 4.5 [en] (X11; U; FreeBSD 3.1-RELEASE i386) X-Accept-Language: en Mime-Version: 1.0 To: Matt Curtin Cc: Dennis , Jamie Bowden , hackers@FreeBSD.ORG Subject: Re: BSD, GPL, the world today. References: <199905131530.LAA04222@etinc.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG 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. > But it's the exception, not the rule. It certainly is, but perhaps it shouldn't be. I've worked on a few carefully verified systems, and they are quite expensived to create. They're the kind of systems that you hope would be carefully checked, though, since they involve flinging nuclear bombs at people. Anyone want to pony up a few dozen million dollars to do an NSCCA on FreeBSD? -- "Where am I, and what am I doing in this handbasket?" Wes Peters Softweyr LLC http://www.softweyr.com/~softweyr wes@softweyr.com To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message