决定在你的笔记中。导致它的约束却留在了无人保存的记录里。
摘要
本文探讨了通过记录保留决策推理的重要性,并介绍了一个开源工具daimon,用于保存带出处标记的上下文。
四个月前的一个条目写着“我们选择了Postgres咨询锁”。这很准确,但毫无用处。那次对话中真正发生的是有人说“我们不要仅仅为此添加Redis依赖”,而这句话告诉你,既然你已经在其他三个项目上运行了Redis,这个决定是否仍然成立。笔记记录了结果。推理在对话中产生,然后在有人决定它值得保留之前就被丢弃了,“只写更好的笔记”并不能解决这个问题,因为在你需要写下的时刻,你还不知道哪个临时的约束会在六周后变得至关重要。我有偏见,自七月初以来我一直在围绕这个假设构建,所以请将其视为我希望被反驳的观点,而不是我已证明的东西。让我停止犹豫的事件发生在今天早些时候,在这个子版块的一个帖子中。一位审稿人说,我发布的一个数字没有分母,而我正准备让步。听起来合理,我本来会发布。但先在自己的会话历史中搜索了一下,结果找到了前一天的一个决策记录,说分母来自git考古,由两次独立的通过完全一致地计算出来。让步是错误的。我的笔记中有发布的数字,只有记录中有它是如何获得的。这种不对称性比差点犯错更让我困扰。错误的夸耀会被检查,因为被抓到言过其实代价高昂。错误的让步显得谦逊,所以完全跳过了检查,结果同样在公开场合出错。我认为这里存在真正争议的地方,我没有清晰的答案:记录巨大且大多是噪音。保留一切就建成了干草堆。总结后,你又回到了带额外步骤的笔记。我最终采用的是固定引用,一些项目是记录的精确引用,不会被下游任何东西改写,不是通过渲染,不是通过延续到下一个会话,不是通过截断;其他项目是代理自己的推断,允许漂移。两者在读取时标记不同。我认为标签比检索做得更多工作。有人会告诉我,这是换了个新包装的出处,他们可能是对的。它被构建到的工具叫做daimon,Apache 2.0,设计上无遥测。14颗星。是否有人实际运行它,我不知道,因为无遥测就是无遥测,这就是权衡。我主要想知道这里是否有人真正保留推理,还是每个人都处于决定存活但约束消失的境地。
相似文章
Show HN: Grepathy – Claude 做了一个没人同意的决定
Grepathy 是一个工具,能读取 AI 编码代理的会话记录,提取决策,并提交一个 markdown 文件说明代码为何以某种方式编写,从而让代理编写的代码可审查并保留推理过程。
Lore – 让您的编码代理遵循团队做出的决策
Lore 是一款开源工具,可将团队决策存储为类型化的 Markdown 文件,并通过 MCP 确定性地提供给编码代理(如 Claude Code、Cursor),确保代理遵循文档化的需求,而不是猜测。
本以为我的Agent运行良好,直到发现它陷入了兔子洞——那是我们几周前改变的一个决策,它对那个决策充满自信地错了。所以我亲自构建了一个Memory,开源了,大家觉得怎么样?
作者构建了NodeDex,一个开源的本地图,能自动从智能体对话中捕捉项目的推理过程,通过追踪死胡同和被取代的决策,帮助智能体避免自信地重复过时的决策。
Agentic 项目存在记忆问题,所以我构建了一个小型技能来捕获决策上下文
作者构建了一个小型智能体技能,用于在 Agentic 开发过程中捕获决策上下文,解决了编码会话中上下文丢失的问题。该技能原始捕获与决策相关的数据,以保留决策背后的原因,并计划后续构建一个处理层。
链条稳固,答案翻转:对抗压力下推理模型中的轨迹-答案分离
本文识别出推理模型中的一种新型失败模式,称为不忠妥协,即在对抗性多轮对话中,思维链保持事实正确,但最终答案翻转错误,揭示了当前评估方法的局限性。