Pao? http://www.vanityfair.com/style/scandal/2013/03/buddy-fletch... ... basically, she was suing for pretty much the same amount that her husband was being sued for. Coincidence? I think not, especially other revelations about her character that were made during the trial.

Horvath? That whole situation was seven shades of wrong; I don't think it proved anything about institutional sexism at GitHub, but it certainly demonstrated how poor (or at least, how inconsistent) their HR practices were. Her story would set (good) HR managers heads on fire, and I'm still surprised she didn't sue them over it all. (I do disagree with her opinion on the meritocracy issue, though: meritorcracy is something all organisations should strive for, and a term of which we should be proud).

Examples of tech industry sexism? How about this for starters: http://www.dailydot.com/news/cryptoparty-founder-asher-wolf-... There are many, many examples of behaviour like this in the tech industry (and others).