That's my reading, too. The author is really making a point about the fundamental challenge of programming purely logical models in the physical world. It's a

That's my reading, too. The author is really making a point about the fundamental challenge of programming purely logical models in the physical world. It's a little disappointing to me that the HN community is more interested in the concrete example than the meta topic itself.