Hinbox

Inbox

Sender

Subject

Intro

Date

我想，万物的未来皆是谎言：我们该何去何从？

—Kyle Kingsbury 关于机器学习系统的长篇批判：从混沌动态学、信息生态学到心理危害，全面审视 ML 对社会文化的深远影响

黄仁勋访谈：英伟达的护城河能否持续？

—黄仁勋与 Dwarkesh Patel 深度对谈英伟达的护城河、TPU 竞争、对华芯片出口管制、AI 基础设施战略等核心议题

史蒂夫·乔布斯：失落的访谈

—1995年，科技记者鲍勃·克林利为制作《书呆子的胜利》纪录片对史蒂夫·乔布斯进行独家专访。原版母带遗失，16年后奇迹般找回。这份访谈展现了乔布斯的深度思考、敏锐洞察和领袖魅力，回顾了他的创业历程、被逐出苹果的经历，以及对科技行业的深刻洞察。

Rosetta Reports

范畴论图解：类型

—在范畴论语境下，“类型”不仅是编程中的基础构件，更指向一种深刻的数学基础理论。本文从习以为常的“集合”概念切入，揭示了这种直观思维潜藏的深层危机——罗素悖论。当试图定义“所有不包含自身的集合”时，朴素集合论便陷入了无法自洽的逻辑死循环。面对这一困境，数学界分化出两条路径：其一是以ZFC集合论为代表，通过增添诸多限制性公理来“打补丁”，代价是牺牲了集合论原本引以为傲的简单性；

Rosetta Reports

伯克利负责任去中心化智能中心：攻破顶级 AI 基准

—当前人工智能的繁荣，很大程度上建立在基准测试分数的飙升之上。然而，伯克利的一项最新研究打破了这一幻象。研究团队成功“攻破”了八个顶级AI智能体基准，揭示了一个令人不安的事实：模型无需真实推理，仅需利用评估流程的漏洞，便能轻松获得近乎完美的分数。本文详细拆解了这些“钻空子”的手段，直指行业评估体系的系统性缺陷。

Rosetta Reports

提示词缓存

—在大模型应用日益复杂的当下，API调用的成本与延迟成为开发者不可忽视的瓶颈。本文深入解析了Anthropic推出的“提示词缓存”机制，为这一痛点提供了切实的工程解法。该功能通过复用提示词的特定前缀，在保障零数据保留合规性的前提下，显著削减了长上下文、多轮对话及重复性任务的处理开销。文章不仅清晰对比了自动缓存与显式断点两种控制策略的适用边界，还详细拆解了其底层运转逻辑与阶梯式定价模型。

Aaron A. Sandel

野生黑猩猩群体分裂后的致命冲突

—人类战争的根源是文化驱动还是社会关系演变？Sandel 等人基于对乌干达 Ngogo 黑猩猩长达 30 年的追踪，揭示了非人类动物中首例确凿的“内战”。研究记录了一个大型群体如何经历社会网络断裂与空间隔离，最终分裂为两个阵营，并在随后七年间对曾经的同伴发动数十次致命突袭。这一发现有力挑战了“文化标志假说”，表明即使缺乏宗教、语言等文化建构，单纯的社会关系动态转变也足以催生群体暴力，将同族化为死敌。

NASA 如何打造 Artemis II 的容错计算机

—在距离地球25万英里的深空，计算机的任何一秒停机都意味着灾难。本文深入剖析了NASA为Artemis II任务打造的极端容错计算架构。与阿波罗时代依赖机电备份不同，猎户座飞船已由软件全面接管安全关键功能，这迫使NASA在可靠性设计上跨越了传统边界。文章详细揭示了系统如何突破常规三重冗余，采用八CPU并行与“故障静默”设计过滤辐射干扰，并依托时间触发以太网实现严苛的确定性同步。

Edsger W. Dijkstra

关于"自然语言编程"的愚蠢性

—自自动计算技术诞生之初，就有人认为编程需要像使用任何形式化符号体系那样保持严谨和准确是一种缺陷。他们指责机械的“奴隶”只会盲目地执行给定的指令，哪怕稍微动脑思考一下就会发现这些指令包含着显而易见的错误。“但须臾亦是漫长，思考实为痛楚。”（A.E. Housman语）。他们热切地期望并等待着更为聪明的机器，期待机器能够拒绝执行由轻微笔误所引发的无意义指令。

William P. Thurston

关于数学中的证明与进展

—Fields Medal得主William Thurston的经典文章，深入探讨数学理解的本质、证明的意义以及数学共同体中知识交流的方式，回应了'数学进步等同于证明定理'的狭隘观点。

Eric Zakariasson

为编码智能体优化开发环境

—当编码智能体接管日常开发工作时，开发者应如何为其铺设跑道？Eric Zakariasson 指出，前提是赋予智能体与人类员工同等的权限与工具访问权，这也促使开发者从逐行写代码转变为构建系统与定义标准。

Anthropic 的 Project Glasswing：限制 Claude Mythos 访问——我认为很有必要

