> I really like that we are now two posts deep from a quote from a ~1973 paper by Hoare Thing is that by the mid-nineties Hoare had already noticed that there

> I really like that we are now two posts deep from a quote from a ~1973 paper by Hoare Thing is that by the mid-nineties Hoare had already noticed that there might be something a little misguided with the very foundation of '70s-era focus on soundness: http://users.csc.calpoly.edu/~gfisher/classes/509/handouts/hoare-without-proof.pdf http://users.csc.calpoly.edu/~gfisher/classes/509/handouts/h... Since then, more advanced unsound methods than simple tests have only made unsound methods pull ahead of sound methods even further (I've posted other comments on this page to that effect).