LLM 让代码廉价化,递归重写或破解软件验证难题
jd_pressman · x · 2026-10-23
jdpressman 回应关于软件验证依赖链的讨论:历史上,「已验证软件」要真正有意义,其依赖项也必须经过验证,这正是软件工程持证化运动的动因——因为只有职业许可制度才能协调验证工具的统一使用。他进而提出:LLM 让写代码变得极其廉价,即使要写 100 倍的代码量,对于将承受大量对抗性压力的软件来说负担也不大;借助可规模化的 agent 和从现有实现快速迭代的能力,递归式重写使大规模代码验证变得可行。
所属事件:jd_pressman：形式验证瓶颈在依赖结构与人力，LLM 或改变格局(7 条相关)→
「编程与Agent」频道最新
- 一个周末用 AI 做出整套节目动效系统：低精力模式实战 — soleio · 2026-10-23
- Claude Code 上下文面板精细拆解用量,Codex 用户直呼想要 — JeremyNguyenPhD · 2026-10-23
- 零成本 Cloudflare AI 助理教程补课:WAF 限速防密钥泄露刷爆 — sujingshen · 2026-10-23
- 基于 DeepSeek 的 agent harness 以极低成本登顶 Lean Eval — lukaszkaiser · 2026-10-23
- Qdrant 出 GraphRAG 实战教程:Qdrant 向量+Neo4j 图谱可复现实现 — JeremyCMorgan · 2026-10-23
- Sakana AI 发布企业级 AI 决策平台 Sakana Aquarium — SakanaAILabs · 2026-10-23