➡️
继续阅读
-
系统设计两种抽象：Java藏细节 TLA+砍细节 根本两码事！
本文区分系统设计中两种抽象：模块化抽象（如Java）通过隐藏内部细节简化使用，建模抽象（如TLA+）通过削减无关信息提炼核心以精确推理。前者隐藏并发，后者...
-
折叠屏iPhone领衔！苹果未来5年路线图曝光
苹果新任CEO约翰·特努斯上任，彭博社记者古尔曼爆料其2026-2029年产品路线图。2026年将推折叠屏iPhone Ultra、iPhone 18 P...
-
2026 09 06 HackerNews
2026-09-06 Hacker News Top Stories # Anthropic 团队用 Claude AI 在11天内完成了费马大...
-
推理服务的缓存与调度：前缀、多级存储、集群路由
本文讨论长上下文推理服务的缓存与调度优化。核心原则是缓存未命中比命中贵几个数量级，因此设计围绕复用展开：单实例内通过块哈希实现前缀缓存；KV池采用writ...
-
显存账本：每张卡上住着什么，搬走付什么
本文介绍训练大模型时显存管理的通用记账方法。显存分为五类：权重、梯度、优化器状态、激活和通信缓冲。前三类由参数量和并行度决定，激活随输入长度增长，优化空间...
-
AI时代重审欧陆哲学：卡尔纳普语言手术刀再杀海德格
卡尔纳普一刀砍死形而上学，结果砍了个寂寞？ 所有人都说逻辑实证主义是一场彻底的失败，但当代哲学家用的工具全是他们造的！ 哲学圈最近吵翻了一个老话题：一个叫...
