Path: ...!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Janis Papanagnou <janis_papanagnou+ng@hotmail.com>
Newsgroups: comp.lang.c
Subject: Re: Whaddaya think?
Date: Tue, 18 Jun 2024 06:57:06 +0200
Organization: A noiseless patient Spider
Lines: 23
Message-ID: <v4r434$16lh8$1@dont-email.me>
References: <666ded36$0$958$882e4bbb@reader.netnews.com>
 <20240616015649.000051a0@yahoo.com> <v4lm16$3s87h$4@dont-email.me>
 <v4lmso$3sl7n$1@dont-email.me> <v4lr0m$3tbpj$1@dont-email.me>
 <8734pd4g3s.fsf@nosuchdomain.example.com> <v4ltuj$3trj2$1@dont-email.me>
 <87ed8w3025.fsf@nosuchdomain.example.com> <868qz4kty7.fsf@linuxsc.com>
 <v4oiup$gpg0$2@dont-email.me> <66703dfd$0$7081$882e4bbb@reader.netnews.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 18 Jun 2024 06:57:08 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2cfb9c8e8c0845d0115863010bdaf45c";
	logging-data="1267240"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+/gJH/fqsjRryuJl15TxX/"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
Cancel-Lock: sha1:C1nBju8KvsXmODdJbRpYX1DdxeI=
X-Enigmail-Draft-Status: N1110
In-Reply-To: <66703dfd$0$7081$882e4bbb@reader.netnews.com>
Bytes: 2355

On 17.06.2024 15:45, DFS wrote:
> On 6/17/2024 1:52 AM, Janis Papanagnou wrote:
>>
>> I think I wouldn't code a missile control system in "C". ;-)
> 
> Per "Google AI Overview": "In 1987, the Department of Defense mandated
> that Ada be the standard programming language for Defense computer
> resources used in military command and control systems."

This is actually what I'd have expected, that they might prefer Ada
(as in the aviation or space flight areas).

There's jokes existing[*] that illustrate the dilemma with safety in
engineering. Using specific (unsafe) languages as well as reducing
funds for QA measures or externalizing processes and components (or
many other possible sources for increased unreliability); there's
quite some tragic examples, sadly.

Janis

[*] e.g.
https://www.reddit.com/r/Jokes/comments/6a1czd/a_group_of_engineering_professors_were_invited_to/