▲ 3 pointsScaling Correctness: Marc Brooker on a Decade of Formal Methods at AWSpodcasts.apple.comby eatonphil·1y ago·0 comments·view on hn ↗