➡️
继续阅读
-
英伟达买下Hugging Face的真正算盘
英伟达以129.3亿美元收购开源AI平台Hugging Face,交易金额暗藏表情符和品牌色梗。此举旨在掌控开源生态,被视为下一代CUDA,以巩固其统治地...
-
2026 09 06 HackerNews
Anthropic团队利用Claude AI在11天内完成了费马大定理的完整计算机验证,生成了1300万行Lean代码,证明了29500个中间定理,展示了...
-
推理服务的缓存与调度:前缀、多级存储、集群路由
本文讨论长上下文推理服务的缓存与调度优化。核心原则是缓存未命中比命中贵几个数量级,因此设计围绕复用展开:单实例内通过块哈希实现前缀缓存;KV池采用writ...
-
显存账本:每张卡上住着什么,搬走付什么
本文介绍训练大模型时显存管理的通用记账方法。显存分为五类:权重、梯度、优化器状态、激活和通信缓冲。前三类由参数量和并行度决定,激活随输入长度增长,优化空间...
-
AI时代重审欧陆哲学:卡尔纳普语言手术刀再刺海德格
卡尔纳普的逻辑实证主义虽被视为失败,但其方法论已深入分析哲学。他反对“第一哲学”,主张以逻辑分析语言,影响深远。当代形而上学复兴实为技术化分支,非传统宏大...
-
看 NocoBase 的分支更新:AI 无代码平台进生产前,先把风险边界想清楚
NocoBase开源AI无代码平台更新,维护main、next、develop三分支,生产环境应用稳定版。文章强调AI无代码平台非黑盒,需关注配置导出、迁...