程序员圈有个传说级人物，叫 antirez。

你可能没听过这个名字，但 99% 的程序员都用过他写的东西。

他是 Redis 的作者。Redis 是什么？全球最火的数据库之一，几乎每个大厂都在用。

2019 年，他功成身退，说要去写小说、过退休生活。

结果今年，他回来了。

不是为了 Redis，而是为了 DeepSeek。

打开网易新闻 查看精彩图片
打开网易新闻 查看精彩图片

一、他搞了个啥？

antirez 亲自写了一个 DeepSeek 本地推理引擎，叫 ds4，GitHub 上已经 2 万星。

一句话：让你在自己的电脑上，跑起 DeepSeek 大模型。

不需要联网、不需要付费 API，纯本地运行。

二、这个引擎有多硬核？

1. 纯 C 语言手写

不是套壳、不是封装别人的代码，是从底层写起的推理引擎。 程序员都知道，用 C 写 AI 引擎，那是硬核中的硬核。

2. 专门为 DeepSeek 优化

支持 DeepSeek V4 Flash 和 PRO，还有国产的 GLM 5.2。 专注几个模型，做到极致，不搞大而全。

3. 老显卡的救星

现在很多 AI 工具都要求新显卡，老卡直接被抛弃。 antirez 偏偏反着来：8 张老款 L40S 显卡组起来，就能当公司的 AI 服务器用。 实测生成速度 120 token/秒，加载速度 2000 token/秒，一点不虚。

4. 内存不够也能跑

用 SSD 流式加载，就算内存不够，也能跑起大模型。 慢一点，但能用。

三、最骚的操作：AI 写的 AI

这个项目最让人津津乐道的，是 antirez 自己承认的：

这代码是他在 GPT 5.5、5.6 和 Claude 的强力辅助下写出来的。

对，你没看错——写 Redis 的大神，现在用 AI 写代码，然后 AI 帮他搞了个 AI 引擎。

他自己说：如果不接受 AI 写代码，那这个项目不适合你。

连大神都真香了。

四、为啥这事这么大？

因为 antirez 不是普通人。

他是那种"一人写一个软件，全世界都在用"的程序员传奇。

他的选择，代表了一批老程序员的转向：AI 不是对手，是工具。

而且他选的还是 DeepSeek——国产模型。 说明什么？DeepSeek 的技术实力，已经得到全球顶级程序员的认可。

五、AI 写代码，程序员还有未来吗？

评论区吵翻了。

有人说：连 Redis 之父都用 AI 写代码了，程序员迟早完蛋。 有人说：正因为是他，才说明 AI 只是工具，灵魂还是人的。

我的看法：antirez 用 AI 写引擎，但他负责的是想法、架构、调试。 工具越来越强，但拿着工具的那双手，才是关键。

你会用 AI 写代码吗？评论区聊聊。

关注我，每天分享一个搞钱、搞效率的开源神器。