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