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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,T_HK_NAME_FM_MR_MRS autolearn=no autolearn_force=no
	version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Mr. Man-wai Chang" <toylet.toylet@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Simplest Ada program
Date: Sat, 26 Nov 2016 00:29:15 +0800
Organization: Hung Hom, Kowloon, Hong Kong
Message-ID: <o19oqe$e7m$5@dont-email.me>
References: <o0uarq$53q$1@dont-email.me> <o0ub27$p5a$1@gioia.aioe.org>
 <o0ub44$53q$5@dont-email.me> <o0uc0e$qn9$1@gioia.aioe.org>
 <o0uct0$al9$2@dont-email.me> <o0ue32$u7p$1@gioia.aioe.org>
 <o0um9o$a45$2@dont-email.me> <o0v11t$1mu$1@gioia.aioe.org>
 <o0v21b$k5v$2@dont-email.me> <e9ha94F3eaiU1@mid.individual.net>
 <o18unm$e27$7@dont-email.me> <o18vnd$1e6v$1@gioia.aioe.org>
 <o18vu3$e27$24@dont-email.me> <TzZZz.28230$ME2.21808@fx29.am4>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 25 Nov 2016 16:27:58 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="f3698ca0082f0533d5dc032749719dad";
	logging-data="14582"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/sGoGGKo4S28wRMNcDbC9k"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.5.0
In-Reply-To: <TzZZz.28230$ME2.21808@fx29.am4>
Cancel-Lock: sha1:g4U0FEtvnhCkFsES8ZronS2EsaI=
Xref: news.eternal-september.org comp.lang.ada:32461
Date: 2016-11-26T00:29:15+08:00
List-Id: <comp.lang.ada>

On 26/11/2016 12:23 AM, Chris Moore wrote:
> Nothing in the article mentions Ada specifically but "The system itself,
> in terms of reliability and safety, is free of problems" suggests that
> it is.  Sometimes problems with complex systems aren't with the language
> it was programmed in.  In this case training people to use the system
> seems to be the issue.  Next?

Thank you, Master. I wondered whether it's written in C on a modified 
Linux... :)