Hinbox

Inbox

Sender

Subject

Intro

Date

我还属于科技行业吗？

—辞职那天，作者感到的是一阵释然，而不是惶恐。这篇坦诚的自述，记录了一位资深设计工程师如何被日渐蔓延的"AI 疲劳"和科技行业价值观的失落所吞噬。她并非反对技术本身，而是厌倦了一个加速运转却失去反思能力的系统：AI 未经同意地记录会议、代码未经审阅就批量合入、设计评审沉溺于生成式原型的视觉细节而忽略了真正的思考。更深层的，是她所信仰的那个进步、包容、以用户为本的科技行业，正在权力与资本面前节节后退。这篇文章没有给出简单的结论，而是提出了一

苹果下一任 CEO 必须推出一款杀手级 AI 产品

—Tim Cook 是出色的 CEO，但未能攻克 AI。打造杀手级 AI 产品将是 John Ternus 的头号任务

手机取代了黄铜塞子

—在爱丁堡郊外一个铁皮隧道里，作者每周三傍晚穿着不舒服的夹克趴在地上打靶。真正让他感到疲惫的并非射击本身，而是那套繁琐的计分仪式——用黄铜塞子一个个填补弹孔、借助测环尺判定环数。作为一名 iOS 工程师，他决定用手机摄像头和计算机视觉来终结这一切。

保护与超速：NYPD 警官累计 547 张超速罚单仍在岗

—纽约市警局一名警官在三年内累计收到 547 张超速罚单，却依然在岗执勤——这个数字本身就构成了一个令人不安的悖论。本文作者 J.K. Trotter 通过对交通摄像头罚单数据的追踪，还原了詹姆斯·乔瓦南蒂在斯塔滕岛上的危险驾驶模式：集中在学校周边的超速行为、重达近五千磅的皮卡车型、以及 NYPD 以"与工作无关"为由拒绝追责的态度。文章的核心张力在于：一个本应执行交通法规的执法者，却在系统性地违反它，而制度对此近乎默许。这不仅是个人行为

The Cognition Team

构建云智能体的经验教训

—Building cloud agents is difficult. We share some learnings from building Devin.

Lenny's Podcast

Anthropic 产品团队为何比所有人跑得都快：Claude Code 产品负责人 Cat Wu 专访

—Anthropic Claude Code 产品负责人 Cat Wu 深度分享：产品发布周期从数月压缩至数天、产品品味成为最核心技能、AI 时代产品经理的全新工作法则

Walden (@walden_yan)

多智能体系统实战：什么真正奏效

—Cognition 团队 10 个月前说不要构建多智能体，如今分享实际部署中真正有效的多智能体架构模式：多智能体提供智力支持、写入操作保持单线程

Kimi K2.6 技术博客：推进开源编程

—Kimi 团队发布了新一代开源模型 K2.6，在编码能力、长程执行与智能体集群方面均达到业界领先水平。这篇技术博客详细拆解了模型的核心设计思路与实测表现，其中最令人印象深刻的并非基准测试分数，而是 K2.6 在真实复杂工程任务中展现出的自主性与可靠性：它曾用 Zig 语言在 Mac 上从零优化 Qwen3.5-0.8B 的推理性能，历经四千余次工具调用和十多小时的持续迭代，最终将吞吐量提升至 193 tokens/秒；也曾自主重构一个已

图灵奖得主 Stonebraker 谈 Postgres、质疑 Google 与数据库未来

—图灵奖得主 Mike Stonebraker 回顾 Postgres 诞生历程，直言批评 Google MapReduce 与最终一致性，介绍 DBOS 项目，并指出大语言模型在企业级 Text-to-SQL 上表现极差。

Lenny's Podcast

一半产品经理将面临淘汰危机：AI 时代的职场生存指南

—前 Meta、Google 高管 Nikhyl Singhal 深度解析 AI 如何重塑产品管理职业：信息搬运工式技能正在贬值，建设者与具备判断力的人才将迎来黄金时代。访谈探讨了从业者如何借助 AI 工具提升竞争力、应对行业剧变的具体策略。

沉默的巨人——Ada 编程语言的设计哲学与深远影响

—深入探讨 Ada 编程语言的设计哲学及其对现代软件工程的深远影响

OpenClaw 五个月：Peter Steinberger 谈开源维护、安全与 AI 编程品味

—Peter Steinberger 在 AI Engineer 大会上分享 OpenClaw 发布五个月来的爆炸性增长、安全维护挑战，以及 AI 编程中的品味、智能体个性与未来愿景。

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

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

Artifacts：会说 Git 的版本化存储

—随着 AI Agent 生成的代码量呈现指数级增长，传统的源代码管理平台正面临根本性的挑战——它们为人类设计，却要应对不知疲倦、能同时并行处理多个任务的 Agent 所带来的十倍容量冲击。Cloudflare 的这篇技术文章提出了一个大胆的答案：Artifacts，一个"会说 Git 语言"的版本化文件系统。它并非简单地在现有 Git 之上加一层封装，而是从底层为 Agent 时代重新设计——你可以通过编程方式即时创建仓库、在任意 se

