3 ms·

Oh my my... "Program testing can be used to show the presence of bugs, but never to show their absence" - Edsger Dijkstra

• Jtsummers 16d ago
  Ah, but you can't stand those formal methods folks, why are you appealing to authority with Edsger Dijkstra?
  • Betelbuddy 16d ago
    You are trying to convince me that because you pressed "A" once on the vending machine and worked, you declare "A" is proven to dispense Coke...
    • Jtsummers 16d ago
      > You are trying to convince me that because you pressed "A" once on the vending machine and worked, you declare "A" is proven to dispense Coke... This thread is hilarious, thank you. You start off saying you "cant [sic] stand formal methods people" and now you're giving an example of why formal methods are useful. And you're appealing to authority using a man who was a major proponent of formal methods. What's your actual position on formal methods?
      • Betelbuddy 16d ago
        Have you considered a career is stand up comedy? The quote from Dijkstra stands on its own...quoting a famous person stating something independently demonstrable, does not magically turn the statement into an appeal to authority :-)) >> a man who was a major proponent of formal methods. No he was not, but you see, its irrelevant in the context of the argument you failed to defend. And Dijkstra fails your purity test. He himself wrote that he saw "no specific virtue in being a formalist" and would use formal methods "when I feel they help."