Hacker News 日报

今天的榜单被一条突发消息占满：FAA 让全美机场停止起飞，一个国家的空中交通被按下暂停。之后是一篇到期的末日论文、LibreOffice 的一句反讽、AI 两天读完的哥德尔笔记、一千一百四十万美元失踪的显卡、学生打开一个 PPT 的十六次点击、Haskell 的技术愿景、一台平价合成器的社区固件、一份《拒绝 AI 垃圾宣言》，最后是一个做了六百次实验的世界模型。

00:09 FAA 全国停飞：一个国家的航班被按下暂停

01:48 1960 年的末日论文到期的那天

02:56 LibreOffice：一年 365 天都能用

03:35 AI 两天读完哥德尔的十六本笔记

04:34 一千一百四十万美元的显卡在公路上消失

05:26 学生打开一个 PPT 要点击十六次

06:18 Haskell 的技术愿景与它的老问题

06:48 FM-1 的网页工作台与社区固件

07:28 《拒绝 AI 垃圾宣言》

08:22 六百次实验之后的 JEPA 世界模型

原始标题：FAA issues national ground stop

中文简介：美东 11 月 13 日 15:54（北京时间 14 日凌晨 4:54），美国联邦航空管理局向全美机场发出全国停飞令，理由是“特殊情况、出于安全”，未作解释，只说恢复时间另行通知，入境国际航班逐个单独处理；当时有 4042 架飞往美国机场的航班在空中，华盛顿里根机场与芝加哥奥黑尔接近饱和。国土安全部长称起因是一次电信中断、暂无恶意迹象；CBS 消息源称管制员使用的私有通信网络更新后系统重启崩溃，该网络由 L3Harris 运营，公司未回应。HN 讨论集中在官方信息披露过少，以及这套老系统的改造预算。

内容链接：https://www.nbcnews.com/news/us-news/faa-orders-nationwide-ground-stop-departing-flights-reasons-safety-rcna609247

HN 社区讨论：https://news.ycombinator.com/item?id=50489641

原始标题：Doomsday: Friday, 13 November, A.D. 2026 (1960)

中文简介：1960 年《科学》杂志的论文《Doomsday: Friday, 13 November, A.D. 2026》（第一作者冯·福斯特）按当时人口数据外推，得出人口趋于无穷大的日期正是 2026 年 11 月 13 日。这一天到来，预言没有兑现。HN 讨论围绕外推式预测的局限、当下对人口下降的担忧，以及斯坦因定律。原文有付费墙，事实以论文题录与评论内容为据。

内容链接：https://www.science.org/doi/10.1126/science.132.3436.1291

HN 社区讨论：https://news.ycombinator.com/item?id=50482379

原始标题：LibreOffice actually works 365 days a year

中文简介：LibreOffice 官方 X 账号 11 月 13 日发帖“LibreOffice actually works 365 days a year”，获得约 120 万次浏览、7 万赞，背景是微软 365 服务连续出现故障。HN 讨论一半在谈每年向文档基金会捐款的习惯，一半在说本地版 Office 同样可用，而启动慢、界面旧、格式兼容性才是推广障碍。

内容链接：https://twitter.com/LibreOffice/status/2121205272479998268

HN 社区讨论：https://news.ycombinator.com/item?id=50486482

原始标题：AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

中文简介：《卫报》报道：赫尔辛基大学 Jan von Plato 自 2017 年起整理哥德尔 1940 年代初的 16 本笔记（1009 页，多为已废弃的加贝尔斯贝格速记），此前进度约每周一页；今年 9 月引入 Claude，两天内得到全文提要，称其中包含数百条不为人知的已证定理与 14 个未被继续的逻辑学主题。HN 讨论一是哥德尔作为完美主义者未必留下完整定理，二是 AI 并未对笔记的一致性与完备性作出判断。

内容链接：https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths

HN 社区讨论：https://news.ycombinator.com/item?id=50486748

原始标题：$11.4M in Nvidia hardware vanishes during shipment from CA to TX

中文简介：FreightWaves 报道：六托盘 NVIDIA 硬件据报价值 1140 万美元，8 月 29 日在奥克兰被一辆车身涂有食品运输公司标志的卡车提走，目的地德州 Fort Worth，中途多次长时间停留，最终在圣贝纳迪诺失去踪迹；奥克兰警方 9 月 13 日接到报案，尚未确认估值与货品，无人被捕。相关数据中心高价值货运被盗总额接近 1.11 亿美元。HN 讨论集中在为何不用专业安保物流，以及序列号与驱动回调能否追踪。

内容链接：https://www.freightwaves.com/news/11-4-million-in-nvidia-hardware-vanishes-during-shipment-from-california-to-texas

HN 社区讨论：https://news.ycombinator.com/item?id=50487864

原始标题：It Takes 16 Clicks for a Student to Open a PowerPoint on an iPad

中文简介：Reddit r/Teachers 帖子称学生在 iPad 上打开一个 PowerPoint 需点击 16 次，中间要过学校分发平台 Clever 与 Google 登录。HN 评论列举各自繁琐流程：交停车费 11 次点击、进开发环境 7 步登录、iPad 版 PowerPoint 曾整小时未保存改动；也有人质疑该帖是情绪贴、登录状态有缓存时 16 次只在首次成立，并指出问题更多出在学校所选的服务栈。

内容链接：https://www.reddit.com/r/Teachers/comments/1xuup7a/technology_sucks_it_literally_takes_16_clicks_for/

HN 社区讨论：https://news.ycombinator.com/item?id=50487522

原始标题：A technical vision for the Haskell ecosystem

中文简介：Haskell 基金会论坛发布《A technical vision for the Haskell ecosystem》。HN 讨论很快转向现实痛点：整机构建慢、构建目录达数十 GB（有人认为该聚焦增量构建）、运行时逐步调试能力不足，以及在 Rust 与 Lean 之间缺乏足够增量价值。

内容链接：https://discourse.haskell.org/t/a-technical-vision-for-the-haskell-ecosystem/15078

HN 社区讨论：https://news.ycombinator.com/item?id=50484235

原始标题：FM-1 Workbench

中文简介：M-Vave 为 FM-1 合成器提供网页版 Workbench，可在浏览器中编辑音色、试听并写回设备。HN 讨论焦点是社区自制固件的大量涌现（含律动类、生成式类，多配浏览器模拟器），有评论称这是“后大模型时代音乐硬件里少见的亮点”；同时列出缺点：无标准 DIN MIDI、内置电池难更换、内置风扇、外壳不够结实。

内容链接：https://open.m-vave.com/fm1-workbench

HN 社区讨论：https://news.ycombinator.com/item?id=50488325

原始标题：No AI Slop: A Manifesto

