HN pedants think a post is a mathematical proof, and they won by discovering a loop hole to falsify it - "Aha!"
They're keyboard warriors who don't have any experience in the real world - they're really Luddites, but they just don't know it.
Usually it doesn't matter (because they don't matter), but the corona pandemic shows what happens when woodpushers take over the world. "Imma make a fake, unapproved ventilator, herp derp. U 2?" - multiple HN threads.
The US has fallen and it can't get back up. IT people actually have valuable skills in being able to merge different disciplines at both the technical and policy levels, and could have made a difference. But for pedants like, "I don't want my nephew to die, even if we have to shutdown a $22 trillion economy, so shut up." - again, multiple HN threads.
Not the finest moment for either the US or HN.