3 ms·

http://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 thre

• gruseom 15y ago
  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?"