中文简介：《No AI Slop: A Manifesto》由 AIE Code Summit 2026 的讲者与参会者撰写，仿 2001 年敏捷宣言，提出五条价值（结果优于产出、理解优于速度、自己的思考优于模型初稿、更好的工作优于更省事的工作、改进系统优于修补输出），并把“垃圾”定义为生产者投入的力气少于要求读者理解所花的力气，强调生成成本趋零而审查成本不变。HN 讨论包括把提示词随 PR 提交，以及“和别人产出一样是否真糟糕”的反问。

内容链接：https://www.slopmanifesto.com/

HN 社区讨论：https://news.ycombinator.com/item?id=50488769

原始标题：After 600 experiments, here's what I discovered about JEPA world models

中文简介：作者在包含 LeCun 的团队发布的 JEPA 世界模型 LeWM 上做了约 600 次实验。JEPA 由编码器、预测器、规划器组成，在嵌入空间预测下一帧并搜索动作序列；在 Push-T 推块任务中，目标图像里的某个细节对成功率的影响大于把预测器换成物理模拟。HN 讨论把它类比为模型预测控制，并指出分层规划、子目标等已有研究，文章更像个人学习记录。

内容链接：https://haddyalchaer.com/jepa

HN 社区讨论：https://news.ycombinator.com/item?id=50487185

今天的条目从一台被订阅锁住的绣花机开始：有人自己把控制权拿了回来。之后是 Rust 的语言欠账、Anthropic 的上市路演、微软 365 的长时间中断、一个新命名的模型、一个能远程执行代码的漏洞、一场关于正确性的老争论、数据中心的电费账单、任天堂的批量下架，最后是一颗绕太阳两百八十年的天体。

00:13 绣花机的订阅锁被拆掉

01:07 Rust 1.100 稳定 Never 类型

02:03 Anthropic 上市与它的账本

02:49 微软 365 邮箱大范围中断

03:45 Gemini 4 Hydrogen 发布

04:37 Apache 的 HTTP/2 高危漏洞

05:42 写对的软件为什么这么难

06:37 数据中心电费落在谁头上

07:27 任天堂批量下架模拟器仓库

08:13 两百八十年一圈的新天体

原始标题：Show HN: My $300 embroidery machine needed a subscription, so I built my own app

中文简介：开发者买了一台 Brother Skitch PP1 绣花机，配套应用要按年订阅，于是他写了 ZigZag：一个 Rust 写的可视化绣花编辑器，能把矢量图转成针迹、导出 PES、DST、JEF 等格式，并通过蓝牙直连机器。作者说整个应用是让 AI 写的，蓝牙协议靠抓包逆向，README 里也写明还没在真机上跑过。

内容链接：https://github.com/simpsoka/zigzag

HN 社区讨论：https://news.ycombinator.com/item?id=50470488

原始标题：Rust 1.100

中文简介：Rust 1.100 稳定了讨论多年的 never 类型（写作感叹号），标准库里的 Infallible 成为它的别名；同时放出分配器接口的核心部分，让 Vec 和 Box 可以使用自定义分配器，并加入可显式取消的 DropGuard。Cargo 开始报告未使用的依赖，并支持设置依赖的最小发布年龄，cargo install 默认读取包内 lockfile。

内容链接：https://blog.rust-lang.org/2026/11/12/Rust-1.100.0/

HN 社区讨论：https://news.ycombinator.com/item?id=50472038

原始标题：Anthropic IPO

中文简介：Anthropic 启动上市路演：第三季度收入 170 亿美元，同比增长超过 12 倍；年付 10 万美元以上的客户超过 1.19 万家；调整后营业利润率 15%，但因估值上升带来 219 亿美元非现金计提，净亏损 233 亿美元。股票将在纳斯达克以 ANT 交易，11 月 18 日定价，19 日开始交易。

内容链接：https://ipo.anthropic.com/us/

HN 社区讨论：https://news.ycombinator.com/item?id=50465829

原始标题：Service degradation on Microsoft 365

中文简介：Exchange Online 邮箱在美洲及多个区域无法访问，微软状态页称受影响基础设施负载异常升高、核心进程被压垮导致服务器失去响应，团队改用另一种健康检查方式后部分服务器恢复服务并逐步推开。故障持续数小时，Teams 聊天和会议仍可用，同公司的云平台未见同类问题。

内容链接：https://status.cloud.microsoft/

HN 社区讨论：https://news.ycombinator.com/item?id=50471731

原始标题：Gemini 4 Hydrogen

中文简介：Google 发布 Gemini 4 Hydrogen，定位为面向日常编码与智能体流程的执行型中端模型：一百万 token 上下文统一计价，输入每百万 token 1.5 美元、输出 7.5 美元，提供四档思考深度。官方称其比上一代 Flash 快 2.5 倍，Terminal-Bench 4.1 得分从 18.2% 升到 57%，并在同一天推出 Antigravity 中可自动切换模型的调度器。

内容链接：https://blog.google/innovation-and-ai/models-and-research/gemini-models/introducing-gemini-4-hydrogen/

HN 社区讨论：https://news.ycombinator.com/item?id=50471431

原始标题：Critical RCE Vulnerability in Apache HTTP Server

中文简介：Apache HTTP Server 的 HTTP/2 模块在请求头处理函数中存在并发竞态，可造成堆内存破坏，未认证的远程攻击者能借此以 Web 服务进程权限执行任意命令。影响 2.4.55 至 2.4.70，修复版本为 2.4.71；漏洞由 Anthropic 与 Google Cloud 漏洞研究团队各自独立发现，披露时没有在野利用。

内容链接：https://www.wiz.io/blog/cve-2026-119618-rce-apache-http-server-vulnerability

HN 社区讨论：https://news.ycombinator.com/item?id=50462177

原始标题：Why writing correct software is hard and why math (alone) won’t help us (2016)

中文简介：这是一篇 2016 年演讲的扩展长文，作者从停机问题、可达性、莱斯定理一路讲到忙碌海狸函数，说明判断程序行为本质上不可计算、分析难度也没有上限，因此正确性无法被工具彻底消灭。文章针对的是“工具选对了，正确性就很便宜”这类说法，主张正确的代价像降低熵一样躲不掉。

内容链接：https://pron.github.io/posts/correctness-and-complexity

HN 社区讨论：https://news.ycombinator.com/item?id=50465352

原始标题：Data centers need power – lower income, rural residents pay the price

中文简介：康奈尔大学团队在《自然-能源》发表研究，分析美国四大电网 2020 至 2025 年的数据中心增长：2025 年相关基础设施支出约 82.5 亿美元，数据中心只承担 38%，其余 62% 由居民分摊；数据中心密集地区批发电价上涨约 10%，弗吉尼亚约 15%，旧金山湾区南部约 20%。研究同时给出收益：每吉瓦算力可带来约 1.5 万个就业。

