Honestly, they aren't in github issues. They are on Twitter, they are sending people DMs, they are at physical meetups. Me and my wife are both AI academics in

Honestly, they aren't in github issues. They are on Twitter, they are sending people DMs, they are at physical meetups. Me and my wife are both AI academics in the UK who do a bunch of programming. I have no "interesring stories" to tell, my wife has a dozen including men punching walls because they were beaten by a woman in a board game, being sent death threats and dick pics (not from the same person), and being assumed to be my non-tech wife when we go to events where she was invited and I was going as her partner. Now, these events aren't daily, or even weekly, but they stick with people and make then feel unwelcome and unsafe.