author here - a few things:
1) code review was always a lossy verification system
2) to eliminate the need for code reviews, we should build systems that can blend predictive execution with deterministic verification
3) if we cannot build bug-free systems, we have to resilient ones
4) a core value of code reviews is knowledge sharing - this we must still preserve through specs reviews
reply