Checking code for what LLMs might have slipped in · Digg