I'm open to being wrong here, but where can I find a source on this?

I only found this one chart [1], and the mean averages seem to be lower than 130. I have no idea how reliable this is. I can't speak to San Francisco at all, but I can't find the data.

I'd also include "web developer" with software engineer, and everyone with no knowledge of CS theory, just all software developers in my opinion.

[1] http://www.iqcomparisonsite.com/Occupations.aspx

Haha, in my various jobs I always considered myself fairly gifted in intelligence. Then one day I met a guy who is actually clearly damned intelligent - a technical cofounder of a company. The speed with which he would comprehend a problem and approach it was off the charts in comparison to me. Quite remarkable, really, and it sort of made me realize how smart some people can be. It was like going to college again and finding out that while you were exceptional in school, you’re now with a lot of people just like you. Love it.

How so? I don't see how the average software engineer IQ being 100 vs 130 affects the (rather questionable) proposition that the large mass of average/mediocre software engineers MIGHT outperform the handful of Jeff Dean's (the claim made by the Ortega Hypothesis). Just based on the IQ population distribution alone, it's not unreasonable to think that Jeff Dean has a 160-170+ IQ.

It is still a questionable proposition -- "10x engineers" are a thing, and brilliant singular insights that unlock billions of dollars in productivity like the concepts of convolutional neural networks and MapReduce are the brainchild of rare chart-defying individuals, rather than a product of the masses working in tandem. The Pareto Principle still seems to hold, even for software engineering (just ask any Bay Area software company's HR department).

Regardless, as an appeal to intuition, there is some sort of minimum bar (software engineers are still a VERY scarce commodity, as evidenced by market dynamics), suggesting that the average individual (100 IQ) is ill-equipped to take on the sort of abstract reasoning and novel thought processes so readily discarded by billions of years of prior evolution (indeed, knowing C++ would not have helped you as a primordial human fighting off that hungry sabertooth tiger) needed to comprehend and write robust code wading through some of the most complex systems (the Linux kernel is millions of lines of code) ever fathomed by humankind. This is the whole premise behind IQ theory, which really just boils down to a simple statistical argument.