From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,85034d1ac78a66eb X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-22 22:08:10 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-post-02!sn-post-01!supernews.com!news.supernews.com!not-for-mail From: James Ross Newsgroups: comp.lang.ada Subject: Re: Ada Operating System Date: Sat, 23 Mar 2002 00:06:58 -0600 Organization: Posted via Supernews, http://www.supernews.com Message-ID: <436o9uc7jg590rv5rb1l9v6be8vk49s278@4ax.com> References: <3C88E0D1.89161C16@despammed.com> <3C9514DD.9CF1F84A@san.rr.com> <99da9u0909rsblfdcc1ru7jd2r9q461qhk@4ax.com> X-Newsreader: Forte Agent 1.8/32.548 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Complaints-To: newsabuse@supernews.com Xref: archiver1.google.com comp.lang.ada:21570 Date: 2002-03-23T00:06:58-06:00 List-Id: On 19 Mar 2002 06:20:33 GMT, David Starner wrote: >I _hate_ when gratitious restrictions stop me from doing what I need to >do. When the user really, really wants to shoot themselves in the foot, >the system's job is to provide the gun. I'll agree with that to a point. A very secure OS should have an "unsafe" mode where all bets are off -- do whatever you want. However, under normal conditions no foot wounding allowed. By the way, It is the OS's responsibility to provide the means for doing what needs to be done in a safe and secure way. The more I think about a "theoretical OS written in Ada", the more I think that the strongest argument for it, that makes sense to me, is for security / stability. (Not that I think that because it is written in Ada, magically this would be the case. It's just the appropriate analogy in this case) JR