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-hackers" 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>