如果你写过 Redis、用过 RESP、或者在面试里被问过「Redis 为什么这么快」，你已经和 antirez 的产品打过交道了。
antirez 是 Salvatore Sanfilippo 的网名，意大利程序员，Redis 的创始人和主要维护者。他在系统编程、网络协议和开源社区方面的贡献，让 Redis 从一个简单的 key-value 缓存成长为现代基础设施的默认选项之一。
从 Redis 到 ds4.c
antirez 的技术轨迹有一个明显的特征：先深入理解一个领域的核心约束，然后做出一个「足够窄、足够好」的实现。Redis 不是第一个内存数据库，但它把「单线程 + 事件循环 + 紧凑数据结构」的组合做到了极致。ds4.c 也不是第一个本地 LLM 推理引擎，但它选择「只做一个模型、一次做到可信」的窄赌注，和 Redis 早期的专注非常相似。
工程哲学
从 antirez 的公开写作和项目风格中，我观察到几个一致的偏好：
- 可读性优先于聪明。Redis 的 C 代码以清晰著称，ds4.c 的 README 也强调「AI 辅助开发，人类主导设计」。
- 对上游的尊重。ds4.c 的 LICENSE 保留了 GGML 作者的版权声明，README 用了整整一节感谢 llama.cpp 和 Georgi Gerganov。
- 诚实的局限声明。README 里关于 macOS 虚拟内存 bug 导致 CPU 路径崩溃的警告，关于 MTP 只是「experimental slight-speedup」的说明，都体现了不夸大、不隐瞒的工程态度。
为什么值得关注
在 AI 工具链爆炸的当下，antirez 选择了一个非常克制的切入点：不做通用框架，不做下一个「全能推理引擎」，而是为一个特定模型（DeepSeek V4 Flash）做端到端的可信本地推理。这种「窄但深」的选择，和他在 Redis 上展现的耐心是一致的。
来源：ds4-readme
相关页面：local-llm-inference · deepseek