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
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?"