>This is the crux of the issue. For this to be true, it must also be true that men and women are, at least in some ways, intrinsically different

I don't see why it's the crux. It's really only necessary that men and women be socialized differently for this to be true - to grow up surrounded by people telling you that you need to be more "agreeable" and "not too pushy".

I think whether it is true or not is rather beside the point. Toxic working environments are anti-meritocratic and anti productive. Even if we didn't give a fuck how many women entered the profession we should fix them. Intellectual dick waving leads to worse code, not better.