木桌上合盖的笔记本电脑、眼镜与鼠标

先把定位说清楚

Redis 的作者 antirez 新开了一个项目叫 DwarfStar 4,简称 ds4,在开发者社区拿到不小的热度。它不是通用的 GGUF 播放器——项目页第一句就写明「通用 GGUF 文件不是它的目标」。它是一个用 C 写的窄口径推理引擎,只服务少数几个模型家族:DeepSeek V4 与 V4.1 Flash、GLM 5.x、Qwen3.8 Flash Next,文本与视觉都支持,MIT 许可,后端覆盖 Metal、CUDA、ROCm,也就是苹果、英伟达、AMD 三条线。

它想解决的问题:大模型怎么塞进小机器

DeepSeek V4 Flash 是 2840 亿参数的混合专家模型(MoE),常规路径是扔到云端去服务;ds4 从相反的约束起步。关键手段是非对称 2-bit 量化:把压缩主要落在路由专家上,把关键共享路径留得精细一些。项目自己的说法是「被压缩,而不是被切脑叶」。另一个工程细节更值得留意——把 KV 缓存当成磁盘的一等公民:长前缀可以落到 SSD,用 prompt 哈希续上,于是重启不等于把整个上下文重新 prefill 一遍。

三个入口,同一份模型状态

./ds4 是聊天,./ds4-server 提供本地 API,./ds4-agent 跑常驻的编码会话,三者共享同一份模型与缓存。服务器同时说 OpenAI 和 Anthropic 风格的接口,所以 Codex、Claude Code、OpenCode 这类编码智能体可以直接把 base URL 指向你自己的机器。

硬件适配表写得很直白:V4 Flash 的 Q2 版本是基线,128GB 内存的机器上 GLM 5.3 Q2 与 Qwen Q4 也放得下,V4.1 Q2 则从 SSD 流式读取。官方参考数字:M5 Max 128GB、Q2 量化、2048 token 上下文时 prefill 790.2 t/s、生成 39.4 t/s;上下文拉到 65536 token 是 398.5 与 27.6 t/s。DGX Spark 128GB 的 prefill 更快(825.8 t/s),生成反而更慢(18.1 t/s)——这说明长上下文的 agent 工作负载里,prefill 和生成要分开看,别只盯一个数。

要冷静看待的两点

第一,硬件门槛并没有消失。这套方案的前提是「高内存机器」——128GB 统一内存的 Mac、DGX Spark,或者多卡服务器;普通办公笔记本依然带不动 2840 亿参数的稀疏模型。量化的收益再大,也是「内存够」这个大前提下的收益。第二,窄口径是一把双刃剑。只验证少数模型布局,意味着工程质量可控、公布的数字可信;但换模型约等于换适配,它不是那种「随便下载一个 GGUF 就能跑」的通用后端。另外,2-bit 量化对生成质量的影响,最终要靠你自己的业务样本去实测——别人的速度榜单不等于你的效果榜单。

对做企业数字化、小团队的实际启发

第一,本地推理正在从「玩具」往「工程」走,量化策略和缓存落盘这两件事,决定了它能不能真进日常流程。第二,接口兼容 OpenAI / Anthropic 是个极低成本的迁移路径——现有那套调用层几乎不用改,就能把一部分请求切到自有硬件上。第三,要冷静:这类项目通常只验证少量模型布局,换模型等于换适配,别指望它变成万能后端。合理的用法是把数据敏感、调用高频、模型需求固定的环节留在本地,把需要最强推理的环节仍然交给云端。