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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:ad4:4a8b:: with SMTP id h11mr1877508qvx.232.1589408023342; Wed, 13 May 2020 15:13:43 -0700 (PDT) X-Received: by 2002:aca:c5c7:: with SMTP id v190mr27521328oif.175.1589408022736; Wed, 13 May 2020 15:13:42 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 13 May 2020 15:13:42 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=47.185.215.60; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.215.60 References: <4f27a33f-ddae-4c2b-94f9-eff8565b78a3@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Not to incite a language war but apparently the Corona lockdown was based on 13 year old undocumented C-Code From: Optikos Injection-Date: Wed, 13 May 2020 22:13:43 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:58686 Date: 2020-05-13T15:13:42-07:00 List-Id: On Wednesday, May 13, 2020 at 4:48:35 PM UTC-5, Niklas Holsti wrote: > 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: >=20 > [snip] >=20 > >>> 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 realist= ic > >> or correct for this pandemic. > >=20 > > No, we are not discussing only your dictates and narrow reframings. >=20 > Feel free to discuss what you like, but in this sub-thread your post=20 > asked when a particular bug in Ferguson's code was corrected, so clearly= =20 > you too were talking about bugs. No, we are discussing whether even the maintainers on GitHub of the evolved= code have deep insight into the big picture of whether the design is doing= what it ought to do for society to make multi-ten-trillion-dollar bets on = infectious diseases. Yes, they have identified & fixed little nit bugs her= e and there in the microcosm, but this thread's main focus is whether C's l= ack of lucid expressivity of meaningful abstractions precludes maintainers = and critics from seeing bigger-picture maldesigns and whether this code is = worthy of the high degree of trust that the whole planet entrusts it with. Clearly, several maldesigns exist because for multiple infectious diseases = over a decade, this code is producing excessively inflated projections that= are nowhere close to the eventually observed reality. The problem isn't t= hat C precludes seeing one-liner or one-block or one-function bugs (althoug= h it might partially inhibit such visibility). The problem is that oblique= ly jamming the design into C does not foster Ada's more-sophisticated atten= tion to type, subtype, and task expressivity of the intended design. (A ne= xt-gen Ada would focus on expanding out more categories of highly-lucid int= ended-design capture.) TL;DR; The bug fixing in C has focused on the bark on the tree because it i= s difficult to see the forest. > It's good that Ferguson's code is now openly available and being cleaned= =20 > up. So far, I haven't seen any credible claims that the cleaned-up code= =20 > is giving radically different results. See above.