Looking at this comment section... wow. Yes, regularly encountering people who behave like Azathoth at work would be a level of (not really micro) aggression that could easily drive me out of a company, and I consider myself to have a pretty thick skin. Seems like there's no level of achievement a woman could reach that he'd see as strong evidence of competence. Doesn't matter if she has a physics degree from Caltech, no, her professors probably just passed her out of sympathy. Doesn't matter if she's written good code in the past, no, her references must all be assumed to be lying for mysterious reasons.

Hypothesis: Azathoth and people with the same attitude encounter few competent women at work because if said women can get a job somewhere else, where they won't be constantly assumed less competent than their achievements demonstrate, they do so.

The bit about quotas increasing the quality of the female applicant pool to the point where they don't even need to be used is counterintuitive and interesting. Myself, I've always avoided any college/company/etc I thought might have a quota because I want there to be no shadow of a doubt that I've earned what I have, but I'm aware I'm far from being a representative woman.