News for hackers. Stuff that matters.
Re:Proving a Computer Program's Correctness by gdp on Friday October 02, 2009 @03:15PM (#857772)
No, I wasn't suggesting you were disagreeing, I was simply responding to your hypothetical disagreement that some might argue. My counter-argument could be just as applicable to any of the people who have professed similar beliefs to the ones you speculated that some may hold.
Re:Proving a Computer Program's Correctness by stcredzero on Friday October 02, 2009 @03:48PM (#857858)
It's not so hypothetical. It's more the typical response of a programmer when formal methods come up. But I meant it as an observation of typical reactions, not as a hypothetical debate.