内容链接：https://news.cornell.edu/stories/2026/11/data-centers-need-power-lower-income-rural-residents-pay-price

HN 社区讨论：https://news.ycombinator.com/item?id=50473231

原始标题：Nintendo Takes Down Emulators and Firmware in Massive GitHub DMCA Sweep

中文简介：任天堂向代码托管平台发出四份 DMCA 通知，指向 Switch 模拟器 Yuzu、Citron Neo 以及 Picofly 等 mod 芯片固件，其中与固件相关的 144 个仓库被移除并替换为下架通知。任天堂的理由是这些工具绕过了主机的技术保护措施。

内容链接：https://www.ign.com/articles/nintendo-takes-down-switch-emulators-and-mod-chip-firmware-in-massive-github-dmca-sweep

HN 社区讨论：https://news.ycombinator.com/item?id=50469994

原始标题：Dwarf planet candidate appears which takes roughly 280 years to orbit our sun

中文简介：天文学家在薇拉·鲁宾天文台的数据中找到 2026 ED138：距太阳约 46 个天文单位，轨道周期约 281 年，轨道面相对行星平面倾斜近 25 度。研究者还在 1937 年的旧底片中找到了它，使轨道可以被精确预测；它是否够大、能否归入矮行星，仍需后续测径。

内容链接：https://www.smithsonianmag.com/smart-news/astronomers-found-a-mysterious-object-orbiting-far-beyond-pluto-it-could-be-a-new-dwarf-planet-hidden-in-our-solar-system-180989857/

HN 社区讨论：https://news.ycombinator.com/item?id=50472490

今天的热榜从一批 AI 智能体找到的玛雅遗址说起，接着是《Python 之禅》作者去世、全由智能体写成的 AWS 本地模拟器、一次差点淹掉交易公司机房的误报烟感，以及电视厂商的十七个问题、八位机时代的像素搬运技巧、美联航对 AI 代订机票的禁令、工时与产出的老账、矿卡里被解锁的 A100，最后是 Firefox 的反指纹追踪进展。

00:13 AI 智能体重新发现玛雅遗址

01:14 《Python 之禅》作者去世

02:09 全智能体写成的 AWS 模拟器

03:11 误报烟感几乎淹掉机房

04:14 十七个问题问电视厂商

05:08 八位机的栈指针搬像素技巧

06:14 美联航禁 AI 智能体订票

07:09 产出涨了，工时为什么没降

08:10 电压毛刺解锁矿卡 A100

09:07 Firefox 反指纹追踪进展

原始标题：My AI agents found an unmapped Maya site

中文简介：作者用美国航天局的激光雷达数据，让自建的一批 AI 智能体逐幅查图，在墨西哥找到一处未进官方名录的玛雅遗址，山顶有平整广场、八到十二米高的金字塔和疑似水库。文章随后更新说，这处遗址在 2025 年的论文里已被测绘过，智能体查文献时漏掉了，所以更像重新发现。

内容链接：https://pietromiotti.com/latest/maya-site

HN 社区讨论：https://news.ycombinator.com/item?id=50452455

原始标题：Tim Peters has died

中文简介：Python 创始人 Guido van Rossum 在官方论坛宣布，Tim Peters 已于 2026 年 7 月 15 日去世，他是《Python 之禅》的作者。他早期说服 Python 支持整数与浮点混合运算，2002 年设计的 Timsort 排序算法后来被 Java 和安卓采用。

内容链接：https://discuss.python.org/t/in-memoriam-tim-peters-1952-2026/110028

HN 社区讨论：https://news.ycombinator.com/item?id=50450488

原始标题：AWS emulator

中文简介：亚马逊云科技发布可在本机运行的 AWS 服务模拟器，官方博文说代码百分之百由自主智能体编写，团队既没写也没审。做法是把 AWS 的接口模型当规范、真实云服务当参照，让三组智能体分别写测试、找缺陷、修缺陷，源码以 CC0 许可放出。

内容链接：https://github.com/aws/aws-emulator

HN 社区讨论：https://news.ycombinator.com/item?id=50456631

原始标题：A false smoke alarm almost drowned Jane Street's only NYC datacenter

中文简介：一位 Jane Street 系统工程师复盘 2012 年的事故：施工扬尘触发误报烟雾报警，报警联动关掉机房空调，他从纽约一号广场跑上三十三层逐个机柜拔电源，室温停在华氏一百四十三点六度，喷淋没有出水。事后他们保留喷淋、改了流程，并写了一个每分钟采集各机温度、异常即告警的监控。

内容链接：https://michael.bacarella.com/2026/11/10/false-smoke-alarm-jane-street-datacenter/

HN 社区讨论：https://news.ycombinator.com/item?id=50455394

原始标题：I asked every TV manufacturer 17 questions about how they spy on you

中文简介：记者向十一家电视与流媒体设备厂商发同一份十七题问卷，七家作答，海信完全没有回复，索尼、松下、Vizio 回避了具体问题。LG 称其自动内容识别只用音频指纹、不存截图，文章引用的大学研究则发现 Vizio 在用户选择退出后仍在发数据。

内容链接：https://www.theverge.com/tech/1012372/tv-privacy-acr-questions

HN 社区讨论：https://news.ycombinator.com/item?id=50453474

原始标题：A great old-timey game-programming hack (2013)

中文简介：作者翻出自己读大学时在八位游戏机上写的汇编：把二十八乘二十八的游戏瓦片拷进屏幕缓冲，他不逐行搬，而是把栈指针当成十六位索引寄存器，用一对带自增寻址的存取指令一次搬四个像素。文章逐条列出每条指令的周期，一行八十二个周期、整块两千八百九十三个周期。

内容链接：https://blog.moertel.com/posts/2013-12-14-great-old-timey-game-programming-hack.html

HN 社区讨论：https://news.ycombinator.com/item?id=50448921

原始标题：United Airlines bans AI agents from booking flights on behalf of travelers

中文简介：美联航更新订票与出票规则，禁止未经授权的第三方个人 AI 智能体替旅客订票，理由是共享凭据有泄露风险、智能体可能误购或乱改订单，代理值机也违反旅客须当面确认行李无违禁品的规定。西南航空反向操作，把航班库存开放给聊天机器人用户。

内容链接：https://www.cbsnews.com/news/united-airlines-bans-ai-agents-booking-flights/

HN 社区讨论：https://news.ycombinator.com/item?id=50458900

原始标题：Why are we still working this hard?

中文简介：作者用美国经济分析局的投入产出表算账：1973 年一个四十小时工作周的产出，今天大约十六小时就能完成，而写进法律的四十小时周从 1938 年至今没变。文章还讨论了他称为模型经济的部分，并注明写作过程使用了 Claude 模型。

