Sorry, but if one person in 30 is being a jerk, that is a steady stream of subtle harassment. Most professionals deal with what, 60 people on a weekly basis? That's two jerks every week.
And your math is off. Even if there was only one woman in tech anywhere, reducing 100% male interaction to 50% male interaction would only decrease the jerk count by a factor of two.
And your math is off. Even if there was only one woman in tech anywhere, reducing 100% male interaction to 50% male interaction would only decrease the jerk count by a factor of two.