Compile bug: Mac linking bug when compiling with BUILD_SHARED_LIBS=OFF

在 macOS(Apple Silicon)上以 BUILD_SHARED_LIBS=OFF 编译 llama.cpp 时, ggml-rpc 变成静态归档, librdma 的符号不会随静态链接传递,导致链接阶段出现大量 _ibv_* undefined symbols;优先排查 RPC 后端的

在 macOS(Apple Silicon)上以 BUILD_SHARED_LIBS=OFF 编译 llama.cpp 时, ggml-rpc 变成静态归档, librdma 的符号不会随静态链接传递,导致链接阶段出现大量 _ibv_* undefined symbols;优先排查 RPC 后端的

这个报错通常出现在同一台机器上同时运行两个 llama-server 进程、每个进程各绑定一块 GPU 的场景;第二个副本(GPU1 上那个)会在 CUDA graph 复用后触发 ggml-cuda.cu:107: CUDA error 并直接退出。优先排查并关闭 CUDA graph,即在启动前

Epsilon Health 结束隐身状态,完成 2000 万美元 A 轮融资,由 AlleyCorp 领投。它的模式不是卖 AI 软件给医院,而是签约放射科医生,让他们用其 AI 更快产出影像报告。

GMKtec 推出售价 3799 美元起的 EVO-X3 迷你主机,用 AMD Ryzen AI Max+ 395 加 128GB 统一内存实现完全离线的本地大模型推理,硬件出色但软件仍需用户自己折腾。

Dwarkesh Patel 的播客请来 John Schulman、Beren Millidge、Charlie O'Neill 三位研究者,用"反向论证"的方式讨论递归自我改进(RSI)是否真会失控,同时聊到中国实验室的进展和长时程强化学习。这场对话值得关注,是因为它把常被当成信仰的 AI 加速论,重新拉…

一个叫 OpenMontage 的开源项目冲上 GitHub 当日热榜第一,主打“一句话生成完整视频”,还能反向拆解参考视频的结构和节奏,再生成一整套制作方案。它值得关注的点在于:视频生产正在从“AI 辅助剪辑”走向“AI 接管流程”。

社交平台账号 @WorldCapitalAI 发布传闻称,月之暗面 Kimi 有 16 人被带走、包括创始人杨植麟,并指控其把复杂推理请求转给 Claude 再拿答案训练自家开源模型;同时列出一批中国 AI 与机器人公司股价大幅回撤的数据。上述指控目前没有任何官方或权威信源证实。

菲尔兹奖得主邓煜在社交媒体上开玩笑说,如果 AI 能解决所有数学问题,他就退出数学界去写百合小说。一条推文把它包装成"正式宣布",随后被平台补充说明纠正。

AI 创作者 @AYi_AInotes 推荐了一套"AI 婚礼视频定制教程 + 引导式 skill",并称此前在小红书随手发布的视频就引来多人询价定制;另一位作者 @AaronYiaazw 表示自己借亲戚的婚庆渠道,半个月已完成 5 单。这波热度说明 AI 视频生成正在从"炫技"走向可交付、可收费的细分服务。

Anthropic 首席执行官 Dario Amodei 在一场公开问答中回应了"还要不要学编程",核心观点是:如果只为工作保障而学编程,方向已经错了,但掌握比较优势的人和具备批判性思维的人反而会更值钱。