What Happens to Software When Proof Is Cheap? [video]youtube.com1 point·joomy··0 commentsOpen articleSaveView on HN