Re:How programmers make sure that their software is correct
by pydry on Thursday January 06, 2022 @09:21AM
(#29823806)
At its worst, formalized verification is an elaborate and overcomplicated process for converting coding bugs into specification bugs.
[ Parent
| on HN ]
Re:How programmers make sure that their software is correct
by junon on Thursday January 06, 2022 @10:49AM
(#29825051)
This is a huge copout and isn't at all correct. It dismisses a bunch of insanely intelligent peoples' life works.
Re:How programmers make sure that their software is correct
by odonnellryan on Thursday January 06, 2022 @11:08AM
(#29825342)
Can't you use this same argument when being critical about any technology, or really anything complex at all?
It is some kind of logical fallacy - just because really smart people worked on something and dedicated their lives to it doesn't mean it is good or correct or that it works.
Re:How programmers make sure that their software is correct
by junon on Thursday January 06, 2022 @11:14AM
(#29825417)
The point was more the parent comment was dismissing the work clearly without understanding any of it. They employed a sound byte to disclaim something. You're welcome to go read the prose on the subject. Parent commenter clearly hasn't.
Re:How programmers make sure that their software is correct
by pydry on Thursday January 06, 2022 @12:11PM
(#29826305)
It's a wry observation that I made when I was forced to learn it by those very same researchers who hyped it up as the future of software development 20 years ago.
It was sold as the "rolls royce of testing" which I think overstated its capabilities and effectiveness.