France Just Suffered a SolarWinds-Style Cyberattack

Re:France Just Suffered a SolarWinds-Style Cyberattack by domnomnom on Saturday February 20, 2021 @01:01AM (#26202010)

I used to struggle with the notion of software - Why is it that formal verification never took off? Then I realized, bad software is just another way of printing money for somebody somewhere.

[ Parent | on HN ]

Re:France Just Suffered a SolarWinds-Style Cyberattack by mint2 on Saturday February 20, 2021 @01:55AM (#26202201)

Because that would take 25x the effort and also still not catch everything.

[ Parent | on HN ]

Re:France Just Suffered a SolarWinds-Style Cyberattack by domnomnom on Saturday February 20, 2021 @12:49PM (#26206170)

Where do you think type systems originate?

[ Parent | on HN ]

Re:France Just Suffered a SolarWinds-Style Cyberattack by mint2 on Saturday February 20, 2021 @02:58PM (#26207275)

Take low hanging fruit, get substantial benefit at low effort. Go to perfection, take 25x+ the effort and by the time your done it’s outdated

[ Parent | on HN ]

Re:France Just Suffered a SolarWinds-Style Cyberattack by domnomnom on Tuesday March 02, 2021 @09:39PM (#26324054)

Part of the "benefit" is the software breaking again in the future. Like I said, there is no cost to software failing and even a benefit. If people died when software failed, that 25x effort would probably become 5x dude to efficiencies of people actually working on the problem

[ Parent | on HN ]