I just wanted to state that, for the record, having these sorts of discussions on hacker news is extremely distressing to me. I've worked hard to get the accreditations that I have, and I usually enjoy the things I read on this website. But just imagine for a moment how all this appears to an aspiring programmer when she wakes up in the morning and checks her favorite technical content aggregator.
Like, yeah, none of you are saying that ALL women are less capable than ALL men, but what I'm reading here is the subtext. When I pursue a career in this field, how will my coworkers perceive me? Will I be treated with respect? Or will I be seated next to someone who is convinced that there is a gender war going on, and thereby offended by my very presence?
The more we keep framing things in the context of hiring to meet gender based quotas, the more people will see us as diversity hires. I would hate that more than knowing someone doesn't like me because of my gender because that persons mind I can maybe change via my skills and work.
Don't think about it. Of many valid reasons to work to change ones behavior, I don't think this is one of them. All that effort you were spending trying to change something that 1. may not be happening and 2. if it is, is "pretty damn typical human psychology" (It's as old as humanity to find ways to look down on others) and there's not really pragmatic ways to stop that short of a lobotomy. Spend that effort on excelling in what you do. Bust ass and the people who matter will respect you regardless, and it makes it easier to tune out the ones who don't.
Feel free to ignore this advice, I've long since decided to avoid commenting in threads like the overarching, but your original concerns and question made me want to try and contribute at least something marginal :)