Hacker News Reader

I'm not a native speaker but I always thought the word "man" is also used as a short way to say "human".

> the human individual as representing the species, without reference to sex; the human race; humankind [0]

[0]: http://dictionary.reference.com/browse/man

You're correct. It's just that our field is not in a good state with gender equality at moment, so some consideration beyond the literal meanings found in dictionaries is often worth the tiny effort. See: "to add insult to injury."

Reply on news.ycombinator.com