The Case for Formal Verification (2013)

Re:The Case for Formal Verification (2013) by ryanobjc on Sunday April 20, 2014 @07:02PM (#7618796)

While you are correct, I'm not really sure how I feel about you mocking documentation really.

I guess communicating with your coworkers is pretty passe?

[ Parent | on HN ]

Re:The Case for Formal Verification (2013) by dkarapetyan on Sunday April 20, 2014 @07:05PM (#7618811)

I am not mocking documentation.

[ Parent | on HN ]

Re:The Case for Formal Verification (2013) by ryanobjc on Sunday April 20, 2014 @07:13PM (#7618829)

"just glorified documentation"

I think it's pretty well understood that calling something "glorified" is making fun of it. Perhaps I guess you meant to mock TDD but it also seems like you are mocking writing documentation.

While it could cut either way I guess, I decided to take a snap judgement (like 99% of your readers) and call you out on it. Sorry.

[ Parent | on HN ]

Re:The Case for Formal Verification (2013) by biot on Monday April 21, 2014 @06:05AM (#7620452)

Don't make the mistake of thinking the pattern "[something perceived as greater than X] is just glorified X" calls into question the value of X. Rather, it's the perception of being greater that is being called into question.

If I say "soda is just glorified water" do you think I'm mocking water and that I don't think water is vital for all life on this planet?

[ Parent | on HN ]