I am passing along these anecdotes because they're more easy to empathize with than some of the more general arguments of why it can be hard to succeed in tech as a woman (but they really only tell part of the story). Some of my other anecdotes might also sound closer to things you've seen or heard at the work place, or perhaps it's easier to see how some of these things might have happened without you being aware of them, given their (relative) infrequency and the contexts in which they arise. All of them happened without an HR incident (like, really, should a guy who wrote a system called "naggy-wife" get in trouble? a choice was made like 20 years ago... and maybe the guy doesn't even work there anymore). But you can also see how negative experiences like this can build up and contribute to the relatively common feeling among female engineers that they "don't belong".