RecodeX 重构消息，Redis创始人Salvatore Sanfilippo发布专为DeepSeek V4 Flash设计的本地推理引擎ds4，聚焦于Metal GPU后端。
Redis创始人Salvatore Sanfilippo发布专为DeepSeek...
原始信息来源readhub.cnreadhub.cn
查看原文 ↗更多快讯
查看全部 →网络安全
美国查封朝鲜黑客攻击Binance后冻结的12亿美元资金
RecodeX 重构消息，美国方面表示，已查封与朝鲜黑客攻击Binance相关的、被冻结的12亿美元资金。美方同时称，朝鲜通过一套有效的AI社会工程攻击方案窃取了4亿美元。
宏观
Kalshi合约显示12月12日部分政府停摆概率回升至40%以上
RecodeX 重构消息，预测市场平台Kalshi的相关合约显示，美国联邦政府在12月12日上午10时（美东时间）出现部分停摆的概率回升至40%以上。该合约的判定条件是：在现行联邦拨款于12月11日到期后，政府未能获得新的拨款而出现部分停摆。
人工智能
Meta Muse Spark 1.4现身RocksDB代码提交，含65秒推理调用
RecodeX 重构消息，Meta旗下一个名为muse-spark-1.4-internal的模型标识出现在公开的RocksDB代码提交（pull request）中。该提交还显示，在Meta的实时调优工作流内存在一次耗时65秒的推理调用。RocksDB是Meta主导的开源嵌入式键值存储库，此次信息由公开代码仓库披露。
人工智能
David Sacks反驳Alice Huang间谍指控，称情报机构均无定论
RecodeX 重构消息，白宫AI事务负责人David Sacks在X上发文，质疑有关Alice Huang为中国间谍的说法。他称司法部长表示“未得出结论”，CIA表示“尚未确信”，国家情报总监称相关说法“不完全准确且过度渲染”，众议院情报委员会即将上任的民主党主席也表示“至少今天，我不知道”。Sacks指出，上述表?…
央行
旧金山联储行长戴利：通胀是美国经济当前核心问题
RecodeX 重构消息，旧金山联储行长戴利表示，美国经济的关键问题是通胀。她未在表态中给出具体的政策路径或数据预期。
地缘局势
美财长指责卢特尼克未将Megaspeed列入黑名单
RecodeX 重构消息，美国财政部长斯科特·贝森特指责商务部长霍华德·卢特尼克，称其未能就潜在违规行为将总部位于新加坡的Megaspeed列入黑名单。卢特尼克正面临质疑，被指其部门在英伟达人工智能芯片流入中国的问题上应对不足。相关争议在英伟达CEO黄仁勋离任后进一步发酵。