2
0Hacker News 日报
2026 年 7 月 12 日 · 来自 Hacker News 今日热门讨论
① 编程助手也搞"隐形消费"——Claude Code 的 token 黑洞
Systima 团队实测发现，Claude Code 在读取用户提示前就发送约 33,000 token 的系统提示和工具描述，是同类型开源工具 OpenCode 的 4.7 倍。这一隐形开销直接转化为账单上的真金白银，许多开发者投诉 Claude Code 的 token 用量跑得格外快。
② 菲尔兹奖得主也用 AI 写代码——陶哲轩的编程新体验
数学家陶哲轩用 AI 编程 agent 几小时就把 1999 年的 20 多个 Java 教学小应用全部移植到 JavaScript，agent 甚至还找出了原始代码中两处隐藏多年的 bug。他用"氛围编程"实现了一个搁置 27 年的相对论可视化工具，感慨 AI 让编码门槛前所未有地降低。
③ "我爱 AI，我恨胡扯"——一位技术人的清醒宣言
Comma.ai 创始人 George Hotz 发文：他对 AI 的技术前景极度乐观，但厌恶两种炒作——"窗口关闭了"的焦虑制造和"AI 接管一切"的科幻叙事。他认为前沿实验室封闭不开源的本质是害怕商品化，而不是安全担忧。
④ 数学函数也能出卖你——浏览器指纹识别的新维度
Scrapfly 团队发现 Chromium 148 中 `Math.tanh` 等函数因操作系统的数学库实现不同而输出结果差异，反机器人系统可借此判断用户的真实操作系统并验证 User-Agent 是否被篡改。这一发现开启了浏览器"数学指纹"这一全新识别维度。
⑤ 爱尔兰的电，被数据中心"吃"掉了近四分之一
2025 年爱尔兰数据中心的电力消耗再增 10%，已占全国电力的 23%。尽管都柏林周边已对新数据中心实施电网连接限制，年耗电量仍达到 7,663 GWh。这一趋势背后是 AI 算力扩张与小型国家电网容量之间的直接冲突。
⑥ "我要灭绝了"——程序员的侏罗纪时刻
资深程序员 Fabien Sanglard 以《侏罗纪公园》中停格动画大师被 CGI 取代的历史为引，探讨程序员对 AI 的焦虑。他认为最好的应对不是恐慌而是进化——从"手写每一行代码"转向"读懂代码和理解架构"，并给出了 LLM 时代的实用编程建议。
⑦ 当 AI 做数学，而人类不再能理解——谁在守护知识的底线？
一篇 arXiv 论文指出：AI 已开始产出真正的数学研究成果，但培养能验证和理解这些结果的人类数学家的管道正在削弱。作者主张将数学能力视为与半导体制造同等级的战略资产，并建议要求 AI 系统以可验证的形式化证明暴露其推理过程。