内容链接：https://wilsoniumite.com/2026/11/11/why-are-we-still-working-this-hard/

HN 社区讨论：https://news.ycombinator.com/item?id=50457939

原始标题：Using voltage glitching to unleash the A100 in my mining card

中文简介：作者在自己那张矿卡上做电压故障注入，让 GA100 的熔丝可以被任意烧写，把八 GB 的 CMP 170HX 矿卡改成等效 A100-80G，解锁全部一百二十四个流处理器，实测半精度算力约为零售 A100 的 1.18 倍。文章说明这条路线建立在 Jon Pry 等人此前的公开研究上。

内容链接：https://blog.kate.land/posts/using-voltage-glitching-to-unlock-the-a100/

HN 社区讨论：https://news.ycombinator.com/item?id=50451903

原始标题：Open research, stronger privacy: Making Firefox users harder to fingerprint

中文简介：Mozilla 宣布 Firefox 145 上线第二阶段反指纹追踪防护，依据是对全球真实浏览器指纹的大规模分析，官方称可被识别为唯一的用户比例因此减少近一半。这些防护先在隐私浏览和严格追踪保护模式下生效，再推进到默认开启。

内容链接：https://blog.mozilla.org/security/2026/11/10/open-research-stronger-privacy-making-firefox-users-harder-to-fingerprint/

HN 社区讨论：https://news.ycombinator.com/item?id=50452742

今天的热榜从一批差点被注销的域名说起，接着是断网也要能用的智能家居、AI 给 Signal 加密代码做的数学证明、一场围绕开源驱动的专利冲突，以及丰田用限速 25 英里的小卡车试探美国市场。最后两条，一条是开发者平台 Val Town 的关停，一条是对 AI 找漏洞效率的复盘。

原始标题：.name Grandfathered

中文简介：域名注册管理机构 Verisign 撤回了终止约两万二千个三级 .name 域名及邮件转发的计划。新注册仍会关闭，但现有域名可以继续续费，邮件转发也能无限期保留。博主 Neil Fraser 记录了这场持续数月、需要向 ICANN 提交正式复议请求的维权过程。

内容链接：https://neil.fraser.name/news/2026/11/10/

HN 社区讨论：https://news.ycombinator.com/item?id=50442736

原始标题：Smart home devices should work without the internet

中文简介：作者 Spencer Kittleson 总结了十年家庭自动化经验，第一条规则是家里任何核心功能都不能依赖厂商服务器。他经历过 Google 关闭 Nest 接口导致集成失效，于是改用 Tasmota、MQTT、Node-RED 和树莓派做本地控制，并给出设备选型与网络隔离的具体做法。

内容链接：https://docodethatmatters.com/home-automation-overnight-success/

HN 社区讨论：https://news.ycombinator.com/item?id=50441707

原始标题：AlphaProof Code

中文简介：Google DeepMind 发布 AlphaProof Code，一个由多个模型组成的智能体框架，把形式化验证拆成“人定目标、AI 写证明”的流程。团队用四周时间把 Signal 协议的核心密码学实现翻译成 Lean，并证明编译后的代码满足关键安全属性；他们还把两个已修复的真实漏洞重新注入，系统都能证明该版本不安全。

内容链接：https://deepmind.google/blog/introducing-alphaproof-code/

HN 社区讨论：https://news.ycombinator.com/item?id=50439193

原始标题：Synaptics patent claims stop work on DisplayLink drivers

中文简介：苏格兰开发者 Mike Lothian 用 AI 辅助写了 Rust 驱动 Vino，想让 Synaptics 的 DisplayLink 扩展坞在 Linux 上稳定工作。Synaptics 法务没有提供技术帮助，而是发出专利侵权警告和停止函，附上 125 项专利清单，要求他撤回已提交到内核邮件列表的材料，并支付每周递增的费用。Lothian 最终下架仓库，Vino 不再提交上游。

内容链接：https://lwn.net/SubscriberLink/1102549/acbc92e00cee3a3f/

HN 社区讨论：https://news.ycombinator.com/item?id=50443824

原始标题：Scion is back and is going to sell a kei truck in America

中文简介：丰田宣布重启 Scion 品牌，首款产品 KEI-01 是一台 660 毫升排量、四驱、无级变速的 Kei 小卡车，本质上是换标的丰田 Pixis 与大发 Hijet。它按美国低速车辆标准认证，最高时速不到 25 英里，只能在限速 35 英里以下的道路行驶，载重 600 磅，货斗三面可放平。2027 年底先以车队试点方式小批量销售。

内容链接：https://www.theautopian.com/scion-is-back-and-its-going-to-sell-a-freaking-kei-truck-in-america/

HN 社区讨论：https://news.ycombinator.com/item?id=50445401

原始标题：Val Town is winding down

中文简介：Val Town 创始人 Steve Krouse 宣布公司进入关停流程：11 月 10 日起停止新注册和套餐升级，12 月 10 日进入只读模式，2027 年 1 月 10 日全部服务下线，2 月 1 日开源代码。官方给出的原因是无法在云计算市场竞争，现有订阅继续免费，年付用户部分退款，并提供迁移指南。

内容链接：https://blog.val.town/winding-down

HN 社区讨论：https://news.ycombinator.com/item?id=50443427

原始标题：After 7 months, Glasswing overwelms maintainers with underwhelming findings

中文简介：漏洞情报公司 VulnCheck 追踪 Anthropic 的 Glasswing 项目七个月，统计出 442 个可归因于该项目的公开漏洞编号，只占今年全部编号的约 0.5%，其中仅两个出现在实际利用记录里。Anthropic 自己的账本记录了三万七千多条发现，公开七千多条，标记修复的只有两百一十七条；过去两个月新增近一万二千条发现，只多修了十五条。curl 维护者收到的三十四份已公开报告中，十九份被判定不是漏洞。

内容链接：https://www.vulncheck.com/blog/anthropic-glasswing-november-update

HN 社区讨论：https://news.ycombinator.com/item?id=50447074

今天的热榜有两条主线：模型能力继续上探，围绕它的信任成本也在上升。另有从车牌直达车门的攻击链、公共地理数据该不该收费的争论，以及一块让农田同时发电的品红色太阳能板。

原始标题：Claude Fable 5.2 and Mythos 5.2

中文简介：Anthropic 同时发布 Claude Fable 5.2 与 Mythos 5.2，称两者在编码、推理和视觉上超过上一代 Opus，输出更快、价格更低，并用费马大定理形式化和多代理造操作系统等演示展示长程任务能力。

内容链接：https://www.anthropic.com/claude-fable-and-mythos-5-2

HN 社区讨论：https://news.ycombinator.com/item?id=50429906

原始标题：Unlocking any car from X brand in most of the world

