Software can be perfect: making provably correct code tractableyoutube.com3 points·blainehansen··0 commentsOpen articleSaveView on HN