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.
It's a little disappointing to me that the HN community is more interested in the concrete example than the meta topic itself.