Entirely 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?"
Comments
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.
http://news.ycombinator.com/item?id=3554556
I was not sure on the appropriateness of cross promoting one's own threads.
Entirely 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?"