4 ms·Semantic closure: why compilers know when they are right and LLMs do not5 points by chtefi 8mo ago