Live data from Hacker News

France Just Suffered a SolarWinds-Style Cyberattack

gizmodo.com

1–7 of 7 posts

Re: France Just Suffered a SolarWinds-Style Cyberattack

#4

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.

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

Re: France Just Suffered a SolarWinds-Style Cyberattack

#5
post #4

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.

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

Where do you think type systems originate?

Re: France Just Suffered a SolarWinds-Style Cyberattack

#6
post #4

Earlier quoted context omitted.

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

Where do you think type systems originate?

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

Re: France Just Suffered a SolarWinds-Style Cyberattack

#7
post #6

Earlier quoted context omitted.

Where do you think type systems originate?

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

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