[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable
Jonathan S. Shapiro
Re: Linus replies. Re: Computer: Can We Make Operating Systems Reliable and Secure?
Thu, 11 May 2006 09:57:49 -0400
On Thu, 2006-05-11 at 14:10 +0200, Marcus Brinkmann wrote:
> At Wed, 10 May 2006 08:54:41 -0700,
> Thomas Bushnell wrote:
> > Still, he is essentially right. The conclusion is--dare I say
> > it--right as well. The best computer systems *are* single address
> > space systems. Of this, I have absolutely no doubt.
> But this just replaces the war on the best kernel with a war on the
> best memory-safe programming language...
> <ducking for cover>
Which would be BitC, of course!