Tag
A tweet criticizing the overhyped notion that LLMs have 'solved' writing extremely complex programs, using verified compilers like CompCert as a counterexample of a task that still demands top-tier human expertise.