Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 15 May 1999 01:48:23 +0100
From:      Nik Clayton <nik@nothing-going-on.demon.co.uk>
To:        Wes Peters <wes@softweyr.com>
Cc:        hackers@freebsd.org, chat@freebsd.org
Subject:   Re: BSD, GPL, the world today.
Message-ID:  <19990515014823.A82329@catkin.nothing-going-on.org>
In-Reply-To: <373CB22B.4843BD45@softweyr.com>; from Wes Peters on Fri, May 14, 1999 at 05:30:51PM -0600
References:  <199905131530.LAA04222@etinc.com> <xlxso8z2w76.fsf@gold.cis.ohio-state.edu> <373CB22B.4843BD45@softweyr.com>

next in thread | previous in thread | raw e-mail | index | archive | help
[ 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 <dennis@etinc.com> 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-chat" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?19990515014823.A82329>