待验证50% 置信发布精确时间
Redis作者Salvatore Sanfilippo（antirez）在5月初发布了纯C语言编写的专用推理引擎DS4，外号「矮星」（Dwarf Star）
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/7/25
首次发现
有效期至：2026/10/23
来源
相关事实
待验证Redis创始人Salvatore Sanfilippo构建了名为DS4（Dwarf Star 4）的纯C语言推理引擎，专为在128GB统一内存机器上本地运行DeepSeek V4 Flash75% 相似待验证antirez（Salvatore Sanfilippo）开源了名为ds4的项目，这是一个面向DeepSeek 4 Flash与PRO模型的本地推理引擎59% 相似待验证Antirez, the creator of Redis, launched a project called DS4 — an inference engine specifically designed for local deployment of the DeepSeek V4 Flash model on Apple computers.58% 相似待验证ds4整个引擎使用纯C语言编写，并原生支持Metal、CUDA和ROCm三大后端54% 相似待验证ds4 is written in pure C with native support for Metal, CUDA, and ROCm backends52% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/613173API
curl https://kongchang.com/api/v1/knowledge/claims/613173MCP
get_claim(id=613173)