This struck a chord with me.
I work in the healthcare sector, so I deal with what is, for IT, an unusually high proportion of women. I've dealt with bad female developers, but I've also worked with absolutely great ones. Just like I've dealt with incompetent and solid male developers.
Maybe it's just my exposure and the fact that it's a normal thing for me, but gender just doesn't even register on my radar when I have to work with someone. All I care about is the ability to get the job done.
While I think the dearth of women in the tech sector is systematic on a deep enough level that it's very difficult to "solve" in any manner that won't take decades, I do find myself somewhat worried about the byproducts of tech's current insular nature. I feel that normalizing dealing with people -- diverse groups of people -- on a regular basis yields healthy benefits well beyond simply saying "we're inclusive!" It breeds openness to just plain working with people as people.