中文简介：安全研究者 Shubs 与 Sam Curry 从车牌号出发，经车架号、车主账户、写在代码里的身份系统管理员凭据和双因素绕过，最终能向澳大利亚、美国、加拿大的目标车辆发送解锁与启动指令。

内容链接：https://shubs.io/unlocking-any-car-from-x-brand-in-most-of-the-world/

HN 社区讨论：https://news.ycombinator.com/item?id=50419215

原始标题：I saw your HN comment

中文简介：开发者 Josh Strange 回顾自己多年来收到的技术社区读者来信，发现近两年几乎全变成 AI 定制的推销：先引用他写过的评论，再问一个看似真诚的开放问题，最后转向产品。

内容链接：https://joshstrange.com/2026/11/09/i-saw-your-hn-comment/

HN 社区讨论：https://news.ycombinator.com/item?id=50426582

原始标题：USPS now offers official ZIP Code boundary polygons

中文简介：美国邮政管理局推出官方邮编边界多边形数据，覆盖全国与属地、精确到五位邮编、约四万个多边形，按季度更新，采用年度订阅制。

内容链接：https://postalpro.usps.com/zcb

HN 社区讨论：https://news.ycombinator.com/item?id=50431058

原始标题：Payments Canada announces launch of Canada's Real-Time Rail (RTR) payment system

中文简介：加拿大正式上线全国实时支付轨道，参与机构可全天候实时清算与结算，采用可携带丰富信息的国际报文标准，并在上线首日强制部署集中反欺诈服务。

内容链接：https://www.payments.ca/canada-launches-real-time-rail-bringing-247-payment-infrastructure-national-economy

HN 社区讨论：https://news.ycombinator.com/item?id=50427362

原始标题：When will this stop? The Raspberry Pi 5 16GB SBC now sells for $385

中文简介：受内存涨价影响，树莓派 5 的 16GB 版本涨到 385 美元，单次上调 80 美元，计算模块同步涨价；这一型号发布不到两年，最初售价为 120 美元。

内容链接：https://www.cnx-software.com/2026/11/03/when-will-this-stop-the-raspberry-pi-5-16gb-sbc-now-sells-for-385/

HN 社区讨论：https://news.ycombinator.com/item?id=50428801

原始标题：KetchUp – Open-source SketchUp alternative built with Rust and WebGPU

中文简介：开源三维建模工具 KetchUp（新版更名 BenchUp）面向木工与家具设计，用 Rust 和 WebGPU 实现，可在浏览器或桌面运行，支持导入 SketchUp 模型与导出 OBJ。

内容链接：https://ketchup3d.github.io/app/

HN 社区讨论：https://news.ycombinator.com/item?id=50418176

原始标题：Magenta solar panels may be agrivoltaics' cleverest trick yet

中文简介：一项新研究测试了只吸收部分波长、透过大部分红光的半透明光伏板，在品红色光照下种植西兰花，产量与普通光照基本持平，同时仍可发电。

内容链接：https://www.anthropocenemagazine.org/2026/10/magenta-solar-panels-may-be-agrivoltaics-cleverest-trick-yet/

HN 社区讨论：https://news.ycombinator.com/item?id=50426175

今天的榜单被两类问题占满：编码代理的权限边界，以及被默认设置悄悄带出去的秘密。此外还有一条决定邮件能否送达的域名记录、一台伪装成冷柜的蜜罐、一次给视障用户续命的系统移植，以及星舰第一次尝试把箭与船一起接回来。

原始标题：Claude Code's "Don't Ask Again" exposes passwords in 1,122 public GitHub files

中文简介：研究者扫描 GitHub 上十万余份 Claude Code 本地权限配置文件，发现一千一百多份含真实密钥。根源是选择“是，别再问”后，整条命令连同密码被写进项目内的明文设置文件，而该文件常被一并提交，删除后仍留在历史与派生仓库中。

内容链接：https://apiiro.com/blog/coding-agents-leaking-secrets-github-dont-ask-again

HN 社区讨论：https://news.ycombinator.com/item?id=50407882

原始标题：Goldman Sachs is pulling Claude Code from its bankers and traders

中文简介：高盛十月更新内部指引，把 Claude Code 与 GitHub 编码代理只留给约一万二千名工程师，交易员与投行人员失去权限。此前七月其技术负责人还在称赞非技术员工用代理自建工具，再由工程团队打磨。

内容链接：https://www.thestateofai.com/news/goldman-sachs-claude-code-traders-bankers

HN 社区讨论：https://news.ycombinator.com/item?id=50415628

原始标题：Llama-modchip: 284B DeepSeek on 64GB RAM, no GPU

中文简介：一个开源项目用内核补丁与低比特量化，把总参数两千八百四十亿的 DeepSeek 稀疏专家模型压到约五十六吉字节，在六十四吉字节内存、无显卡的机器上运行。三百亿参数级别的模型也能在普通笔记本上跑到每秒数十个词元。

内容链接：https://github.com/synchopate/llama-modchip

HN 社区讨论：https://news.ycombinator.com/item?id=50411961

原始标题：Outlook.com Is Quietly Rejecting Email from Domains Without DMARC

中文简介：自十一月五日起，Outlook、Hotmail、Live 与 MSN 拒收没有 DMARC 记录的域名发来的部分邮件，退信称缺少认证记录。微软未发布公告，规则波及只发少量邮件的小型发送方；补一条策略为“不处置”的文本记录即可解决。

内容链接：https://mailroute.net/blog/outlook-rejecting-email-without-dmarc

HN 社区讨论：https://news.ycombinator.com/item?id=50416158

原始标题：Show HN: Coldframe, a honeypot that poses as a supermarket fridge controller

中文简介：这是一个只用 Python 标准库写成的蜜罐，伪装成两个主流品牌的超市冷柜控制器，连响应头顺序、旧版加密协议与自签证书都照抄，默认口令和已公开的漏洞路径都能走通。攻击者操作会被记录，但拿不到任何真实控制能力。

内容链接：https://github.com/hedgerow-dev/coldframe

HN 社区讨论：https://news.ycombinator.com/item?id=50406292

原始标题：Porting Android 16 to my blind mother's keypad phone

中文简介：作者为视障母亲购买的实体键盘无障碍手机系统陈旧、频繁卡顿，常用聊天软件在后台不断被杀。他最终把 Android 16 移植到这台按键机上，保留物理键盘与语音反馈，让母亲继续用熟悉的方式通话与收发消息。

内容链接：https://z1x.us/blog/four-hundred-bucks-of-e-waste

HN 社区讨论：https://news.ycombinator.com/item?id=50366821

原始标题：Clj.rs – a Clojure dialect implemented in Rust

中文简介：一个实验性的 Clojure 方言运行在 Rust 生态中，提供持久化数据结构、宿主宏系统与原生互操作，可编译也可解释执行，作者把它定位为“代理式编码”的运行时。项目已在包管理器发布，仍处于早期阶段。

内容链接：https://clj.rs/

HN 社区讨论：https://news.ycombinator.com/item?id=50366902

原始标题：Starship Flight 15 on 11/13 plans to catch both booster and ship

中文简介：星舰第十五次试飞最早于十一月十三日进行，首次计划让超重助推器与飞船双双返回发射场被塔架捕获，成功后将是轨道级发射系统的首次完整回收。飞船将进入约两百七十五公里轨道、绕地球约十四圈，飞行超过二十二小时。

内容链接：https://www.spacex.com/launches/starship-flight-15

HN 社区讨论：https://news.ycombinator.com/item?id=50416471

今天的讨论从一块被抽出来的终端底座，到操作系统替我们推断的人际关系，再到一组被改动几行需求就露出原形的基准分数；技术选择的代价，往往藏在看不见的地方。

原始标题：Libghostty 1.0

中文简介：Ghostty 作者把终端内核抽成可移植的 C 库 libghostty-vt，1.0 版本让库本身和 C ABI 同时稳定下来。JetBrains 全系 IDE 的终端已切到它，Neovim 也批准了替换旧终端库的改动，终端仿真第一次成了可复用的公共底座。

内容链接：https://mitchellh.com/writing/libghostty-1-0

HN 社区讨论：https://news.ycombinator.com/item?id=50399933

原始标题：What I run on my $10 USD OpenStick homelab

中文简介：作者用一块十美元买来的 OpenStick 4G 上网棒做家庭服务器：四个 1GHz 的 ARM 核心、512MB 内存、4GB 闪存，装上 Debian 和 Podman 就能跑容器。上面跑着 DNS 广告过滤、资源监控、容器日志界面，以及空闲只占 3MB 的智能体框架。

内容链接：https://blog.bosscher.ch/posts/openstick/

HN 社区讨论：https://news.ycombinator.com/item?id=50406670

原始标题：Every Mac comes with an (undocumented) family member classifier

中文简介：安全研究团队拆解了 macOS 自带的两后台进程：它们把通讯录、照片人脸、日历、位置等拼成一张本地个人知识图谱，主图有 181 类实体、278 种关系。家人关系不是用户填的，而是两个分类器用 144 个特征每天重算，输出伴侣、父母、子女等置信度。

内容链接：https://8rank.ai/game/apple-intelligence-personal-knowledge-graph

HN 社区讨论：https://news.ycombinator.com/item?id=50403097

原始标题：Need for Speed Underground 2 online in the browser

中文简介：开发者用静态重编译把 2004 年的《极品飞车：地下狂飙 2》搬进浏览器：先把 x86 机器码翻译成 C，再编译成网页可运行的代码。成品支持宽屏 120 帧、自由漫游和联机比赛，也把老游戏的授权灰色地带重新摆上台面。

内容链接：https://nfsu2.xyz/

HN 社区讨论：https://news.ycombinator.com/item?id=50403052

原始标题：MaxxBench – "Nice DeepSWE score. But is it true?"

中文简介：新基准 MaxxBench 把编程基准的 89 个任务做小幅变异后重跑，参考补丁中位数只多 17 行。两个原本公开分数都在 74% 左右的模型，一个新版本上守住，另一个掉到 53.4%，说明分数可能只是在猜评测者想要什么。

内容链接：https://maxxbench.unlap.ai/research/why-maxxbench/

HN 社区讨论：https://news.ycombinator.com/item?id=50406222

原始标题：GitHub's new Git storage architecture

中文简介：GitHub 公布新存储架构 Rubicon：只有引用更新需要定序，存储、服务与仓库维护因此可以各自扩容，每个仓库映射到一组可重建的虚拟副本。内部测试做到单仓库 5000 个并发智能体、每秒 7200 次 push，开发者的用法不变。

内容链接：https://github.blog/engineering/architecture-optimization/inside-githubs-new-git-storage-architecture/

HN 社区讨论：https://news.ycombinator.com/item?id=50397099

原始标题：Asahi Linux Progress Linux 7.3

中文简介：Asahi Linux 的 Linux 7.3 周期进展：M3 系列转为正式支持，音频与 AVD 驱动进入上游，M4 Pro、M4 Max 和 M5 已能启动到命令行，M3 GPU 也能初始化并画出三角形。Thunderbolt 支持仍只覆盖 USB3、设备互联和网络。

内容链接：https://asahilinux.org/2026/11/progress-report-7-3/

HN 社区讨论：https://news.ycombinator.com/item?id=50401867

原始标题：The end of Microsoft Research's AI Frontiers group

中文简介：微软研究院 AI Frontiers 负责人宣布这个约五十人的团队结束：今年九月它被重组进微软 AI 部门，与新团队只做规模化的路线冲突。负责人安置成员后离开，并称研究成果看不到落地路径、做好工作就有好结果的隐性契约也已破裂。

内容链接：https://hunch.net/?p=13764006

HN 社区讨论：https://news.ycombinator.com/item?id=50406563

今天的讨论从一次看不见的身份泄露开始，延伸到设备认证、虚拟化边界和产品线的收缩；技术选择的代价，往往在几年后才显形。

原始标题：Claude Code sends your email address to websites

中文简介：有开发者在 Claude Code 的官方问题追踪页提交缺陷报告，指这款编程助手代替用户访问网页时，把账户邮箱写进了请求的 User-Agent 头，等于把用户身份主动交给任意第三方站点，他本人因此每天收到大量诈骗邮件。维护者在同一线程回应，称从 2.1.317 版起内置了默认开启的隐私模块，用确定性规则拦截这一行为。

内容链接：https://github.com/anthropics/claude-code/issues/107757

HN 社区讨论：https://news.ycombinator.com/item?id=50385272

原始标题：Tesla to wind down Cybertruck production

中文简介：马斯克在社交平台宣布，特斯拉将在 2027 年年中前后停止德州超级工厂的 Cybertruck 生产，腾出产能给新发布的无人出租车 Cybercab。这款车 2023 年上市，曾被说成福特、通用皮卡的未来对手，但销量长期低迷，2024 年约三万九千辆，远低于发布前设定的年销二十五万辆目标；棱角分明的不锈钢车身也过不了欧洲的行人碰撞法规。

内容链接：https://www.nbcnews.com/tech/tech-news/tesla-wind-cybertruck-production-years-poor-sales-markets-rcna607817

HN 社区讨论：https://news.ycombinator.com/item?id=50391456

原始标题：Gemini Omni 1.2 Flash

