Hacker News Digest
· 35 黑客新闻
我们在同一台机器上对 Claude Code 和 OpenCode 进行了实测，结果令人震惊：在用户输入任何内容前，Claude Code 竟先发送了约 33,000 个 token 的系统提示和工具架构，而 OpenCode 仅需 7,000 个。更糟糕的是，Claude Code 在会话中频繁重写缓存，导致缓存写入成本飙升。虽然 OpenCode 的基准开销更低，但 Claude Code…
从1999年开始，我就一直对用机器辅助数学教学充满兴趣，当时用Java 1.0写了不少Applet，但随着网页标准变迁，这些程序早已无法运行。最近，我尝试用现代AI编码助手将这些老代码迁移到JavaScript，结果仅用几小时就让它们重新焕发生机，甚至实现了图形升级。更惊喜的是，AI不仅修复了旧代码，还帮我实现了当年因复杂度太高而放弃的狭义相对论可视化项目。虽然LLM生成的代码可能存在小bug，…
- ▲ 304我爱 LLM，但痛恨过度炒作
我热爱 AI 的进步，从 hacking 到投身 AI 领域，我对新 LLM、自动驾驶和 coding agents 充满期待。上周我在本地 GLM-5.2 上运行 opencode，只需一句指令就能安装 tmux，Linux 桌面时代终于来了！但我讨厌两件事：一是制造焦虑的负面炒作，二是将 AI 神化为末日威胁的荒谬论调。AI 的发展源于摩尔定律和计算进步，而非少数实验室的垄断。编程正在改变，…
你以为浏览器的数学计算是通用的？大错特错。自 Chrome 148 起，Math.tanh 函数开始调用操作系统的底层数学库，导致 Linux、macOS 和 Windows 在计算相同数值时产生微小的位级差异。反机器人系统正是利用这些“最后一位”的比特差异，精准识别你的真实操作系统。哪怕你伪造了 User-Agent，只要 Math.tanh 返回的数值对不上，伪装就会瞬间穿帮。更复杂的是，C…
我坚持每周读一本书已多年，这并非天赋，而是刻意练习的结果。核心秘诀在于用阅读彻底替代刷手机的时间：删除 Instagram、YouTube 等应用，随身携带实体书或 ebook reader，利用通勤、做饭甚至遛狗的空隙阅读。不要害怕弃书，如果一本书让你感到无聊，果断放下，因为世界上好书有限。我习惯同时阅读多本书，混合 Fiction 与 Non-fiction，并利用 Goodreads 的…
- ▲ 188爱尔兰数据中心狂吞全国23%电力
爱尔兰的数据中心正在疯狂“吸血”，2025年用电量飙升10%，直接吞掉了全国23%的电力份额。即便Dublin地区对新建数据中心并网实施了近乎冻结的限制，这些巨型服务器农场的能耗依然逆势增长。数据显示，如今数据中心的耗电量不仅超过了城市家庭，更是农村家庭的两倍多。从2015年的5%一路狂飙至如今的23%，这种增长势头让当地电网不堪重负，甚至引发了民众抗议。面对能源危机，监管机构虽然解除了部分禁令…
1993年，Jurassic Park的上映让CGI彻底颠覆了电影特效，让stop-motion大师Phil Tippett感叹自己“感觉已灭绝”。如今，LLM的崛起让程序员们再次陷入被替代的焦虑。但正如zkmon所言，关键在于“顺势而为”。John Carmack也指出，编程的核心价值在于解决问题而非手写代码。面对LLM，我们不应拒绝，而应进化：学习其原理，掌握驾驭技巧，用`GEMINI.md…
- ▲ 146LARP：让创始人轻松造假营收的荒诞工具
LARP 是一个讽刺性的‘营收基础设施’，专为严肃的创始人设计。它通过让两位创始人互相转账 10,000 美元再转回，瞬间让双方账面上都增加 10,000 美元的营收，而实际资金流动为零。文章幽默地揭示了当前科技圈中类似 NVIDIA 与 OpenAI 之间复杂的资本循环现象，指出这些看似合法的‘双向交易’如何在法律框架下制造虚假繁荣。LARP 不仅是一个玩笑，更是对现代商业中‘营收即共识’这一…
想重温 C64、ZX Spectrum 或 Amstrad CPC 的经典时光？这个名为 Tiny Emulators 的项目简直是为怀旧玩家量身定做的宝藏。它直接在浏览器中实现了 Visual 6502、Visual Z80 等微型模拟器，无需任何插件或下载。从经典的 Boulderdash、Pacman 到 Prince of Persia，甚至包括 Robotron Z1013 等冷门机型…
我们终于把 Ploy 的生产级 AI 代理从 Claude Opus 切换到了 GPT-5.6 Sol。这次迁移带来了立竿见影的效果：构建速度提升了 2.2 倍，成本降低了 27%，且代码更精简。但过程绝非一帆风顺，我们发现评估框架本身往往偏向旧模型，导致新模型在初期被误判。更棘手的是，GPT-5.6 在工具调用和 Prompt caching 机制上与 Claude 存在巨大差异，比如它倾向于…
- ▲ 1012026 年，为何我们仍需亲手写代码
在 AI 能生成大部分代码的 2026 年，我依然坚持认为亲手写代码至关重要。我们真正的任务是构建‘软件工厂’，而不仅仅是产出软件。虽然 AI 代理能高效执行，但人类需要通过直接编写代码来深入理解系统架构，体验其脆弱性，从而避免‘Slop’（低质代码）的积累。英语无法精确表达计算逻辑，只有亲手调试和重构，才能发现测试策略的漏洞，优化算法性能。AI 更像新入职的实习生，而非编译器，人类不能将思考与…
- ▲ 90AI 能证数学，人类却不懂？
人工智能系统已开始产出真正的研究级数学成果，而美国却在削弱培养能理解这些系统的人类人才管道。文章指出，这种‘自动化却无理解’的趋势是一个战略错误。数学能力并非定理生产的副产品，而是需要几代人通过机构建设的基础设施，无法按需重建。作者以2026年5月AI推翻Erdős猜想为例，呼吁将数学能力视为与半导体能力同等重要的战略资产，并建议要求AI在关键推理中暴露其决策核心主张，以形式化、机器可验证的方式…
- ▲ 89我如何重新学会阅读
我是 Sam Kahn，曾以为阅读是通往成年的钥匙，却在青春期、职场和社交媒体中逐渐迷失。从中学的社交压力到成年后的焦虑，再到恋爱关系中的疏离感，阅读一度被视为“不合时宜”的怪癖。但当我意识到自己像酒精成瘾者一样被手机控制时，我决定重启阅读之旅。这段旅程不仅是找回文字的乐趣，更是对抗现代注意力碎片化的一场自我救赎。
六年前，我写下这份自学物理指南，初衷只是想把知识分享出去，没想到竟有超过六十万读者追随。从单亲妈妈到哲学教授，无数人因这份指南踏上探索宇宙奥秘的旅程。虽然我不是职业物理学家，但这份涵盖本科到研究生阶段的课程清单，已帮助许多人获得了学位甚至进入研究生院。这次更新版不仅修正了教材版本，还增加了更多选修课，只为回应大家纯粹的求知欲。记住，学习物理就像学习编程或乐器，无论将其作为爱好还是职业，理解宇宙带…
我在布鲁克林的仓库里，亲眼见证了一张纸变成了运行中的程序。没有显示器，没有键盘，整个房间就是计算机。这是由Omar Rizwan和Andrés Cuervo打造的Folk Computer，它源自Alan Kay在Xerox PARC的愿景，历经CDG和Dynamicland的传承。当整个科技圈都在追逐Agent和收敛的范式时，这些研究者却选择“对抗实用性”，因为一旦原型变得有用，就再也无法指向…
- ▲ 80大模型真的在推理，还是在装傻？
我们以为 Large Language Models 已经具备了人类般的逻辑推理能力，但事实可能并非如此。这篇文章深入探讨了 Large Language Models 的“推理”本质，质疑它们是否真的在思考，还是仅仅在模仿统计规律。作者指出，目前的 Large Language Models 在看似复杂的任务中，可能只是在利用训练数据中的模式进行概率预测，而非真正的因果推理。这一发现对 AI…
开车通勤不仅耗时，还贡献了全球 10% 的碳排放。Google Research 在 10 个美国大城市进行了一项大胆实验：通过微调 Google Maps 的算法，将不到 2% 的行程引导至替代路线，避开拥堵路段。结果显示，这一小步带来了显著的系统性收益：目标路段平均车速提升约 2%，燃油消耗降低 0.5% 至 1.0%，每年可为每个城市减少数千吨 CO2 排放。这项研究证明，无需昂贵的基建升…
早在公元前1158年，Deir el-Medina的工匠们就上演了人类历史上最早记录的大规模集体罢工。这些为Ramesses III建造陵墓的工人，因政府拖欠粮食配给而被迫集体停工。他们手持火把，从白天抗议到夜晚，甚至直接包围vizier的办公室，高喊“我们饿了”。这场罢工不仅揭示了古代埃及经济危机的真相，更展现了底层劳动者为了生存而团结抗争的勇气。从Sea Peoples入侵导致的粮食短缺，到…
- ▲ 572026年7月，大家都在忙什么？
我在2026年7月发起这次讨论，想了解大家目前正在专注的项目是什么，或者有什么新点子正在构思中。无论是什么领域，都欢迎分享你的最新动向。
这份清单横跨西方漫画、日本漫画和图像小说，带你穿越赛博朋克的视觉宇宙。从1975年启发Blade Runner的The Long Tomorrow，到定义废土美学的Akira，再到Shatter这部世界首部数字漫画，每一部作品都精准预言了今天的科技困境。无论是Masamune Shirow笔下New Port City的坦克警察，还是Scott Rockwell在The Playing Fiel…
我们基于 tldraw 无限画布 SDK 打造了 Agent Draw，让 AI 代理在你演讲时实时绘图。只需在画布上拖拽矩形并口述内容，AI 便会自动填充图形，支持多任务队列处理。从决策图到板球场景，不同模型展现出各异的创作风格。该工具利用 Cloudflare Worker 和 Mistral 语音转录技术，将语音指令转化为精准绘图，为演示和教学带来全新互动体验。
Rich Sutton 在最新文章中犀利指出，AI 研究正深陷“一步陷阱”。许多研究者误以为只需学会一步预测模型，就能通过迭代推演所有长期后果，仿佛拥有了物理定律般的模拟器。然而，只要一步预测存在微小误差，长期预测就会因误差累积而彻底崩塌，且计算复杂度呈指数级爆炸。这种看似诱人的“一步模型”在 POMDPs 和控制理论中广泛存在，实则毫无希望。Sutton 主张放弃这种幻想，转而利用 Optio…
你有没有想过，一份文档就能撬动数千亿美元的资本流动？Billion Dollar PDFs 项目收录了117份这样的“神级”文件，从 Satoshi Nakamoto 的比特币白皮书，到 Marc Andreessen 的“软件吞噬世界”，再到 Elon Musk 的特斯拉秘密计划。这些文档在关键时刻凝聚了行业共识，重塑了技术格局。无论是 Google 的 PageRank 算法，还是 Alex…
别再为搭建硬件平台头疼了！Kode Dot 专为创客、渗透测试者和极客打造，将 ESP32-P4 和 C5 双核 MCU、2.13 英寸 AMOLED 触摸屏、无线连接及丰富传感器集成于掌心大小。它开箱即用，无需组装，直接让你专注于代码创作。无论是通过 Arduino、PlatformIO 还是 Espressif 开发，你都能轻松接入 Wi-Fi、蓝牙、NFC 和红外功能。从游戏到工具，Kod…
几个月前，我入手了一块 Arduino Nano ESP32 开发板，突然对硬件产生了浓厚兴趣。虽然我只在十年前为一家 IoT 公司写过固件，但凭借多年的软件经验，我很快用 Arduino IDE 和 LLM 的辅助点亮了板载 LED。为了摆脱面包板的束缚，我决定设计并组装自己的 BME280 传感器模块。我选择了免费开源的 KiCad 进行原理图和 PCB 设计，深入研究了 datasheet…
我是开发者，今天开源了全球首个针对 MiniMax Sparse Attention 的高性能训练内核。虽然 DeepSeek、GLM 等前沿模型早已利用稀疏注意力加速推理，但高效的训练代码一直是个空白。我在 Spheron 的 H100 和 B200 上，基于 CuTeDSL 为 Hopper 和 Blackwell GPU 打造了这套方案。核心突破在于将 MLA 替换为 GQA，并引入 Bl…
本月我的读书俱乐部在读Ezra Klein和Derek Thompson的《Abundance》。书中核心观点是：住房、清洁能源等领域的瓶颈并非资源不足，而是审批流程像管道阀门一样层层叠加，导致吞吐量骤降。为了验证这个观点，我对比了Austin和San Francisco的住房数据。Austin自2015年清理审批障碍后，每千人年新增住房量是San Francisco的8倍。但模型预测在长期会失…
Zen Mode 是一个基于 Hammerspoon 的轻量级脚本，旨在帮你夺回注意力。只需按下快捷键，它就能让当前窗口平滑移至屏幕中央并拉伸至全高，同时让菜单栏、Dock 栏和壁纸瞬间隐入黑暗。与仅适用于特定编辑器的专注模式不同，它在终端、浏览器等任何 macOS 应用中都能通用。退出时，窗口会精准恢复原状，如同聚光灯般只照亮你的工作区。
软件架构研究正试图将开发焦点从琐碎的代码行转移到更宏观的组件与连接器结构上。然而，学术界对什么是 Architecture Description Languages (ADLs) 始终缺乏共识，甚至难以将其与形式化规约或编程语言区分开来。本文提出了一套全新的分类框架，明确定义了 ADL 必须显式建模组件、连接器及其配置，并提供工具支持。作者利用该框架对 Aesop、C2、Darwin、Wrig…
过去一年，我完全使用 Vanilla JavaScript 和 Web Components 构建了一款功能复杂的音乐教学平台 instruxmusic.com。面对 React、Angular、Vue 和 Svelte 等主流框架带来的构建步骤、TypeScript 依赖以及人为制造的复杂性，我选择回归原生。我认为浏览器引擎本身就是最强大的框架，它已经完美处理了缓存、表单和导航。我们发明了太多…
70、80、90年代的计算机革命曾让大众掌握计算力，但如今算力的增长反而削弱了我们的自主权。Ivan Illich早在1973年就提出，能量超过某个阈值后，边际效用会转为负值。就像汽车速度超过15英里/小时会加剧时间稀缺，计算机的无限加速也在制造新的不平等。英国对e-bike（EPAC）设定15英里/小时的限速，不仅保留了其作为自行车的法律地位，还实现了真正的社会进步。我们是否也该为计算机设定类…
Max Ghenis 用 QALYs 模型算了一笔账：MacKenzie Scott 自 2019 年以来捐赠的约 303 亿美元，在健康领域究竟换来了多少生命质量调整年？模型显示，在保守假设下，这些善款能带来约 7 万个 QALYs，但这一数字高度依赖于对证据可信度的判断。更扎心的是，若将这些资金投向全球健康前沿项目，其边际效益可能是当前投资组合的 1500 倍。文章揭示了慈善资金在医疗、教育…
Jim Henson's Creature Shop 在成立 63 年后，终于首次向公众敞开大门。这座位于 Queens 的传奇工坊，曾是 Sesame Street 角色和众多奇幻木偶的诞生地。游客不仅能参观充满历史感的 Muppet Mansion 接待台，还能在互动环节中亲手操作 Bob 等经典木偶。从华盛顿特区的 Sam and Friends 起步，到如今的 Long Island C…
大家通常以为 A* 算法只能在网格地图上跑，其实它是个通用图算法，搞定圆形障碍物路径规划完全不在话下。这篇文章详细拆解了如何将圆形障碍森林转化为图结构：通过计算圆与圆之间的公切线作为“冲浪边”，沿着圆周行走作为“贴边”，构建出独特的切线可见性图。文中不仅用几何公式推导了内部和外部公切线的生成方法，还演示了如何剔除被其他圆遮挡的无效路径。即使面对圆与圆相切或重叠的复杂情况，这套方案也能通过调整算法…
- ▲ 4想当亿万富翁？先别投简历
别再沉迷于 Scott Wu 的访谈视频空想致富了。当你还在麦当劳的夜班岗位上清理呕吐物时，真正的破局之道不是盲目投递简历，而是立刻联系那个你曾经讨厌的富豪同学 Rob。哪怕他把你拉黑，也要反复尝试，用一杯 $5 咖啡的邀约换取 15 分钟的指点。AI 时代就像全球变暖一样，迫使每个人直面“如何得到想要的”这个终极问题。答案不在于一步登天，而在于今天如何调整位置，让自己明天离目标更近一步。