From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Improving Ada's Image
Date: 25 Jun 2004 02:20:31 +0200
Date: 2004-06-25T02:20:31+02:00 [thread overview]
Message-ID: <pl8yec5vzk.fsf@sparre.crs4.it> (raw)
In-Reply-To: 2k06c5F16ql15U2@uni-berlin.de
Nick Roberts wrote:
> > (Or is someone suggesting that all Ada checks should be left in
> > when developing an OS?)
>
> [...] Only in those (very few) places where speed is critical should
> they be omitted.
Are you suggesting that you would prefer a buggy/insecure operating
system to a secure but slower one? I don't think so, but isn't that
what you wrote?
Greetings,
Jacob
--
"Science is like sex: sometimes something useful comes out,
but that is not the reason we are doing it"
-- Richard Feynman
next prev parent reply other threads:[~2004-06-25 0:20 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-06-24 14:21 Improving Ada's Image Nick Roberts
2004-06-25 0:20 ` Jacob Sparre Andersen [this message]
2004-06-25 11:30 ` Marin David Condic
2004-06-25 14:54 ` Larry Kilgallen
2004-06-25 16:12 ` Frank J. Lhota
2004-06-26 20:26 ` Marin David Condic
2004-06-28 13:41 ` Frank J. Lhota
2004-06-28 14:39 ` Dmitry A. Kazakov
2004-06-29 11:39 ` Marin David Condic
2004-06-29 11:48 ` Martin Dowie
2004-06-30 11:46 ` Marin David Condic
2004-06-28 17:00 ` Larry Kilgallen
2004-06-29 11:35 ` Marin David Condic
2004-06-26 0:01 ` David Starner
2004-06-26 10:12 ` Nick Roberts
2004-06-26 11:32 ` Luke A. Guest
2004-06-26 15:20 ` Nick Roberts
2004-06-29 18:44 ` Luke A. Guest
2004-06-29 22:25 ` Nick Roberts
2004-06-27 16:40 ` Pylinius
2004-06-27 19:04 ` Nick Roberts
2004-06-26 11:53 ` David Starner
2004-06-26 15:21 ` Nick Roberts
2004-06-27 3:50 ` Robert I. Eachus
[not found] <20040604175015.9DE3E4C409B@lovelace.ada-france.org>
2004-06-04 20:38 ` Improving Ada's image Andrew Carroll
2004-06-05 12:49 ` Marin David Condic
2004-06-05 17:07 ` Marius Amado Alves
2004-06-05 20:39 ` Marin David Condic
2004-06-05 22:18 ` Marius Amado Alves
2004-06-05 23:40 ` Marin David Condic
2004-06-06 8:48 ` Marius Amado Alves
2004-06-06 21:34 ` Georg Bauhaus
2004-06-06 22:30 ` Marius Amado Alves
[not found] ` <40C39B01.5060806@netcabo.pt>
2004-06-06 22:50 ` Marius Amado Alves
2004-06-06 2:53 ` Robert C. Leif
2004-06-06 3:25 ` Wes Groleau
2004-06-06 11:54 ` Marius Amado Alves
2004-06-06 18:21 ` Wes Groleau
[not found] ` <40C246A7.4070705@netcabo.pt>
2004-06-06 8:24 ` Marius Amado Alves
2004-06-06 14:25 ` Marin David Condic
2004-06-06 18:14 ` Wes Groleau
2004-06-07 17:04 ` Warren W. Gay VE3WWG
2004-06-07 19:06 ` Björn Persson
-- strict thread matches above, loose matches on Subject: below --
2004-05-30 11:46 Improving Ada's image - Was: 7E7 Flight Controls Electronics Per Dalgas Jakobsen
2004-05-31 20:55 ` Improving Ada's image Björn Persson
2004-06-01 0:41 ` Alexander E. Kopilovich
2004-06-01 11:23 ` Marin David Condic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox