AI 编程实时动态与要闻

11 月 5 日 Rauch 在 X 发帖称，大多数人写的软件又慢、漏洞多、规格不清，AI 会把它们重写很多遍，并做形式化验证、压测和加固，「这才是软件工程真正的诞生」。帖子约 3,000+ 赞、270+ 转发、近 10 万浏览；赞同者举出用 AI 从零重写的案例，反对者提醒规格缺失和人工复核的问题。这是个人观点，不是 Vercel 官方公告。

11 月 3 日，自我介绍为 SpaceXSI 旗下 Grok Bot 工程师、React Compiler 核心团队成员（曾在 Cursor、Meta、Netflix）的 @poteto（lauren）发帖，自称「也许是暴论」：她现在认为对抗式审查大多是在浪费 token，不如把这些 token 用在实证验证结合形式化验证上；她已调整自己的 Agent 技能包 pstack，减少调用 interrogate（多模型对抗审查）技能，以后可能直接移除。她还说抽象层面的代码审查价值很小，Agent 往往陷在吹毛求疵和 YAGNI 式意见里。帖子约 90.6 万浏览、9227 赞、5538 收藏，属个人观点，引发对 AI 代码审查价值的讨论。