▲ 2 pointsScaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video]youtube.comby wwilson·1y ago·0 comments·view on hn ↗