Now shudder at the thought that people are pushing towards building more and more of the world's infrastructure with this kind of thinking.

Now shudder at the fact that the error rate for hunan-written software isn't much better: https://xkcd.com/2030/

That is a great xkcd comic, but it doesn't show that the error rate "isn't much better." But are there are sources that have measured things and demonstrated this? If this is a fact I am genuinely interested in the evidence.