从Redis到ds4.c, 十五年过去, antirez还是那个antirez

从Redis到ds4.c, 十五年过去, antirez还是那个antirez

一个意大利人, 坐在西西里岛的某间屋子里, 用C语言写了一个推理引擎。

没有框架, 没有依赖, 没有抽象层。几个文件, 直接调用苹果Metal API, 把一个2840亿参数的大模型塞进了MacBook。

这个人叫Salvatore Sanfilippo, 程序员圈子里都叫他antirez。

你可能没听过这个名字, 但你大概率用过他写的东西。Redis, 全球最流行的内存数据库, GitHub上74000颗星, 后端工程师的吃饭家伙。他一手创造, 亲自主导了十一年。

2026年5月7号, 他往GitHub上推了一个新项目, 叫ds4.c。

专门给DeepSeek V4 Flash跑本地推理用的。

image

image

一个只干一件事的引擎

事情要从两周前说起。

4月24号, DeepSeek发布V4系列, 两个版本, Pro和Flash。Flash是效率款, 284B总参数, 13B激活参数, 100万token上下文窗口。

这个体量的模型, 过去基本只能在云端跑。你想在本地玩? 对不起, 显存不够, 内存不够, 算力不够。

antirez看到这个模型之后, 做了一个决定。

他要从头写一个推理引擎, 只为这一个模型服务。

通用引擎他看不上。llama.cpp太泛, GGUF加载器太杂, 各种wrapper套了一层又一层。在他看来, 抽象就是妥协, 兼容就是平庸。

他要做一条窄路。窄到只容得下一个模型通过。

ds4.c就这么诞生了。

整个项目C语言占55%, Objective-C占30%, Metal着色器占14%。Metal-only, 意思是这个引擎只在Apple Silicon上跑, 不管Nvidia, 不管AMD, 连Intel都不带搭理的。

有人可能会说, 这也太轴了吧。

但你要是了解antirez这个人, 就知道这完全在情理之中。

image

image

马桶上写出来的Redis

2009年, antirez在做一个实时日志分析系统, MySQL太慢了, Memcached又太简单。他需要一种能快速读写、支持复杂数据结构的存储方案。

市面上没有现成的, 他就自己写了一个。

先是用Tcl写了300行原型, 跑通了。然后换成C语言重写, 投入生产环境, 发到Hacker News上, 一发不可收拾。

后来他老婆说了一句话, 被他写在了个人主页上。

Redis的前几年, 我大部分代码都是坐在马桶上写的, 用一台11寸的MacBook Air。

他补充了一句, 我真希望能说她错了, 但她正好说得完全对。

这就是antirez。他的项目都有一个共同特点, 小, 精确, 自成一体。Redis是这样, Kilo文本编辑器是这样, dump1090信号解码器也是这样, 全都不到几千行代码, 全都解决一个具体问题, 全都写得很漂亮。

他个人主页上还写过一段话, 现代编程正变得复杂、无趣, 全是要粘合的层。它正失去大部分美感。大多数程序员既不在面对编程的艺术面, 也不在面对编程的高级工程面。

2020年他离开Redis的时候, 说过一句话。他说自己写代码是为了表达自己, 代码是一件制品而不只是有用的工具。他宁可被记住为一个糟糕的艺术家, 也不愿被记住为一个好程序员。

image

image

从反AI到用AI造东西

故事到这里, 本来可以是一个古典程序员的优雅退休叙事。

但2026年变了。

今年1月, antirez发了一篇博文, 叫Don't fall into the anti-AI hype。翻译过来就是, 别掉进反AI炒作的陷阱。

这篇文章在中文互联网上炸了锅。

一个以手写C语言著称的人, 一个把指针玩成艺术的人, 站出来说, 亲手写代码在逻辑上已经不再成立了。

他举了三个例子。

第一个, 他让Claude Code用5分钟写了一个917行的纯C语言BERT推理库, 输出结果和PyTorch完全一致, 速度只慢了15%。

第二个, Redis测试里一个极难复现的TCP死锁Bug, Claude Code自主检查进程状态, 迭代复现环境, 最后精准定位并修复了问题。

第三个, 他花了几周修改Redis Streams内部实现的工作, Claude Code 20分钟就复刻了。他自嘲说, 这20分钟里大部分时间还是因为他检查代码太慢了。

然后他说了一句很扎心的话。不管你认为什么是正确的事, 你都无法通过拒绝现实来控制未来。

很多人看到这里觉得, antirez变了, 古典编程的最后一位守夜人投降了。

但ds4.c告诉你, 他没变。

image

image

他只是换了一种方式做自己

ds4.c的README里有一段声明, 坦率得让人愣住。

