Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS podcasts.apple.com 3 points by eatonphil a day ago