I don't imagine any class of bugs will ever completely disappear. Sure, we know how to write software that is extremely unlikely to suffer from certain classes

I don't imagine any class of bugs will ever completely disappear. Sure, we know how to write software that is extremely unlikely to suffer from certain classes of bugs and we have better tooling for testing, but ultimately it's dependent on humans.