comp.lang.ada
 help / color / mirror / Atom feed
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: Not to incite a language war but apparently the Corona lockdown was based on 13 year old undocumented C-Code
Date: Thu, 14 May 2020 00:48:31 +0300
Date: 2020-05-14T00:48:31+03:00	[thread overview]
Message-ID: <hi389gF552cU1@mid.individual.net> (raw)
In-Reply-To: <4f27a33f-ddae-4c2b-94f9-eff8565b78a3@googlegroups.com>

On 2020-05-14 0:02, Optikos wrote:
> On Wednesday, May 13, 2020 at 3:29:13 PM UTC-5, Niklas Holsti wrote:
>> On 2020-05-13 21:58, Optikos wrote:

    [snip]

>>> 2.2 million deaths in the USA and a half million deaths in the UK
>>> due to Covid-19 [...] were not a miscalculation, but rather a
>>> perfectly accurate calculation. Okey dokey, then.
>>
>> You seem to have misunderstood what we are discussing. The question is
>> if Ferguson's results were influenced by errors (bugs) in Ferguson's
>> code, not if Ferguson's assumptions or mathematical models are realistic
>> or correct for this pandemic.
> 
> No, we are not discussing only your dictates and narrow reframings.

Feel free to discuss what you like, but in this sub-thread your post 
asked when a particular bug in Ferguson's code was corrected, so clearly 
you too were talking about bugs.

> We are discussing:
> 
> from Rick Newbie on 11 May 2020:

Yeah, Rick repeated the calumnies about Ferguson's code from the 
"review". I responded because, while I hate C and love Ada, I see it as 
wrong and unhelpful to condemn a program -- and even more so the results 
computed by that program -- merely because it is in C.

>> For sure it would have fewer bugs or even no bugs in Ada.

Which is just an unproven and arrogant assertion.

>> Governments should just force Ada on their workforce.

The U.S. DoD tried that. It mainly raised the hackles of the programmers 
to little good effect.

Rather, universities and other scientific institutions should realize 
that the programs that scientists write and use are as important as 
their journal papers, or their laboratory equipment and procedures, and 
should be subjected to the same level of peer review and criticism. 
Equally, the scientists should be funded to enable them to write quality 
programs, when necessary by paying professionals to implement what the 
scientists specify.

What we can do, as Ada programmers, is to continue to chip away at the 
prevailing idea that "all programs have bugs, what can you do".

> As witnessed by the non-Holsti quotations above, we are discussing
> whether C is too cryptic & too ill-disciplined & insufficiently
> transparent for society to be making multi-ten-trillion-dollar
> reckless bets.
Yes, that was in the original subject domain. I agree that C has 
drawbacks, and Ada advantages. But the discussion started with a 
critique of a particular C program, which was taken as "proof" or 
motivation for avoiding C, and this critique, IMO, was unjust, because I 
don't think that program is as buggy as the critique claimed.

> We are discussing whether having a competing model written in Ada
> would at least be less cryptic, better disciplined, and more
> transparent ...
Very probably it would be, but no-one has volunteered to write it.

Whether it would be more _correct_ was the original question, but that 
question assumes that the C program is _incorrect_, which is how we got 
into the real and claimed bugs in the C program.

It's good that Ferguson's code is now openly available and being cleaned 
up. So far, I haven't seen any credible claims that the cleaned-up code 
is giving radically different results.

> Conversely, the rest of us along this thread are not unrelentingly 
> shilling in vigorous defense of Neil-Ferguson orthodoxy.

I've noticed :-). Feel free to continue, but I think I won't take part 
any more.

-- 
Niklas Holsti
niklas holsti tidorum fi
       .      @       .

  reply	other threads:[~2020-05-13 21:48 UTC|newest]

Thread overview: 71+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-05-11 18:49 Not to incite a language war but apparently the Corona lockdown was based on 13 year old undocumented C-Code Rick Newbie
2020-05-11 20:27 ` Niklas Holsti
2020-05-11 21:12   ` Rick Newbie
2020-05-12 20:11     ` Niklas Holsti
2020-05-12 20:53       ` Dmitry A. Kazakov
2020-05-12 21:54         ` Niklas Holsti
2020-05-12 22:15       ` Rick Newbie
2020-05-13 11:07         ` Niklas Holsti
2020-05-13 13:23           ` Rick Newbie
2020-05-13 13:45             ` Niklas Holsti
2020-05-13 14:58               ` Rick Newbie
2020-05-13 15:31                 ` Dmitry A. Kazakov
2020-05-13 15:48                   ` Niklas Holsti
2020-05-11 21:45   ` gautier_niouzes
2020-05-12 15:56     ` Niklas Holsti
2020-05-11 21:55   ` Jeffrey R. Carter
2020-05-12 19:16     ` Niklas Holsti
2020-05-12 21:27       ` Jeffrey R. Carter
2020-05-12 22:20         ` Niklas Holsti
2020-05-12 22:39           ` Jeffrey R. Carter
2020-05-13  9:36             ` Niklas Holsti
2020-05-13 13:52               ` Optikos
2020-05-13 14:05                 ` Niklas Holsti
2020-05-13 18:58                   ` Optikos
2020-05-13 20:29                     ` Niklas Holsti
2020-05-13 21:02                       ` Optikos
2020-05-13 21:48                         ` Niklas Holsti [this message]
2020-05-13 22:13                           ` Optikos
2020-05-13  9:54         ` Niklas Holsti
2020-05-13  0:25 ` Olivier Henley
2020-05-15 13:23   ` Optikos
2020-05-16  5:01 ` Anatoly Chernyshev
2020-05-28 21:45   ` Optikos
2020-06-11 17:28   ` Olivier Henley
2020-06-11 17:36     ` Olivier Henley
2020-06-11 22:43     ` Anatoly Chernyshev
2020-06-12 12:10       ` Olivier Henley
2020-06-12 12:34         ` Anatoly Chernyshev
2020-06-12 17:36           ` Olivier Henley
2020-06-21  9:18             ` Anatoly Chernyshev
2020-06-22 13:36               ` Olivier Henley
2020-05-16 22:31 ` Niklas Holsti
2020-05-16 23:54   ` Optikos
2020-05-17 15:41     ` Niklas Holsti
2020-05-17 17:38       ` Optikos
2020-05-17 18:00         ` Simon Wright
2020-05-17 20:56           ` Optikos
2020-05-17 21:20             ` Simon Wright
2020-05-17 21:45               ` Optikos
2020-05-18  7:34                 ` Simon Wright
2020-05-17 19:20         ` Niklas Holsti
2020-05-17 21:30           ` Optikos
2020-05-24 21:04 ` Bob Goddard
2020-05-31 15:01 ` Azathoth Hastur
2020-06-09  6:30 ` gautier_niouzes
2020-06-11 15:35 ` Olivier Henley
2020-06-11 15:49   ` Olivier Henley
2020-06-11 18:41     ` Anh Vo
2020-06-11 19:58       ` Olivier Henley
2020-06-11 20:41         ` Anh Vo
2020-06-11 20:47           ` Olivier Henley
2020-06-11 21:34             ` Anh Vo
2020-06-11 21:47               ` Olivier Henley
2020-06-11 21:39             ` Olivier Henley
2020-06-11 23:14               ` Anh Vo
2020-06-11 23:30                 ` Jere
2020-06-11 23:55                   ` Olivier Henley
2020-06-12  0:07                 ` Olivier Henley
2020-06-12  0:42                   ` Anh Vo
2020-06-12 11:08                     ` Olivier Henley
2020-06-12  7:03   ` gautier_niouzes
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox