▲ 2 pointsWhat Happens to Software When Proof Is Cheap? Allen School Distinguished Lecture [video]youtube.comby matt_d·4mo ago·0 comments·view on hn ↗