Sure, whatever. Where are these people when it comes to mechanized program verification?
From: Friam <[email protected]> on behalf of Roger Critchlow <[email protected]> Reply-To: The Friday Morning Applied Complexity Coffee Group <[email protected]> Date: Thursday, May 7, 2020 at 5:44 AM To: The Friday Morning Applied Complexity Coffee Group <[email protected]> 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 --
.-. .- -. -.. --- -- -..-. -.. --- - ... -..-. .- -. -.. -..-. -.. .- ... .... . ... FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn GMT-6 bit.ly/virtualfriam unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com archives: http://friam.471366.n2.nabble.com/ FRIAM-COMIC http://friam-comic.blogspot.com/
