用外部确定性状态层治 AI 编码失忆:三篇论文给出会话管理新思路
ApprehensiveSkin7975 · reddit · 2026-11-04
Reddit 用户总结 AI 编码中常见的会话问题(约束遗忘、未验证声明、重复失败命令、决策丢失),并调研了三篇相关工作:
- Ledger(2026.08):把交互历史转成显式执行状态(observed/modified/attempted),每步前注入紧凑状态视图,并校验拟执行命令、直接返回仍有效的旧结果以避免重跑,不增加额外 LLM 调用,在 SWE-bench Verified 上提升 Pass@1 且降低成本。
- Resilient Write(2026.04):开源 MCP server,提供原子写入、可恢复分块、类型化错误、带外 scratchpad 与任务交接信封,解决静默写失败与盲目重试。
- Agentic process evidence(2026.10):对 agent 会话做签名、防篡改的机器可读存证,面向安全合规而非编码卫生。
作者主张:一个「注入简报 + 阻断重复工作」的外部确定性状态层扩展可以系统解决这些问题。
「编程与Agent」频道最新
- shadcn 盛赞 Claude Opus 5.5：首个有「品味」的模型 — shadcn · 2026-11-04
- Dan Wahlin 明日开讲 GitHub Copilot CLI：从想法到合并 PR — DanWahlin · 2026-11-04
- Device MCP 发布：让 Claude/Codex 直接操控真实 iPhone 做 UI 测试 — rudrank · 2026-11-04
- 开发者用 Gemini 4 Argon 加 Antigravity 制作融化三明治 WebGPU 动画 — AI_Andrew · 2026-11-04
- 团队想从 IDE 补全转向云端异步后台编码 Agent，求选型建议 — Extension_Lake4065 · 2026-11-04
- ≤4B 小模型 Agent 实测:Qwen3.5-4B 得 51.4%,思考模式最多提升 20 分 — KienShen · 2026-11-04