3 ms·Human code review is still cheaper than fully automated verification1 points by peterlavigne 7mo ago