@threepointone @thdxr Are you thinking of this, maybe? How did software get so reliable without proof? – C. A. R. Hoare https://t.co/HDV93fGH5w
2,211 followers
2,334 followers
@jjcarett2 @samth I'm thinking of "How did software get so reliable without proof?" (https://t.co/GmTBZK7nuo), in particular S5 on over-engineering. I thought he had deduced this after moving to MSR, but this version was published several years earlier. (I
220 followers
Note: In this book MacKenzie refers to it as "self-negating prophecy" or "the Hoare paradox", in recognition of Tony Hoare's "How did software get so reliable without proof?" (presentation in 1994; also 1996 paper at https://t.co/cUB6FiJEV0)
9,194 followers
RT @KevlinHenney: The view from 1996. Interesting read for many reasons: "How did software get so reliable without proof?" C A R Hoare http…