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.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,dbd35bb508093bd9 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-27 18:47:03 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!fr.usenet-edu.net!usenet-edu.net!enst.fr!not-for-mail From: "Robert C. Leif" Newsgroups: comp.lang.ada Subject: RE: New Ada compiler for .NET Date: Wed, 27 Nov 2002 18:46:49 -0800 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1038451622 81373 137.194.161.2 (28 Nov 2002 02:47:02 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Thu, 28 Nov 2002 02:47:02 +0000 (UTC) Return-Path: X-Envelope-From: rleif@rleif.com X-Envelope-To: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4024 Importance: Normal In-Reply-To: <4519e058.0211270931.64615740@posting.google.com> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.13 Precedence: bulk List-Unsubscribe: , List-Id: comp.lang.ada mail<->news gateway List-Post: List-Help: List-Subscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:31273 Date: 2002-11-27T18:46:49-08:00 Software is not alone in this policy. I have attended two talks by Dr. John H. Marburger, III, Science Adviser to the President and Director of the Office of Science and Technology Policy. He stressed that the molecular biologists and microbiologists should be careful on what we publish. Now, we should ask ourselves, what language would we use for any significant weapon or system that requires high reliability and how simple is it to obtain an excellent compiler? I do not know a good solution to the tradeoff between advancing our software technology and security. Bob Leif -----Original Message----- From: comp.lang.ada-admin@ada.eu.org [mailto:comp.lang.ada-admin@ada.eu.org] On Behalf Of Ted Dennison Sent: Wednesday, November 27, 2002 9:32 AM To: comp.lang.ada@ada.eu.org Subject: Re: New Ada compiler for .NET Pascal Obry wrote in message news:... > "Martin Carlisle" writes: > > which is based on the ACT tool JGNAT. More information and downloads > > available from http://www.usafa.af.mil/dfcs/bios/mcc_html/a_sharp.html > > I can't access this server. Is it just me ? Wasn't there a thread recently about people on foreign domains not being able to access .mil sites anymore? That may be the problem here too. (sigh) Just yesterday I was told that free trial downloads of the SoftIce debugger for NT device drivers (NT kernel-mode debugger) were no longer available because the government is afraid of terrorists using it. Not one person has ever been proven killed by computers under the control of malicous coders, while there are quite a few incidents of buggy code killing people unintentionally. If we were *really* concered about hacker-terrorists, or even computers causing meyhem in general, we should be discouraging unsafe languages like C, not debuggers. I know we in the US have no monopoly on bueracratic stupidity, but we do seem to be developing quite a panache for it.