Lychee Technology

你的 AI 并不笨——它只是需要更好的缰绳

—当你的 AI Agent 在第十步突然崩溃、编造数据、输出乱码时，你很容易觉得是模型不够聪明。但这篇文章提出了一个更值得深思的诊断：问题不在马，而在缰绳。作者梳理了 AI 工程从 Prompt Engineering 到 Context Engineering、再到 Harness Engineering 的范式跃迁，指出对于长周期自主任务而言，核心瓶颈已不再是「提问方式」或「知识范围」，而是系统有没有为模型设计好一套可执行的约束框架。

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

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

Notion 的 Token Town：五次推倒重来、100+ 工具与软件工厂愿景

—Notion 联合创始人 Simon Last 与 AI 负责人 Sarah Sachs 揭秘自定义智能体背后的故事：从 2022 年启动到五次推倒重来，最终打造知识工作 AI 智能体的完整历程

AI 与生产率：重新审视劳动力培训与社会凝聚力

—人工智能正在以前所未有的速度重塑生产率与就业的关系，但它的真实影响远比“取代工作”的简单叙事更为复杂。本文作者 Philippe Tibi 指出，AI 更像一台放大器——为做好准备的人放大价值，为落伍者放大不平等。生产率提升的真实收益并未转化为闲暇，而是被重新投入到更多的工作中；与此同时，初级岗位正首当其冲地消失，年轻毕业生成为矿井中的金丝雀，传统专业知识传承链条面临断裂风险。文章沿着一条清晰的线索展开：从生产率到就业，从就业到企业组织

与智能体争论

—当一个语言模型无视你明确写下的规则，转而“感知”到你隐含的紧迫感时，你面对的不只是技术问题，而是一场关于沟通本质的碰撞。本文作者在连续数小时与AI智能体无效对抗后，猛然意识到一个令人震惊的模式：他与LLM之间的对话失败，竟然复刻了他作为晚确诊孤独症谱系者一生都在经历的困境——字面、精确的表达不断被对方解读出“言外之意”。作者将孤独症研究中“双重共情问题”的框架延伸至人机交互，指出现代AI模型经由RLHF训练，其“倾听”习惯天然偏向神经典

Guillaume Chillet

人脑是关键基础设施——但它没有防火墙

—这篇文章深刻揭示了当前信息防御范式的根本困境：法国首部反信息操纵战略仍将重心放在管控信息来源上，却遭遇法律、技术与心理层面的三重不可能。作者一针见血地指出，对抗叙事的底层逻辑无法解决公众的认知脆弱性——虚假信息留下的认知印迹，更正也无法抹除。真正的出路在于视角转换：从控制信息流转向强化判断力。剑桥大学的心理接种研究、瑞典心理防卫局的全民韧性实践，都指向一个更根本的概念——认知主权。这不是抽象的理论建构，而是每个人都可以训练和迁移的判断力

GLM-5.1：面向长程任务

—GLM-5.1 是智谱面向智能体工程推出的下一代旗舰模型，其核心突破不仅在于 SWE-Bench Pro 等基准测试上的领先成绩，更在于它重新定义了模型在长时间跨度内保持有效性的能力。此前的大模型——包括 GLM-5 本身——往往在初步取得进展后迅速陷入平台期，即便给予更多时间也无法持续改进。GLM-5.1 的设计目标恰恰是打破这一瓶颈。文章通过三个反馈结构化程度逐级递减的任务来展示这一能力：从 600 轮迭代将向量数据库 QPS 优化

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

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

Scott K. Johnson

在 ChatGPT 时代教书是一种痛苦

—当生成式AI让"交作业"变成"交仿制品"，大学课堂里真正失落的不是分数，而是学习本身。这篇文章的作者是一位兼职地球科学教师，他用"大规模杀伤性武器"来形容LLM给教育带来的冲击——不是因为它让作弊变得容易，而是因为它让教师的角色从传道授业者，变成了需要裁决256种灰色地带的侦探与检察官。文章最有力的地方在于那个叉车与举重室的类比：用AI写论文就像开着叉车进健身房，杠铃确实举起来了，但什么肌肉都没长出来。当形成性评估被LLM代劳，测验沦为

Peter Dizikes ｜ MIT News

生命琴键上的爵士

—米格尔·泽农是一位难以用单一标签定义的音乐家。这位格莱美获奖萨克斯手、麦克阿瑟天才奖得主，同时也是MIT的终身教授，其艺术生涯始终游走于多重维度之间：爵士与波多黎各传统音乐的融合，技术严谨与情感松弛的平衡，学院派智识与街头直觉的共振。本文讲述了泽农从圣胡安出发，经伯克利、纽约抵达MIT的人生轨迹，也揭示了他如何将音乐视为一种"让个人化而发自内心的东西，与智识化而深思熟虑的东西携手同行"的载体。无论是将游吟诗人的十行诗节改编为爵士四重奏，

Rosetta Reports

范畴论图解：类型

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