From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <3e1162e60512131246qd191ecdp994e9efdbe157386@mail.gmail.com>
Date: Tue, 13 Dec 2005 12:46:50 -0800
From: David Leimbach <leimy2k@gmail.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu>
Subject: Re: [9fans] MS Research reinvents Inferno?
In-Reply-To: <20051213181638.GB68786@mero.morphisms.net>
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_6698_14545146.1134506810623"
References: <c08a2d6fedca2d4d0c0927b927cbe230@proxima.alt.za>
	<1134493372.4921.0.camel@localhost.localdomain>
	<ee9e417a0512130943i35bfb952q8eece80ff581350@mail.gmail.com>
	<20051213181638.GB68786@mero.morphisms.net>
Topicbox-Message-UUID: c409dfe2-ead0-11e9-9d60-3106f5b1d025

------=_Part_6698_14545146.1134506810623
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

On 12/13/05, William Josephson <jkw@eecs.harvard.edu> wrote:
>
> On Tue, Dec 13, 2005 at 12:43:27PM -0500, Russ Cox wrote:
> > Some of the kernel core (i.e., the low-level assembly, the garbage
> > collector, the debugger) is written in unchecked languages,
> > but most of it (including, for example, the scheduler and all the
> > device drivers) is written in checked languages.  Safe device drivers
> > alone would fix a huge fraction of the Windows crashes.
>
> To hear (some of) the UW guys tell it, it is ``just SPIN'' :-)
>

yeah but then you'd have to write in Modula3

------=_Part_6698_14545146.1134506810623
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline

<br><br><div><span class=3D"gmail_quote">On 12/13/05, <b class=3D"gmail_sen=
dername">William Josephson</b> &lt;<a href=3D"mailto:jkw@eecs.harvard.edu">=
jkw@eecs.harvard.edu</a>&gt; wrote:</span><blockquote class=3D"gmail_quote"=
 style=3D"border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.=
8ex; padding-left: 1ex;">
On Tue, Dec 13, 2005 at 12:43:27PM -0500, Russ Cox wrote:<br>&gt; Some of t=
he kernel core (i.e., the low-level assembly, the garbage<br>&gt; collector=
, the debugger) is written in unchecked languages,<br>&gt; but most of it (=
including, for example, the scheduler and all the
<br>&gt; device drivers) is written in checked languages.&nbsp;&nbsp;Safe d=
evice drivers<br>&gt; alone would fix a huge fraction of the Windows crashe=
s.<br><br>To hear (some of) the UW guys tell it, it is ``just SPIN'' :-)<br=
></blockquote>
</div><br>yeah but then you'd have to write in Modula3<br>

------=_Part_6698_14545146.1134506810623--