Programming @programming.dev HaraldvonBlauzahn @feddit.org 2mo ago PDF How did Software get so reliable without Proof? (Tony Hoare) 6826.csail.mit.edu /2020/papers/noproof.pdf