I'm the son of a computer programmer. My mother got her degree in this back when it had just barely become a college degree. I went to the same college in Junior High to take programming classes. I was taught by a woman. Later in High School our computer sience teacher was a woman, about %40 of the students in the classes were females.
There was no perceived gender imbalance in computer science in the southern USA in the 1980s and early 1990s. In my early jobs there was a 50/50 split roughly, though women were slightly more likely to be testers than programmers, our whole team was managed by a woman.
Slowly there were fewer women programmers over the years until the great programmer boom around 2000. At that point we stopped seeing "programmers" being almost always "logical hacker types with a strong interest in computers" and we started seeing people who had never written a line of code before college who decided it was a good career to go into. Those types of programmers were almost always men.
I really don't have a problem mythologizing real heros-- like Alan Turing. The other three are celebrities, and you're always going to see that kind of celebrity stuff. Tyson deliberately chose to make himself a celebrity.
I do lament that now "tech girls" are so often women who are not actually technical (Adrianna Richards, Shanley, FemFreak for example) who use that title for the sole purposes of pushing a political agenda and harassing people. Adrianna deserves to pay a lot of money to the men she victimized. (That political agenda, people seem to be calling cultural marxism, which is at least consistent with the marxist ideology most of them have).
Like the "War on terror", so called "Feminism" has found that it makes a lot more money and lands more punches when it switches from "women are people too" to "men are rapists, you're not safe!!!1!1".
The geek is stereotypically meek and socially awkward, and thus a perfect target for their abuse. Same thing with gamers.
I have noticed that actually technical woman have almost zero correlations with these types.
The idea that men should be ashamed because there aren't more women in programming is silly. Women aren't in programming because they've chosen not to be.
In nearly 30 years working in the software business, not one of the offices I've worked with was hostile to women-- and I've worked for some real jerks-- I've never seen any of the so called rampant sexism that these people claim.