中文简介：谷歌 DeepMind 发布视频生成模型 Gemini Omni 1.2 Flash，原生支持最长十五秒片段，比上一代的十秒更长，并可按一秒步长指定三到十五秒；新增多轮对话式修改，可以只改背景、光线或画幅而不必整段重生成，同时加强对参考图、短运动片段和音频提示的一致性。价格下调三成，已在 Gemini API 与 Google Cloud 开放。

内容链接：https://blog.google/innovation-and-ai/technology/developers-tools/introducing-gemini-omni-1-2-flash/

HN 社区讨论：https://news.ycombinator.com/item?id=50392118

原始标题：Dutch 'idealist' bank ASN blocks non-Google Android, including GrapheneOS

中文简介：一个长期维护银行应用兼容性清单的开源项目，重新打开了荷兰 ASN 银行的条目：用户报告在 GrapheneOS 等非谷歌官方 Android 系统上，使用 iDEAL 与 Wero 付款会被直接拒绝，应用提示无法继续。银行把原因归于 Wero 的安全要求，即必须通过 Google Play Integrity 判定设备与应用是否完整；有用户逆向定位到银行自己的完整性校验代码，并发现令牌被发往银行自家服务器。

内容链接：https://github.com/PrivSec-dev/banking-apps-compat-report/issues/105

HN 社区讨论：https://news.ycombinator.com/item?id=50390124

原始标题：Firecracker VM Escape: PwnEscape Part 2

中文简介：安全团队公布针对 Firecracker 微虚拟机的利用链第二部分：借助第一部分取得的宿主机内存读写能力，在内存里找出二级页表根、反查页表定位 Firecracker 进程，再改写虚拟处理器线程从内核返回时保存的寄存器帧，让它在回到用户态后执行攻击者指定的调用，最终以最高权限在宿主机上执行代码，而虚拟机本身仍在运行、还能通过远程登录访问。对应漏洞编号 CVE-2026-99999。

内容链接：https://pwn.ai/blog/firecracker-escape

HN 社区讨论：https://news.ycombinator.com/item?id=50397219

原始标题：Blender's UI and Runtime: Much Faster Than GPUI

中文简介：一个个人项目把 Blender 的界面层，包括控件绘制、交互规则和外观，从主程序里剥离出来，做成以小型 C 核心为基础的独立界面库，提供 Python、Rust、JavaScript 与 React、Dear ImGui 和 C 的绑定，保留了四十多个原生 Blender 控件与编辑器。作者用同一份界面示例做基准，声称首帧渲染约四十毫秒，而对照的 Rust 界面框架要两百多毫秒，动画场景的帧率差距更大。

内容链接：https://github.com/ppmpreetham/BUI

HN 社区讨论：https://news.ycombinator.com/item?id=50389333

原始标题：Deus Ex

中文简介：一篇长篇游戏史文章回顾 2000 年的《杀出重围》，不认同“它预言了未来”“史上最重要游戏”这类流行说法，而是把它放回 Looking Glass 的沉浸式模拟传统：沃伦·斯佩克特做完《网络奇兵》后嫌《神偷》的路线太窄，带着“问题，而不是谜题”的设计口号，用约翰·罗梅罗给的三百万美元做出一个允许多种解法的世界。

内容链接：https://www.filfre.net/2026/11/deus-ex/

HN 社区讨论：https://news.ycombinator.com/item?id=50393758

十一月六日的热门讨论，一半在拆解我们日常依赖的东西为什么不牢靠：一段藏在标准库里的星号，让无口令账户放行了十年；一条自动化流水线，一次扫出近千条本地提权路径。另一半在讨论技术选择背后的代价：搜索引擎难逃先注册才能试用的门槛，桌面客户端开始甩掉网页技术栈，生成代码正在改变开源库的使用习惯。此外还有一份拆穿个性化推荐的文章，以及一个把微重力做成可订购服务的计划。

原始标题：sshole

中文简介：在 musl libc 上运行的 OpenSSH 从二〇一六年起存在口令认证绕过：musl 的 crypt 在输入超过二百五十六字节时返回一个星号作为错误标记，而无口令账户在影子文件里的口令字段恰好就是星号，两者比较相等，登录便被放行。攻击者只需知道一个口令字段为星号的账户名、机器上另有一个带正常哈希的账户，再发一条超长口令；Alpine Linux 的 3.16 到 3.24 以及滚动版本均受影响，官方已发布修复包并要求重启服务。

内容链接：https://sshhole.com

HN 社区讨论：https://news.ycombinator.com/item?id=50378228

原始标题：Search for everyone

中文简介：Kagi 宣布取消注册门槛，任何人打开首页就能直接搜索，未登录可用五十次，注册后再加一百次；官方说明自己不投广告，一直靠口碑传播，过去朋友想试用必须先注册，是推广上的障碍。同一份更新日志还列出助手、翻译、新闻与各端客户端的修复，以及对谷歌自二〇二七年起对校园账号默认关闭人工智能工具的评论。

内容链接：https://kagi.com/changelog#11820

HN 社区讨论：https://news.ycombinator.com/item?id=50383740

原始标题：A thousand fewer paths to root

中文简介：OpenAI 的安全团队公开一条漏洞挖掘流水线：在受控环境里扫描 Linux 内核，得到两千三百零八条候选问题，动态复现其中一千七百二十四个，并生成九百四十八个可让普通本地用户拿到最高权限的利用程序；随后由人工复核，向内核维护者提交报告与候选补丁，并公布各阶段的接口开销。文章强调真正的瓶颈已从发现漏洞转移到复现、定级与验证。

内容链接：https://openai.com/index/a-thousand-fewer-paths-to-root/

HN 社区讨论：https://news.ycombinator.com/item?id=50372929

原始标题：Discord is ditching Electron and its new app uses less RAM

中文简介：Discord 首席技术官表示桌面客户端将整体改用 Rust，Electron 与 React Native 都会退出，移动端保留原生界面但与桌面共用 Rust 代码；他给出的一张截图显示 Windows 客户端只占用约二百九十兆内存，而现版本在加入多个服务器后常超过一千兆。完整切换没有时间表，但计划很快进入用户测试。

内容链接：https://www.theverge.com/news/1027379/discord-ditching-electron-web-app

HN 社区讨论：https://news.ycombinator.com/item?id=50378625

原始标题：The Lisp curse, now coming to your ecosystem

中文简介：作者借用 Lisp 诅咒——语言过于灵活，人人都自己造轮子，生态长不出共用库——推演如果大模型让生成代码比学习和集成现成库更便宜会发生什么：使用开源库的人减少，反馈与维护随之下滑；新库更难诞生，因为维护成本远高于生成一个只服务自己的模块；两个效应互相强化，开发会变成更孤独的工作。作者并不认同这个前提，但认为趋势会以意外的方式发生。

内容链接：https://javahippie.net/programming/llm/2026/03/05/the-lisp-curse-coming-to-your-ecosystem.html

