Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!border-2.nntp.ord.giganews.com!local-3.nntp.ord.giganews.com!border-3.nntp.ord.giganews.com!nntp.giganews.com!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 21 Jun 2025 05:18:34 +0000
Subject: Re: VMS
Newsgroups: comp.os.linux.misc
References: <wCqdnYde9MIbmND1nZ2dnZfqnPadnZ2d@giganews.com>
 <102ka4k$9umt$2@dont-email.me> <87tt4i9nw5.fsf@eder.anydns.info>
 <102l0h9$fjtb$5@dont-email.me>
 <Z2udned3u9ZgqtP1nZ2dnZfqnPudnZ2d@giganews.com>
 <slrn1054j9c.3ce8.candycanearter07@candydeb.host.invalid>
 <PpudnVnCnvuYxc_1nZ2dnZfqnPudnZ2d@giganews.com>
 <wwva564xjps.fsf@LkoBDZeT.terraraq.uk> <10337p4$lr8q$3@dont-email.me>
From: c186282 <c186282@nnada.net>
Date: Sat, 21 Jun 2025 01:17:53 -0400
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.13.0
MIME-Version: 1.0
In-Reply-To: <10337p4$lr8q$3@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <gaucnefL_9o23cv1nZ2dnZfqn_qdnZ2d@giganews.com>
Lines: 27
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-tUngt6J+nEr+ojs/ayZAPYOfiJaGfMrINvFRepPJIgSINCK7CPpDSJEViYrt7e1fakoV2HnmrolI/GG!zHkuruCwB/eQX6lCCUSmiRUY83pvP27viwvYY09wASdiiuhBoEUMshfup38IDcTZQyyzg8rYz/61
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40

On 6/20/25 4:57 AM, Lawrence D'Oliveiro wrote:
> On Thu, 19 Jun 2025 08:40:31 +0100, Richard Kettlewell wrote:
> 
>> The software industry has been trying this for decades now. It does not
>> work.
> 
> There is a safety-critical spec for writing C code. It has been in
> production use in the automotive industry for some years, decades now. How
> often do you hear about software bugs in safety-critical car systems?

   DOES happen, but very rarely. Hurried 'updates' seem
   to be the main source.

   However, for now, car systems aren't a major target. It's
   banks, govt, infrastructure.

   As I said elsewhere - how do we KNOW the supposed "fixes"
   by post-'C' compliers didn't introduce a lot more potential
   flaws/errors ???

   Face it, our stuff is just TOO COMPLEX these days. It is
   NOT possible to pre-ID all possible flaws/interactions.

   Now a MAJOR cyber-war ... they COULD go after all the
   'connected' cars too - paralyze almost everything. May
   be good to have a pre-Y2K car handy, '64 Ford pickup ...
   all 'dumb-ware'  :-)