"We humans suck at programming. We suck at reasoning. Any honest look at a sufficiently large and older piece of code will show you that our coding is atrocious in anything but the super small."

These are the opening sentences and I think they are completely false. If anything, we have millions of lines of code in any sufficiently complicated program that we actively develop and refactor. This statement is just absurd. (Not even mentioning that said programs were mostly NOT developed using TDD.)

"You can't say that something represents something else unless you have agreed-upon executable tests that validate that representation. Otherwise it's just words."

Facepalm. Ever heard of a thing called the "compiler"?

Sorry, I was not able to read any more of this article.

If you want to read something meaningful instead, look at the articles from James Coplien "Why most unit testing is waste" and the "Segue". A few years old, but maybe there are some who have not yet heard of them.