verified-compilers

#verified-compilers

@msimoni：LLM 最诡异的影响之一是，人们表现得好像编写极其复杂的程序这件事如今已经解决了……

X AI KOLs Timeline ↗ · 2026-10-17

一条推文批评了关于 LLM 已经「解决」编写极其复杂程序这一被过度炒作的观点，以经过验证的编译器 CompCert 为例，说明这项任务仍然需要顶尖的人类专业能力。

0 人收藏 0 人点赞