[jbritton]

It’s kind of interesting relating this to LLMs. A chef in a kitchen you can just say you want PB&J. With a robot, does it know where things are, once it knows that, does it know how to retrieve them, open and close them. It’s always a mystery what you get back from an LLM.

[jbritton]

Also true of specifications. Anything not explicitly stated will be decided by the implementer, maybe to your liking or maybe not.

[mjevans]

I'm reminded of wish-granting genies, and then of 'undefined behavior' and compilers...