HN 社区讨论：https://news.ycombinator.com/item?id=50349667

原始标题：I wish tech companies knew more about me

中文简介：作者逐条列举自己遭遇的推荐失败：刚买过的商品继续被推销，多年跳过带人声的电子乐却从未被识别，出差所在地覆盖了账号语言设置，点过一次三维打印广告后满屏树脂广告，银行向已经买过车险的客户继续推车险。结论是数据确实被大量收集和转卖，但个性化做得极差，既然如此不如真的把数据用起来。

内容链接：https://rakhim.exotext.com/i-wish-tech-companies-knew-more-about-me

HN 社区讨论：https://news.ycombinator.com/item?id=50378942

原始标题：Starfall – Affordable, routine access to microgravity

中文简介：SpaceX 公布 Starfall 服务：借助星舰的发射节奏，把一千公斤载荷、一千瓦供电的实验装置送入近地轨道，任务时长按客户需求定制，通过星链提供持续数据连接，面向生物医学、药物结晶与材料半导体制造。它主打的是数周连续微重力，而不是落塔或抛物线飞行的几十秒。

内容链接：https://www.spacex.com/starfall

HN 社区讨论：https://news.ycombinator.com/item?id=50373308

十一月五日的热门讨论，集中在人工智能如何改变软件的检查、定价与部署：一条被 AI 翻出的旧漏洞、一份付费也躲不开的训练条款、一台插电就掉速的笔记本，再加上一份改写芯片格局的财报、一个开放权重的三万亿参数模型、一颗仍在活动的火星峡谷、一段五十年前的分配器代码，以及一个能把终端写成动画的版本。

原始标题：AI is forcing us to pay off 40 years of technical debt

中文简介：PHP 在二〇二四年收到一份内存分配不足的崩溃报告，长期未修；今年安全公司 Calif 在 OpenAI 赞助下审计 PHP，研究员借助 AI 工具在两周内把它升级为可远程执行代码的严重漏洞，影响大量运行 WordPress 与 Drupal 的网站。PHP 基金会四名工程师用两个月完成补丁，赶在恶意利用出现前修复，文章据此讨论 AI 时代发现漏洞与修复漏洞之间的速度差。

内容链接：https://spectrum.ieee.org/ai-in-cybersecurity-php2shell-vulnerability

HN 社区讨论：https://news.ycombinator.com/item?id=50364336

原始标题：Tell HN: Gemini trains on chat history, even for subscribers (personal accounts)

中文简介：一位用户对照 Google 官方帮助文档指出：个人版 Gemini 订阅用户只要开启活动记录，保存的对话就可能被用于训练模型，想退出只能关闭聊天记录或改用临时会话；部分对话还会被人工审阅，官方同时警告不要输入机密信息。帖子附上了相关支持文档的原话，讨论集中在付费是否等于默认隐私保护。

内容链接：https://news.ycombinator.com/item?id=50363461

HN 社区讨论：https://news.ycombinator.com/item?id=50363461

原始标题：Nvidia RTX Spark encrypted firmware slows inference speed to 35% on Linux

中文简介：有人在微星的一款 RTX Spark 笔记本上安装原生 Linux，桌面与显卡加速可用，但插电后显卡被锁在约七百八十兆赫，而 Windows 下约为二千二百兆赫，原因是负责处理器与显卡功耗分配的控制器依赖加密的功耗表，只有 Windows 驱动能解密。同一模型在 Windows 下每秒约六十五个词元，原生 Linux 只有约十四个，拔电反而恢复正常。

内容链接：https://www.mindstudio.ai/blog/linux-nvidia-rtx-spark-laptop

HN 社区讨论：https://news.ycombinator.com/item?id=50362905

原始标题：AMD expects to outsell Intel in Q4 for the first time in history

中文简介：AMD 公布史上最高单季营收，数据中心业务接近翻倍，主要由 EPYC 服务器处理器与 Instinct MI455X 加速卡、Helios 整机柜系统拉动；公司预计下一季度营收约一百七十亿美元，高于 Intel 一百五十到一百六十亿美元的指引，若兑现将是历史上首次单季营收反超。个人电脑与游戏业务同比下滑，游戏芯片因主机厂减少采购降幅明显。

内容链接：https://www.tomshardware.com/pc-components/cpus/amd-expects-to-outsell-intel-in-q4-for-the-first-time-in-history-usd17b-guidance-would-exceed-intels-projections

HN 社区讨论：https://news.ycombinator.com/item?id=50367125

原始标题：Kimi K3.1 Pro model weights are out

中文简介：月之暗面发布开放权重的 Kimi K3.1 Pro：三万亿参数级别、原生多模态、一百万词元上下文，用稀疏注意力替换全注意力层以提升长上下文效率，主打编码、三维生成、金融研究与智能体任务。权重可下载，但采用自有许可证并对商业使用设有收入门槛。

内容链接：https://huggingface.co/moonshotai/Kimi-K3.1-Pro

HN 社区讨论：https://news.ycombinator.com/item?id=50366999

原始标题：Giant canyon on Mars is still tectonically active

中文简介：研究团队重新分析 InSight 在二〇二一年记录的远侧火星震，把震源定位到水手号峡谷，机制为深部地壳的走滑断层；应力方向与行星长期冷却、Tharsis 火山区负载和地表侵蚀卸载共同造成的古老断层活化相符。这提供了火星在没有板块构造的情况下仍能通过继承断层释放应力的直接地震学证据。

内容链接：https://lamont.columbia.edu/news/giant-canyon-mars-still-tectonically-active-today

HN 社区讨论：https://news.ycombinator.com/item?id=50360573

原始标题：The lost malloc()

中文简介：作者翻阅一九七三年 Unix 第四版源码，发现编译器工具使用一个从不释放的线性分配器，而内核里 Dennis Ritchie 写的 malloc 要求调用者传入内存区域，释放时还要传回对象大小。作者认为这种按区域分配、释放带大小的接口优于今天的 malloc 与 free，评论则围绕是否重复记账、多态场景下调用方是否知道大小展开。

内容链接：https://napcakes.nekoweb.org/posts/malloc/

HN 社区讨论：https://news.ycombinator.com/item?id=50362466

原始标题：Kitty 0.50

中文简介：kitty 发布 0.50，新增可停靠窗口、注销后恢复完整会话（含滚动缓冲，macOS 上状态加密存于钥匙串）、Wayland 触摸屏支持，以及着色器增强：新的光标拖尾、可由按键触发的着色器事件、动画淡入淡出与循环。评论还比较了它与 Ghostty 的性能，并讨论作者一贯强势的设计风格。

内容链接：https://sw.kovidgoyal.net/kitty/changelog/

HN 社区讨论：https://news.ycombinator.com/item?id=50362980