I don't quite buy this. "There will always be bugs" is a truism, along the lines of "all code bases will have to be maintained forever." But that's just not tru

I don't quite buy this. "There will always be bugs" is a truism, along the lines of "all code bases will have to be maintained forever." But that's just not true, code can be done. I think it's really a problem of tooling. We have formal verification, you can come up with an idea, write a specification for it, and write code that does exactly what is intended. It does require more rigor than we currently have, someone attempting to build something must thoroughly understand what they're trying to accomplish and understand how to properly use the tooling, but it can be done.