Semantic closure: why compilers know when they are right and LLMs do not

sderosiaux.substack.com