3 ms·
In a separate thread, I have posted De Millo, Lipton, and Perlis' 1979 argument against formal methods What separate thread was that? This is a marvelous and c
by gruseom 15y ago
In a separate thread, I have posted De Millo, Lipton, and Perlis' 1979 argument against formal methods
What separate thread was that? This is a marvelous and colorful paper. I had not seen it before.
- microtherion 15y agohttp://news.ycombinator.com/item?id=3554556 http://news.ycombinator.com/item?id=3554556 I was not sure on the appropriateness of cross promoting one's own threads.
- gruseom 15y agoEntirely appropriate, assuming the post is interesting, which this one is. Pity it got lost in the shuffle. Advocates of formal verification of software remind me of the old joke, usually about a Frenchman but sometimes about an Irishman, who says in some policy debate: "I can see that it works in practice, but will it work in theory?"