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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,ac9405996d0dcb7f X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!proxad.net!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: Marius Amado Alves Newsgroups: comp.lang.ada Subject: Re: Would You Fly an Airplane with a Linux-Based Control System? Date: Sat, 27 Nov 2004 00:24:41 +0000 Organization: Cuivre, Argent, Or Message-ID: References: <2004112218292016807%david@bottoncom> <20619edc.0411251028.3e249bf3@posting.google.com> <41A7014E.8090803@mailinator.com> <41a731d4$0$7824$ba620e4c@news.skynet.be> <41a7ac28$0$30716$ba620e4c@news.skynet.be> NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: melchior.cuivre.fr.eu.org 1101515075 99868 212.85.156.195 (27 Nov 2004 00:24:35 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Sat, 27 Nov 2004 00:24:35 +0000 (UTC) To: comp.lang.ada@ada-france.org Return-Path: User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en In-Reply-To: <41a7ac28$0$30716$ba620e4c@news.skynet.be> X-OriginalArrivalTime: 27 Nov 2004 00:24:06.0390 (UTC) FILETIME=[67CAD960:01C4D417] X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:6534 Date: 2004-11-27T00:24:41+00:00 Adrien Plisson wrote: > Marius Amado Alves wrote: > >> This is better. Now, can you prove this? That the ship could get out >> of control and crash on a city for example? If C had been used >> instead? Or if the exception had not been catched? (Probably not >> invoking the backup system.) > > ... > i can continue for a long time with ifs, maybes and suppositions. "avec > des si, on mettrais Paris en bouteille". so we will stop the > suppositions, and believe me, it is better that the ship exploded. Nice read. Indeed, "se a minha avo' tivesse rodas era uma bicicleta." The hypothesis is still not proved or disproved. Note I too suspect selfdestruction was better. But I'd like to be sure, that's all.