`AI Agents` `ZeroLang` `本地推理` `趋势` 五月份 GitHub 上有两个项目火了，背后的信号比项目本身更有意思。 ## ZeroLang：为 AI Agent 设计的编程语言 Vercel Labs 上周开源了 ZeroLang，一周内拿下 4000+ star。官方描述只有一句话：**"The programming language for agents"**。 这不是又一个通用语言——它是专门写给 AI Agent 用的。核心理念很有意思： - **声明式语义**：描述"做什么"而非"怎么做"，天然适合 LLM 生成 - **确定性执行**：语法设计保证 Agent 不会因为幻觉写出歧义代码 - **原生工具调用**：HTTP、文件、数据库操作是语言内置的，不需要 function calling 那套 - **沙箱安全**：默认无网络无文件系统访问，需显式声明权限 看个例子感受一下： ``` // 让 Agent 帮你查 GitHub Trending 并保存 task "daily trending" { allow: network.github.api, fs.write("./trending/") step fetch { GET https://api.github.com/search/repositories params { q: "created:>today-7", sort: "stars" } store as repos } step filter { from repos.items keep { stars > 100 } } step save { write filter_result to "./trending/{{date}}.json" } } ``` Agent 不需要理解 HTTP 细节、JSON 解析、文件写入——语言本身把这些封装好了。LLM 只需要生成 ZeroLang 代码，运行时保证安全执行。 这解决了一个核心问题：**怎么让 AI 可靠地操作计算机**。目前的方案（Claude Computer Use、OpenAI Operator）是让模型直接操控屏幕——脆弱、慢、容易出错。ZeroLang 的思路不同：给 Agent 一个受限但确定性的 DSL，让它在这个安全边界内干活。 它是不是 Agent 时代的"JavaScript"还为时过早，但方向是对的。 ## ds4：Redis 作者做的本地推理引擎 另一个刷屏项目是 antirez/ds4——**11000+ star**。作者是 **Salvatore Sanfilippo（antirez）**，Redis 的创造者。 ds4 全称 DeepSeek 4 Flash Local Inference Engine，专为在 **Metal（Apple Silicon）和 CUDA** 上高效运行 DeepSeek V4 模型设计。 为什么火？几个原因： - **antirez 的江湖地位**：Redis 作者写的 C 代码，质量不用怀疑 - **性能炸裂**：M4 Max 上跑 DeepSeek V4 Flash 达到 45 tok/s，堪比小模型的速度 - **极简设计**：核心代码不到 3000 行 C，没有 Python 依赖链那套 - **时机正好**：DeepSeek V4 刚发不久，大家正愁怎么本地跑 ``` # 一行命令跑起来 $ ds4 --model deepseek-v4-flash.Q4_K_M.gguf --port 8080 # Ready. Open http://localhost:8080 ``` 这背后的趋势是：**本地推理正在从"能跑"变成"好用"**。一年前跑 7B 模型都觉得卡，现在 200B+ 模型在笔记本上流畅运行。antirez 做这件事本身就是一个信号——顶尖系统程序员正在涌入 AI 推理优化领域。 ## 这两个项目指向同一个方向 ZeroLang 和 ds4 看似不相关，但放在一起看，指向同一个未来： > **AI 正在从" chat.chat.com" 走向"自主行动"。** > > > Agent 需要一个可靠的执行环境（ZeroLang），需要高性能的本地推理（ds4），需要标准化的工具接口（MCP）。这三块拼图正在同时成形。 对普通开发者来说，这意味着什么？ - **运行 Agent 的成本正在归零**：本地推理 + 确定性执行 = Agent 可以在你的笔记本上跑一整天，不花一分钱 API 费用 - **Agent 编程将成为一个独立技能**：就像当年从写 shell 脚本到写 Python，从写 Python 到写 prompt——下一跳是写 Agent 编排逻辑 - **工具链在标准化**：MCP 协议、ZeroLang 这类 DSL、本地推理引擎，正在拼出一套"Agent 操作系统" ## 附：几个值得关注的项目 项目 说明 ZeroLang Vercel 的 Agent DSL antirez/ds4 DeepSeek V4 本地推理引擎 Hermes Agent 开源 AI Agent 框架，多平台接入 + 定时任务 MCP Anthropic 的 Model Context Protocol，AI 工具的 USB-C