[FRIAM] Meanwhile, back on the troll farms

Marcus Daniels marcus at snoutfarm.com
Thu May 7 09:17:01 EDT 2020


Sure, whatever.   Where are these people when it comes to mechanized program verification?

From: Friam <friam-bounces at redfish.com> on behalf of Roger Critchlow <rec at elf.org>
Reply-To: The Friday Morning Applied Complexity Coffee Group <Friam at redfish.com>
Date: Thursday, May 7, 2020 at 5:44 AM
To: The Friday Morning Applied Complexity Coffee Group <Friam at redfish.com>
Subject: [FRIAM] Meanwhile, back on the troll farms

Looks like a concerted effort to discredit the ICL Covid simulation for lack of adequate unit testing, all in a github issue:

  https://github.com/mrc-ide/covid-sim/issues/165

Oh, of course, retract all policies based on it, too.  via https://news.ycombinator.com/

-- rec --
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20200507/43e037db/attachment.html>


More information about the Friam mailing list