Might depend on your definition of "intelligent" though. I've met quite a few, too, including friends and relatives. Sure, they better than average programmers, but general intelligence seems to be the same as in your general college educated population. Otherwise we'd be arguing that Damore (or, say, Altheide, if one has ideological preference for one or the other) are also "very intelligent".
I think you may be equating "good enough at programming to get hired by Google" with "generally intelligent". My point is that these are entirely different things.