—Anthropic近日推出模型Claude Mythos，却将其访问权严格限定于安全研究人员。本文剖析了这一审慎决策背后的现实：Mythos展现出远超前代的自主漏洞利用能力，能轻松串联复杂漏洞攻破主流操作系统。结合开源社区维护者的反馈，文章指出AI生成的安全报告已从“垃圾信息”演变为高质量的真实威胁浪潮。

Rosetta Reports

月球暗面之虫：阿波罗导航计算机中的一个隐藏 Bug

—阿波罗导航计算机的代码曾被无数人审查与模拟，被认为已无懈可击。然而，本文作者借助现代行为规约语言与AI工具，在这段历史代码中发现了一个隐藏的资源锁泄漏bug。仅仅缺失四字节指令，却可能在阿波罗11号任务中引发致命危机。文章推演了当迈克尔·柯林斯独自在月球背面时，一次意外的开关触碰如何导致陀螺仪系统无声假死，将宇航员置于难以决策的绝境。

勒布朗·詹姆斯与史蒂夫·纳什辩论MVP

—勒布朗与纳什深入讨论湖人三月13胜1负的表现、卢卡·东契奇的蜕变，以及SGA、约基奇、东契奇和文班亚马四位MVP候选人的技术特点与竞争格局。

谷歌AI的历史与未来：桑达尔·皮查伊对谈

—谷歌CEO桑达尔·皮查伊与Stripe联合创始人约翰·科里森对谈，回顾谷歌AI发展历程，解析1800亿美元资本支出计划，探讨量子计算、太空数据中心等长远押注，以及AI代理如何重塑企业工作流。

Rosetta Reports

一位密码工程师的量子计算时间表视角

—近期量子计算领域的突破性研究，正深刻动摇密码学界的传统预期。本文以一线工程师的视角，揭示了抗量子密码部署紧迫性的陡然升级。随着最新论文大幅下调破解现有加密体系的量子比特门槛，业界专家已将“量子威胁”的兑现时间表激进地前移至2029年。作者冷静指出，安全决策的核心不在于“威胁是否绝对发生”，而在于“能否确信它不会发生”。

—Han Lee的《The AI Great Leap Forward》以历史上的“大跃进”为隐喻，冷静剖析了当下企业界盲目的AI转型狂热。文章指出，自上而下的AI指令正催生出大量缺乏专业验证的“后院土高炉”式应用，它们看似精美却毫无价值，终将沦为沉重技术债务。同时，层层加码的虚假提效指标与强制性的采用率KPI，让古德哈特定律在组织内部大行其道。

Scott Wu & Russell Kaplan（受访） / Joe Lonsdale（主持）

AI 智能体与 12 倍生产力：Cognition 联创谈 Devin 与软件丰饶时代

—《美国乐观主义者》播客对话 Cognition 联合创始人 Scott Wu 与 Russell Kaplan：Devin 与 Windsurf、软件丰饶、工程师角色转变、政府遗留系统现代化、小微企业爆发与从「生存模式」到「创造模式」的展望。

OpenAI的Codex团队如何用Codex构建产品

—OpenAI Codex团队的产品负责人和开发者体验负责人首次揭秘团队日常运作：无需长篇需求文档，设计师写的代码比半年前的工程师还多，传统职业边界正在消融。

Sebastian Raschka

编码智能体的核心组件

—Sebastian Raschka的这篇文章深入剖析了编码智能体的设计逻辑。作者指出，Claude Code等工具的惊艳表现，并非仅源于底层大语言模型，更核心的秘密在于其外围的“智能体框架”。文章清晰界定了模型、推理模型与智能体系统的层级关系：模型是引擎，框架则是调度工具、管理记忆与上下文的控制循环。

马克·安德森反思浏览器的终结、OpenClaw与AI为何「这次真的不一样」

—马克·安德森回顾从Mosaic浏览器到a16z经历的平台更迭，分析当前AI浪潮为何’这次真的不一样’，探讨代理架构如何重塑Unix哲学、编程语言的终结以及体制惯性对AI落地的阻碍。

“被动收入”陷阱吞噬了一代创业者

—“被动收入”意识形态如何扭曲了一代创业者的工作观与金钱观

开放网络没有消亡，是我们亲手杀死了它

—关于开放网络的衰退，人们常归咎于科技巨头的垄断或AI的冲击。然而本文提供了一个冷峻的洞见：开放网络并非死于外部攻击，而是被我们主动交易掉的。平台真正的武器不是技术，而是“便利性”。为了短期的便利与流量，我们心甘情愿将社交图谱与数据交托给封闭的信息孤岛，并默许了“免费”背后的代价。

寻找史蒂夫·乔布斯

—苹果即将迎来50周年。David Pogue采访了150多位曾与乔布斯共事的人，试图理解这位集远见、暴戾、幽默与善良于一身的复杂天才。

机器没问题，我担心的是我们

—当人工智能全面渗透科研流程，学术训练的本质是否正在被悄然置换？本文以两位天体物理学博士生的经历为切入点，勾勒出一幅令人警惕的图景：传统训练的Alice与全程依赖AI代理的Bob，在现行量化评估体系下产出了“无差别”的学术成果。然而，这种指标上的对等掩盖了能力的深渊。Alice习得了独立思考的结构与可携带的手艺，Bob交付的则是剥离了认知过程的空壳产品。