[ig1]

Let's not have another semantic argument (hacking vs cracking), the term "girl" (and the term "boy" for that matter) has both the meanings of an child of the given gender but also the informal friendly meaning for an adult of that gender.

For example "lets check with the (boys|girls)" is a pretty common usage casual usage of the term for adults, especially in the 18-35 age bracket. The term boy is actually very common in uniformed occupations (military, police, etc).

Depending on the context using "women" implies a level of formality and abstraction that some could find more offensive. So whatever word gets chosen carries some risk of offence, but it's best not to get hung up on subtitles especially when so many people are non-native english speakers.

[ceejayoz]

> The term boy is actually very common in uniformed occupations (military, police, etc).

How about the tech industry? When's the last time you got called a boy? I'd be baffled to be called a boy by someone I didn't know.

> Depending on the context using "women" implies a level of formality and abstraction that some could find more offensive.

I suspect you'd have a hard time finding someone who'd have been offended by replacing "girl" with "woman" in the original post.