News for hackers. Stuff that matters.

A comment on Secret message in source code of Digg. Parent comment

Re:Secret message in source code of Digg by Prrometheus on Sunday November 02, 2008 @05:30PM (#351697)
It might not be an elegant choice of words, but it is not redundant in the same way that "PIN number" is redundant.
[ Parent | on HN ]
Re:Secret message in source code of Digg by Angostura on Sunday November 02, 2008 @06:44PM (#351743)
It is redundant in precisely the same way.
[ Parent | on HN ]
Re:Secret message in source code of Digg by Prrometheus on Sunday November 02, 2008 @07:07PM (#351754)
It is different. "PIN Number" repeats the noun twice. "HTML Markup" uses "markup" twice, but the first instance is a different use than the second instance. In the first instance, it is used as a descriptor for the language. In the second instance, it is used to describe the thing that is written in the language.

Now the question is, can HTML be used in a sentence about something other than markup, thereby making the use of "markup" in "HTML markup" redundant? I think it can, because one can discuss HTML in general (the rules, the state of the latest version, etc) without referring to some specific markup under discussion.

So, I don't think it is the same kind of thing as "PIN Number" or "HTML Language".

[ Parent | on HN ]
Re:Secret message in source code of Digg by Angostura on Monday November 03, 2008 @02:04PM (#352371)
In the latter instance, the term you are looking for is not 'Markup' it is 'source' or 'text'.
[ Parent | on HN ]