用 LLM 重写软件有多难：从内核下手毁兼容，保兼容就难验证
jd_pressman · x · 2026-10-23
jdpressman 与 lusichu 讨论「牙签镊子式」用 LLM 逐段加固应用层软件的现实困难：应用软件本就近乎一次性，这样做完全不合理；且依赖仍是 C，得到的保护有限。若从内核入手，会破坏所有下游软件的兼容性；若坚持兼容，就被迫使用难以证明安全性的编程模式。结论是亲自动手用 LLM 走一遍才能体会实际难度。
所属事件:形式验证难在人力而非复杂度，LLM 或重启其实用价值(7 条相关)→
「编程与Agent」频道最新
- 机械臂 Podrick 学会插餐具,靠从失败运行中自我总结经验 — ycombinator · 2026-10-23
- 实测：agent 重试不关连接，每任务白烧约 148 tokens — No-Peanut-6988 · 2026-10-23
- 实测 agent 沙箱：开启自动批准后 12 次全部放行外联 — No-Peanut-6988 · 2026-10-23
- 实测写 JSON Schema：Claude 最强，Gemini 最弱 — gaganghotra_ · 2026-10-23
- OSI 黑客松开源 Consilith:人类与多个 AI Agent 同室协作做科研 — BenBlaiszik · 2026-10-23
- Claims Engine：把证据与论断连成知识图谱的开源系统 — anselm · 2026-10-23