From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: How to make Ada popular. Get rid of ";" at end of statement.
Date: Wed, 24 Jul 2019 17:29:00 +0200
Date: 2019-07-24T17:29:00+02:00 [thread overview]
Message-ID: <qh9tfu$1hmg$1@gioia.aioe.org> (raw)
In-Reply-To: fd01ab41-6ca8-4550-9943-4e7789df90e4@googlegroups.com
On 2019-07-24 16:51, Ingo M. wrote:
> Regarding cars, if the industry really depends on C/C++ for safety critical devices, I should reconsider my way of driving in the future. Ada or Rust (when mature) should be standard here!
It is worse than C/C++. It is largely model-driven design with software
written or drawn in the form of diagrams which prevent even C/C++
rudimentary safety checks. Assorted chunks of code generated from
diagrams are then piled together into one system.
But do not worry, autonomous driving is on the horizon, you will not
have drive it yourself, a neuronal network will. The code the NN
effectively runs is not even written ...
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2019-07-24 15:29 UTC|newest]
Thread overview: 43+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-07-19 21:41 How to make Ada popular. Get rid of ";" at end of statement Nasser M. Abbasi
2019-07-19 22:09 ` Dmitry A. Kazakov
2019-07-20 6:47 ` J-P. Rosen
2019-07-20 8:42 ` Paul Rubin
2019-07-21 5:11 ` J-P. Rosen
2019-07-23 9:24 ` darek
2019-07-20 17:08 ` Stéphane Rivière
2019-07-20 13:46 ` Dennis Lee Bieber
2019-07-20 0:47 ` Matt Borchers
2019-07-20 13:54 ` Dennis Lee Bieber
2019-07-20 14:40 ` Stephen Davies
2019-07-20 15:45 ` Optikos
2019-07-20 17:24 ` joviangm
2019-07-20 19:10 ` Optikos
2019-07-20 19:17 ` AdaMagica
2019-07-20 22:25 ` Paul Rubin
2019-07-20 23:08 ` Optikos
2019-07-20 22:24 ` Paul Rubin
2019-07-20 21:14 ` Keith Thompson
2019-07-23 21:58 ` Ingo M.
2019-07-23 23:56 ` Paul Rubin
2019-07-24 14:06 ` John Perry
2019-07-24 14:51 ` Ingo M.
2019-07-24 15:29 ` Dmitry A. Kazakov [this message]
2019-07-25 10:58 ` Ingo M.
2019-07-25 12:16 ` Dmitry A. Kazakov
2019-07-26 10:54 ` antispam
2019-07-26 11:35 ` Niklas Holsti
2019-07-26 16:07 ` Simon Wright
2019-07-24 19:52 ` Ingo M.
2019-07-24 20:31 ` J-P. Rosen
2019-07-25 13:34 ` gautier_niouzes
2019-07-25 7:26 ` Maciej Sobczak
2019-07-25 10:47 ` Ingo M.
2019-07-25 16:18 ` John Perry
2019-07-25 18:31 ` Dennis Lee Bieber
2019-07-26 18:04 ` Shark8
2019-07-26 18:53 ` Niklas Holsti
2019-07-26 19:16 ` Niklas Holsti
2019-07-27 1:27 ` Lucretia
2019-07-27 1:34 ` Keith Thompson
2019-07-27 3:11 ` Randy Brukardt
2019-07-27 4:06 ` Keith Thompson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox