分类: systems
-
Crafting Interpreters(II):树开始运行
AST 只有被解释器遍历后才会变成一次运行:表达式产生值,语句制造效果,环境保存状态,控制流选择子树,闭包保留被捕获的作用域。

-
Crafting Interpreters(I):当源码开始拥有结构
源码会分阶段变成可执行结构:扫描器先切出 token 边界,解析器再把优先级和结合性落实成 AST,后续阶段直接消费这棵保存下来的树。
-
Codex 源码阅读(VI):上下文工程
Codex 上下文是一个托管的运行时表面:AGENTS.md、skill、线程历史、压缩和运行时设置都有所有权规则,长任务才不会中途断掉。
-
Codex 源码阅读(V):安全模型
Codex 安全模型是一组分层执行边界:沙箱定义技术上能做什么,审批决定哪些操作要审查,执行策略给命令风险分类,操作系统后端负责强制执行。
-
Codex 源码阅读(IV):工具运行时
Codex 工具不是孤立函数,而是由策略绑定运行时支撑的模型可见接口。shell 命令、补丁、MCP、skill、权限、沙箱、流事件和历史记录都走同一条托管执行路径。
-
MiniMax Sparse Attention:教长上下文模型使用索引
MiniMax Sparse Attention 将长上下文转化为可搜索记忆:学习索引选择相关的键值块,然后精确的 Softmax Attention 仅读取这些块。
-
Codex 源码阅读(I):agentic loop 是运行时边界
TLDR:Codex 的 turn 不是一次模型调用,而是一个托管执行窗口。用户输入、工具调用、工具结果、取消、压缩和最终答案都由运行时排序。
-
Codex 源码阅读(II):Goal 是运行时状态,不是提示词
TLDR:Codex Goal 是线程级的长期任务状态机。它保存目标、状态、预算、使用量、恢复状态和延续门,而不是靠模型记住一段提示词。