News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

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 ]