You can't make this kind of claim without a source.

There's an anecdote right in front of your eyes. /u/marvin_minsky makes the assumption that men and women are just different as the reason why there are less women in the tech field, yet no one calls him out asking for sources on his hypothesis. You yourself feel that the reason is due to social pressure or education, but I doubt you can find sources stating the reasons behind those beliefs.

But hey, you asked for sources so I found some for you:

Here's a study from Harvard:

Forty-one percent of highly qualified scientists, engineers, and technologists on the lower rungs of corporate career ladders are female. But more than half (52%) drop out... It found 5 powerful "antigens" in corporate cultures. Women in SET are marginalized by hostile macho cultures. Being the sole woman on a team or at a site can create isolation. Many women report mysterious career paths: fully 40% feel stalled. Systems of risk and reward in SET cultures can disadvantage women, who tend to be risk averse. Finally, SET jobs include extreme work pressures: they are unusually time intensive.

Here's one from Yale:

The experiment was straightforward. The researchers sent 127 science professors around the country, both male and female, the exact same application materials from a made-up undergraduate student applying for a lab manager position. For 63 of the applications, though, they wrote that the student was male, named John; for the other 64, they wrote that the student was female, named Jennifer. Every other element of the application—the resume, GPA, references and other materials—was identical. The 127 professors were each asked to evaluate the theoretical applicant. The results are startling: Both male and female professors consistently regarded the female student applicant as less competent and less hireable than the otherwise identical male student. On a scale of 1 to 5, the average competency rating for the male applicant was 4.05, as compared to 3.33 for the female applicant. The average salary offered to the female was $26,507.94, while the male was offered $30,238.10.