The speaker says people are writing code they no longer understand and need computer-checkable specifications.

“So we have a real serious problem now with the spaghetti monster, right? We are writing code that we no longer understand. We don't understand our code bases anymore, and we need to have some kind of way of building specifications which are computer checkable.”