comp.lang.ada
 help / color / mirror / Atom feed
From: Marin David Condic <nobody@noplace.com>
Subject: Re: Improving Ada's Image
Date: Fri, 25 Jun 2004 11:30:29 GMT
Date: 2004-06-25T11:30:29+00:00	[thread overview]
Message-ID: <40DC0CA6.5040704@noplace.com> (raw)
In-Reply-To: pl8yec5vzk.fsf@sparre.crs4.it

Buggy and insecure vs secure & slow are not the real problems. Existence 
vs non-Existence is more an issue. We can claim and believe that an OS 
in Ada would be better than what exists today, but it ultimately doesn't 
win any hearts and minds. An Ada OS that exists and is running is 
actually something people could look at and evaluate the relative merits 
of rather than try to decide if there is any merit to the hypothetical 
OS that we all seem to think might actually be better.

MDC

Jacob Sparre Andersen wrote:
> 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


-- 
======================================================================
Marin David Condic
I work for: http://www.belcan.com/
My project is: http://www.jsf.mil/NSFrames.htm

Send Replies To: m   o   d   c @ a   m   o   g
                    c   n   i       c   .   r

     "Face it ladies, its not the dress that makes you look fat.
     Its the FAT that makes you look fat."

         --  Al Bundy

======================================================================




  reply	other threads:[~2004-06-25 11:30 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
2004-06-25 11:30   ` Marin David Condic [this message]
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