France Just Suffered a SolarWinds-Style Cyberattack
1–7 of 7 posts
Re: France Just Suffered a SolarWinds-Style Cyberattack
#2Re: France Just Suffered a SolarWinds-Style Cyberattack
#3Re: France Just Suffered a SolarWinds-Style Cyberattack
#4I 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.
Re: France Just Suffered a SolarWinds-Style Cyberattack
#5I 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
#6Earlier quoted context omitted.
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
#7Earlier 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