If you'd grown up back in the day before tech was cool and techies were (generally) just nerds with no money, would you have still been interested in tech?
My recollection from my teenage years in the UK in the late 70s and early 80s, emptying my Post Office savings account to buy one of the first batch of 10^5 BBC micros, trekking all over London searching for a Rubik's cube when they first arrived, and then later reading maths at Cambridge was that about 10% of the nerds were female.
The female nerds were just as good as the male nerds.
It's hard to say how much of that discrepancy was nature and how much was nurture.
If we want diversity of hiring across sexes for hard-core nerd jobs (as opposed to overall hiring at Google etc.) then we need to at least start early with the education of young girls.