Posts
All the articles I've posted.
-
赛马问题——25匹马5条跑道找前三需几场?
通过分组赛缩小候选范围,冠军赛确定第一名,淘汰逻辑压缩候选集,最终决赛解决余量,共需 7 场。
-
蓝眼睛悖论——Common Knowledge的归纳推理
蓝眼睛悖论揭示公共知识的建立为数学归纳法提供了 base case,游客的话将已知信息转化为公共共识。
-
海盗分金币——逆向归纳法的博弈论经典
通过逆向归纳法从最后一轮往前推导,每轮提案者以最低成本收买在自己被否决后过得最差的选民。
-
Claude Code vs Codex:两种 Agent 编排哲学
从源码层面对比 Claude Code 与 Codex CLI:两者都是本地 coding agent 且都支持 Skill、Hook、MCP、AGENTS.md,真正的差异在实现栈、云端沙箱并行与多模型、以及 IDE 与企业集成深度。
-
长任务状态管理:跑两小时的任务怎么不丢状态
Agent 长任务的状态管理:状态机、断点续跑、任务队列、幂等,以及上下文压缩与状态的关系。
-
Subagent 与 Skill 注入:多 Agent 编排的艺术
为什么单 Agent 不够:上下文污染、自我肯定偏差、难并行,以及 Subagent 分工隔离与 Skill 按需注入的解法。
-
水桶取水——扩展欧几里得算法的编程题转化
水桶取水问题的数学本质是贝祖定理判断可解性,扩展欧几里得算法求解通解,BFS 求最小步数。
-
上下文压缩与 Memory 管理:窗口不够用怎么办
Agent 上下文窗口不够用的三类解法:压缩、外置记忆、分层索引,以及记忆的写入时机工程。