这个软件是在GPT 5.5的强力辅助下开发的, 人类负责想法、测试和调试。如果你不接受AI辅助开发的代码, 这个软件不适合你。

两周时间, 从fork llama.cpp做适配, 到推翻重来从头写一个专用引擎。靠人手写, 这不可能。

但他做的事情, 还是那个味道。

你看他的设计选择。非对称量化, 只把MoE专家层压到2-bit, 其他组件保留8-bit精度, 因为这些层占了模型空间的绝大部分, 压它们性价比最高。KV缓存搬到硬盘上, 用SHA1哈希做key, 匹配token前缀, 命中了就直接加载跳过prefill。内置OpenAI和Anthropic两套API兼容层, 连tool calling都做了适配。

每一个决定都指向同一个目标, 让V4 Flash在本地Mac上真正能用, 不只是能跑。

测试数据已经出来了。128GB的MacBook Pro M3 Max, 短prompt预填充58 token/s, 生成26 token/s。512GB的Mac Studio M3 Ultra, 长prompt预填充能到468 token/s。

对一个284B参数的MoE模型来说, 这个速度在本地机器上已经可用了。

Claude Code每次启动会发25K token的初始prompt, 第一次prefill完之后, 后续会话直接从磁盘恢复。这个细节说明他真的在用, 不是写着玩的。

软件都很烂

README里还有一个细节, 让人忍俊不禁。

ds4有一个CPU推理路径, 用来做正确性验证。但当前版本的macOS在虚拟内存实现上有一个bug, 跑CPU推理会导致内核崩溃。

他写道, 记住了吗, 软件都很烂。我没法修复CPU推理来避免崩溃, 因为每次都得重启电脑, 一点都不好玩。

然后加了一句, 如果你有胆量, 来帮我们。

这种语气, 和他十年前在Redis的issue里回人的风格一模一样。不装, 不端, 不打官腔。遇到问题就直说, 修不了就认, 但态度永远在那。

他还在README里留了个伏笔。当前Metal-only, 未来可能会做CUDA支持。但他写得很谨慎, 也许会, 但仅此而已。这个项目刻意保持小、快、专注。

刻意保持小、快、专注。这句话几乎是antirez所有项目的墓志铭。

image

image

一个模型一个引擎的争论

ds4.c发布之后, Hacker News上炸出了一个更大的讨论。

未来会不会变成一个模型一个推理框架?

有人觉得这是正路。GPU越来越贵, 去掉抽象层, 直接针对精确的硬件和模型编码, 能优化出很多性能。

也有人觉得这是死路。模型迭代这么快, 你今天为V4 Flash写的引擎, V5一出就废了。

antirez自己承认了这个问题。他说ds4当前赌的是DeepSeek V4 Flash, 但模型可能会换。不变的约束是, 本地推理要在高端个人机器上跑得靠谱, 起步128GB内存。

他提出了一个概念, 叫全栈本地推理。

一个有HTTP API的推理引擎, 一份针对这个引擎特别打造的GGUF量化文件, 一套和coding agent对接的测试和验证。三件事一起做好, 开箱即用。

不是把组件拼起来, 是把链路当成一个产品来设计。

如果这条路走通了, 以后每代模型发布, 社区里就会有人跳出来给它做专属引擎, 做专属量化, 做专属agent接入。每一代模型都有自己的antirez。

十五年

2009到2026, 十七年了。

antirez今年49岁。他还在写代码, 还在西西里岛, 还是那台Mac, 还是那个调性。

他写过Redis, 写过Kilo, 写过dump1090, 写过linenoise, 玩过Flipper Zero, 把Asteroids移植到了上面。2022年还出了一本科幻小说, 叫WOHPE, 讲AI、气候变化和程序员的故事。

他个人主页第一行写的是, 我把大部分专业时间花在写代码和写小说上。

现在他又写了ds4.c。

有人说, antirez变了, 他开始拥抱AI了, 他不再是那个纯粹的手工匠人了。

但我觉得他没变。

他从来不是一个因为热爱C语言而写C语言的人。他是一个因为想造东西而写代码的人。C语言只是他的工具, 就像现在GPT 5.5也是他的工具。

他2018年离开Redis之后去写科幻小说, 推演人类被自动化取代后的命运。那时候他以为洪水还远。四年之后洪水就到了脚下。

他没有选择站在岸上骂洪水。

他选择跳进去, 用洪水造一艘船。

ds4.c就是这艘船。用AI辅助开发, 用C语言和Metal写就, 只为一个大模型服务, 只在苹果芯片上跑, 刻意保持小而美。

从Redis到ds4.c, 工具在变, 时代在变, 但那个坐在马桶上写代码的意大利人, 还是那个意大利人。

他只是不再用指针雕刻世界了。

他开始用AI修路。