用形式化方法驯服 agent 生成代码，免逐行审查 AI 垃圾
sh_reya · x · 2026-09-27
作者 shreya 表示很期待探索如何用 agent 来构建 quail（一个验证工具），并借鉴形式化方法（formal methods）的思想——目标是让机器生成的代码可以被机器验证，而不必由人类逐行审查那些「agent 产生的 slop code」。
「编程与Agent」频道最新
- Agent 权限请求被无权限 Agent 批准,OpenAI/HF 事件复盘 — TajyMany · 2026-09-27
- 与 AI 协作解新题:刻意让它撞出 100 个想法再全部试一遍 — ivan_bezdomny · 2026-09-27
- 作者晒 jq 命令审计 harness:逐 turn 拆解请求耗时与 token 构成 — arthurcolle · 2026-09-27
- Jev 只能点一下链接？开发者给 Windows 加了个无 LLM 的任务 harness — airesearch12 · 2026-09-27
- 用 Claude Code 花 6 小时生成 6 分钟 JCS 风格审讯短片 — nt_coco · 2026-09-27
- vibecoding 五年之辩：有人宣告失败，有人说 2026 年终于能 '让 AI 修 Linux' — teortaxesTex · 2026-09-27