DeepSeek V4 Pro 正式发布:1M 上下文、Codex 接入与本机配置要不要更新
核对 DeepSeek V4 Pro 正式版的 1M 上下文、384K 最大输出、API 价格与官方 Codex 配置脚本,并判断已有本机配置在什么情况下需要更新。
Alex Xiang 的个人技术博客
我写代码三十多年,现在仍在一线做 AI 产品和工程开发。这里主要记录 AI 编程、软件工程、 本地模型和真实项目中的技术判断,也保存一个程序员亲历行业变化的长期笔记。 了解作者经历
核对 DeepSeek V4 Pro 正式版的 1M 上下文、384K 最大输出、API 价格与官方 Codex 配置脚本,并判断已有本机配置在什么情况下需要更新。
核对 DeepSeek V4 Pro 正式版的 1M 上下文、384K 最大输出、API 价格与官方 Codex 配置脚本,并判断已有本机配置在什么情况下需要更新。
不必频繁手动切换模型:让 Sol 掌舵、Terra 实现、Luna 侦察,在单一 Codex 会话中按任务边界调度多个 Agent。
Agent 能发现彼此、调用彼此,并不代表它们有办法验证对方的能力声明。本文借“柠檬市场”分析开放智能体网络中的信息不对称,以及信号、筛选和声誉机制如何补上一层信任。
David Silver 与 Richard Sutton 认为,AI 的下一阶段将从模仿人类数据转向在环境中持续行动和学习。本文梳理“体验时代”的四个特征,并讨论奖励设计、长期智能体与安全边界。
Prime Intellect 新发布的 Prime Agent 把 Pi 放进持久 IPython 控制环境,补上递归子代理、守护进程、持续目标与可回滚的 harness 演化。本文拆解它的信息流、上手方式、实践边界,以及它和 Pi 到底该怎么选。
2026 年 8 月,OpenAI、Amazon、Cursor、Microsoft、Vercel 联合发布 Agent Plugins 1.0:一个把 Agent Skills 和 MCP 服务器打包成可移植插件的目录格式。本文拆解规范本身的边界设计、治理结构,再讨论三个真正的缺口:信任模型、Anthropic 缺席,以及“包能搬家但行为不能”。
MCP 解决了 Agent 怎么调用工具,ARD 解决的是更早一环:Agent 怎么找到工具。2026 年 6 月 Google 联合微软、GitHub 等发布 ARD 规范,核心是域名下的 ai-catalog.json 和聚合注册中心。本文拆解 Catalog/Registry 机制、与 MCP/A2A 的分工,以及验证机制背后的供应链安全账。
从 2021 年的“更快 JavaScript 运行时”到 2026 年 Anthropic 收购、成为 Claude Code 的基础设施,再到用 Claude Code 把自己重写成 Rust。这篇讲清 Bun 的基本概念、它要解决的 Node 工具链痛点、1.3 时代的全栈能力,以及收购和重写背后的趋势判断。
2026 年端侧 AI 被反复称为元年:AI 手机出货 1.47 亿台、端侧模型装机 4200 万台、量产车里跑起座舱智能体。本文从模型、芯片、场景三个条件讲清为什么是今年,再用 roofline 模型和量化三件套解释真正的瓶颈为什么是内存带宽。
Markdown 参考手册:每个语法都配「写法代码 + 渲染结果」对照,覆盖标题、段落与换行、强调、列表、链接、图片、引用、代码块、表格、分割线、转义、脚注、公式等基础与进阶语法,附平台差异、工程实践、lint 校验和一页速查表。
MCP 第 5 版规范把协议从有状态长连接改成无状态核心:握手没了、会话 ID 没了、请求变成自带上下文的自描述 HTTP POST。本文列出每个变更的工程含义、迁移顺序和 Akamai 指出的六类新安全风险,给正在维护 MCP server/client 的人一份可对照的清单。
Meta 在 2026 年 8 月 5 日发布首个终端编程 Agent Muse Code。本文基于官方发布与第三方公开数据整理:模型与价格、两档计费的真实成本差、三大编程基准上的名次、以及真正值得关注的 event log 与后台常驻 Agent 设计。
GPT-5.6 Luna 降价 80%、Terra 降价 20%,同一个 Agent 步骤的成本相差一个数量级。本文给出可复算的模型成本模型、路由决策表与验收清单,再结合大摩的杰文斯悖论报告,解释为什么单价越便宜,总账单和算力需求反而可能越贵。
上一篇用 48 小时真实会话证明了它便宜又耐用,这篇拆到适配层看它为什么能被 Codex 用好:~/.codex/models.json 的每个字段怎么改变客户端行为,1.77 万字符的 instructions_template 怎么把模型变成合格的 Codex 代理,以及 DeepSeek Harness 的内测招募、官方基准和社区猜测。