Semantic closure: why compilers know when they are right and LLMs do not | Dark Hacker News