一份写着半年净亏 807 亿美元的招股书、一篇说「指数时间假设」是假的 67 页论文，与一台 1992 年的 CD 播放器还在 Windows 11 上跑——Hacker News Top 20（2026 年 10 月 27 日）
汇总北京时间 2026 年 10 月 27 日 Hacker News 首页前 20 条，保留英文原标题、原文入口、中文要点与同一快照的讨论热度。
本文汇总北京时间 2026 年 10 月 27 日 08:07 观察到的 Hacker News 首页热门榜单前 20 条。
名次、点数、评论数与提交时间都取自同一次 topstories 快照，不随后续投票变化。
名次按 topstories 的返回顺序，和分数排序并不一致。
第 14 条 1440 分、1404 条评论，两样都是全榜第一，名次却是第 14。
第 2 条 147 分排第 2，紧跟在 247 分的第 1 条之后，也排在 43 分的第 3 条前面。
第 18 条 705 分、第 19 条 498 分、第 12 条 473 分，都比第 1 条高，名次都在它后面。
第 17 条 11 分、零评论，是全天最低，却排在第 17 位。
20 条里有 10 条提交于 10 月 27 日，是第 1、2、3、4、6、7、10、11、12、13 条。
5 条在 10 月 26 日（第 5、9、14、15、18 条），2 条在 10 月 24 日（第 16、19 条）。
2 条在 10 月 23 日（第 8、20 条），1 条在 10 月 25 日（第 17 条）。
快照时还没有评论的是第 17 条；第 8 条 6 条评论、第 16 条 7 条、第 6 条 8 条。这四条按短条目处理。
按题材分，AI 与研究 5 条（第 1、2、5、12、13 条），AI 产业与安全 4 条（第 6、11、14、18 条）。
系统与硬件 3 条（第 10、15、17 条），内容与创作 3 条（第 4、8、9 条）。
软件与网络 2 条（第 7、16 条），科学与健康 2 条（第 3、19 条），交通史 1 条（第 20 条）。
今天有一组是同一条消息的两个入口。
第 1 条是 OpenAI 的发布说明，第 2 条是它下面那篇 67 页论文本身。
只看发布说明，读者只能知道「他们宣布了三件事」；要判断分量，得看论文摘要给的是什么时间上界。
第二组在谈钱怎么花、谁来省：第 12 条把新模型定到前代一半的价格，第 4 条把绿幕抠像做成一次买断而不是订阅，第 14 条把算力支出与亏损一起摊在招股书里。
与频道历史的关系有两处。
第 14 条与 9 月 29 日那期是同一份招股书的不同阶段：那期按 Reuters 的摘要写，这次直接指向 10 月 26 日提交给 SEC 的原文，所以这里补的是原文里能核对的表，以及摘要里没有的上半年数据。
第 5 条的作者此前上过一次榜（9 月 30 日那期，写的不是这个题材的文章），同一个人、不同材料，要点不重复。
旧文回榜的有第 3 条（2016 年的文章）、第 20 条（2024 年 12 月），以及第 7 条（文档随 Pylance 2026.4.1 在 10 月 16 日同步）、第 11 条（仓库今年 2 月就建好）。
1. Working with academic communities to build scientific understanding
- 原文入口：Working with academic communities to build scientific understanding
- HN 讨论：50251344
- 提交者：jonluca（提交于 2026-10-27 05:35）
- 快照热度：247 points | 106 comments
- 原文日期：2026-10-26（页面标注）
- 中文要点：OpenAI 发布三项由自家模型产出的结果：调和分析的局部平滑猜想、计算复杂性的指数时间假设、量子场论里 QCD 与标准模型某个完备化的存在性。
三项用了三种不同的发布方式：数学结果直接公开模型产出，计算机科学结果另组外部合作组来解释、产出同时公开，物理结果交给外部小组决定何时公开材料。
合作有四条原则：透明（不签保密协议）、不索取学术署名、承认解释者写出的东西、参与自愿且无报酬、结论属于他们自己。
时间线在文中有据：ETH 的自然语言反证 10 月 16 日给出、17 日完成 Lean 形式化；局部平滑 10 月 18 日、19 日形式化；杨-米尔斯部分 9 月 9 日、QCD 9 月 18 日，等 10 月 16 日形式化完成才放出。
数学结果声称在任意维数证明了局部平滑猜想，因而连带解决 Kakeya 猜想与 Stein 限制猜想，靠的是一套新的辅助偏微分方程。
ETH 那组的把关人正是 2001 年提出该假设的 Russell Impagliazzo 与 Ramamohan Paturi，加上 Ryan Williams。
此外有一笔 500 万美元捐给西蒙斯基金会，由基金会分配，用于办工作坊帮研究者理解 AI 产出的结果。
讨论焦点：106 条里最集中的一条是「标题把真正的新闻埋了」，即指数时间假设为假；有人追问这更接近 P=NP 了吗，回复普遍说不能这样推。
第二类怀疑合作动机，说整篇最实质的动作是那 500 万美元，有人干脆读成公关稿。
第三类在争发布策略本身，有人把它接到陶哲轩与 3Blue1Brown 最近那场关于 AI 数学的争论上读。
2. The Exponential Time Hypothesis Is False [pdf]
- 原文入口：The Exponential Time Hypothesis is False（PDF，67 页）
- HN 讨论：50251661
- 提交者：vok（提交于 2026-10-27 05:59）
- 快照热度：147 points | 62 comments
- 原文日期：2026-10-25（PDF 标注：10 月 17 日成稿，10 月 25 日修订）
- 中文要点：这就是第 1 条公告里那篇计算机科学结果的原稿，署名 OpenAI，67 页。
摘要给的结论：对任意固定 k≥2，存在确定性算法精确统计 k-CNF 公式的满足赋值数。
代价是时间 (n+m)^{O_k(1)}·2^{n/(log n)^{1/2+o(1)}} 与多项式空间，也就是次指数，而不是 2^{Ω(n)}。
ETH 说的正是 3-SAT 在最坏情况下需要 2^{Ω(n)} 时间，所以这条算法成立就等于推翻它。
论文自己划了边界：2^{o(n)} 的界在一般多项式归约下不传递（那需要 2^{n^{o(1)}}），所以这个结果不推出一般 NP 问题有次指数算法。
附录还列了推翻 ETH 的连带后果，以及一个更紧的精确计数上界。
讨论焦点：62 条里最多的一类是拿它和实际求解器对照，问这条结果对跑 SAT 的人今天有没有用，回复说这是最坏情况的上界。
第二类在反复纠正解读，引用论文那句「不推出 NP 次指数」；也有人指出它给的是 #SAT 而不只是判定问题，比标题看上去更强。
第三类在抱怨阅读门槛：算力和创造力都拿得出来，为什么不能顺手配一份能读的说明。
3. Just Imagining a Workout Can Make You Stronger
- 原文入口：Nautilus · Just Imagining a Workout Can Make You Stronger
- HN 讨论：50252457
- 提交者：prmph（提交于 2026-10-27 07:08）
- 快照热度：43 points | 19 comments
- 原文日期：2016-08-15（页面标注，2026-03-04 有修改）
- 中文要点：Nautilus 的一篇旧文，作者 Jim Davies 是卡尔顿大学认知科学研究所副教授。
机制是运动想象：想象动作与真做动作调用同一片运动皮层，区别只在于另有一路抑制信号把命令拦在肌肉之前。
文中列的证据之一：鲁特格斯心理学家 Robert Woolfolk 让人先想象把高尔夫球推进洞，想象过的人成功率高 30.4%。
最直接的是运动科学家 Guang Yue 的握力实验：只想象小指外展，力量涨 22%；真练涨 30%。
想象顶不上训练：一项元分析给出的单次最优时长是 20 分钟，短了长了都留不住效果。
讨论焦点：19 条里一类在找同类，飞行员把这种默演叫 chair flying，有人说写方案前也会先默演一遍。
第二类在怀疑可操作性，说没练过重物的人想象不出那个感觉，小指实验有效可能因为受试者知道该动哪块肌肉。
第三类举了钢琴的对照实验：上完课只默想的那组，最后进步更快。
4. CorridorKey 2.0
- 原文入口：CorridorKey 2.0
- HN 讨论：50251127
- 提交者：ravenical（提交于 2026-10-27 05:18）
- 快照热度：167 points | 51 comments
- 原文日期：日期未确认（产品页不标发布日；GitHub 仓库最后推送 2026-10-15）
- 中文要点：Corridor Digital 做的绿幕／蓝幕抠像工具，2.0 第一次做成插件：Resolve、Nuke、After Effects、Premiere、Blender 一套买断，不订阅。
它解决的是「去混色」：预测半透明前景本身的颜色，把幕布的颜色从边缘减掉，因此运动模糊、散景和头发能保住。
带时间感知：整段视频一起分析，不只按帧，用来消除压缩与噪声造成的边缘抖动。
可以用一张黑白图或一段视频当 alpha 提示，把不该抠掉的东西标出来。
硬件要求写在页面上：Windows 加 RTX 30 系以上（20 系仍在验证），4 GB 显存做到 1440p、6 GB 到 4K；Mac 要 M 系列，Intel Mac、Linux、AMD 暂不支持。
规模也有数：为《Son of a Dungeon》做过 400 多个镜头，那部片 11 月 7 日上线。
模型与推理代码另放在 GitHub，权重约 5 GB，底座是 NVIDIA C-RADIOv4-SO400M、微软 MoGe-2 ViT-B 与 Google DeepMind 的 RVM small。
仓库许可不是普通开源：主体是 CC BY-NC-SA 4.0 加附加条款，年收入超过 2000 万美元的机构要按席位买插件才能用。
讨论焦点：51 条里一类在算价格，有人说测试价 50 美元、正式价 100 美元，做任何视频的人都值得买。
第二类在挑限制：没有 Linux、没有 AMD，本地显卡弱的只能等托管版。
第三类在争许可，有人希望它彻底开源，也有人指出附加条款已禁止转售与托管推理，这是商业上说得通的选择。
5. Sebastian Raschka's from-scratch video course on building reasoning models
- 原文入口：Ahead of AI · Build Your Own Reasoning Model: A Full Video Course
- HN 讨论：50245138
- 提交者：sgiannopoulos（提交于 2026-10-26 23:11）
- 快照热度：523 points | 79 comments
- 原文日期：2026-10-24（页面标注）
- 中文要点：Sebastian Raschka 把《Build a Reasoning Model (From Scratch)》的配套课录成八集视频，合计 11 小时。
起点是一个预训练好的小号 Qwen3，之后全部用 Python 与 PyTorch 自己实现：评测、推理期扩展、强化学习、蒸馏。
前置只要求会 Python 与 PyTorch；前面的文本生成与评测例子 CPU 能跑，训练部分才需要 GPU。
作者给的类比是发动机：模型是发动机，推理模型是加了可验证奖励强化学习的发动机，智能体的 harness 是套在外面的传动与工具。
讨论焦点：79 条里一类是读者反馈，说讲得比书更容易入门；也有人反过来问，真要自己训模型的人看视频够不够。
第二类在争形式，有人说想懂原理不如看 90 分钟的概览课，想动手就得读代码。
第三类是纯打趣，说这类作者正在被两家实验室抢。
6. Cross-request KV cache exposure in the GLM-5.3 Workers AI model (155 responses)
- 原文入口：Cloudflare Blog · Cross-request KV cache exposure in the GLM-5.3 Workers AI model
- HN 讨论：50252159
- 提交者：wondersky（提交于 2026-10-27 06:41）
- 快照热度：38 points | 8 comments
- 原文日期：2026-10-26（页面标注）
- 中文要点：Cloudflare 披露一次跨租户串话：8 月 27 日到 9 月 9 日，用 GLM-5.3 的部分客户收到的回复里带着别人刚发过的内容。
受影响的是 155 条响应，全部来自超过 681,280 token 的超长提示。
两个原因叠在一起：上线时上下文窗口设成 1,048,576 token，但预填充 GPU 的 KV 缓存池只放得下 681,280 token，这个不匹配上线前就知道。
第二个在 SGLang 的分段预填充／解码模式：放不下的请求被标成拒绝、换成单 token 占位，解码节点却没收到错误，拿着上一轮残留的缓存页继续生成。
发现经过：9 月 8 日 Knostic 的 Gadi Evron 通过 HackerOne 报告，次日复现，宣布事故后 40 分钟内下线，当天恢复。
修法双管：把 KV 池调到约 204 万 token，约为上下文的两倍；同时在分片准入队列拦掉带拒绝标记的请求，并向上游提了 #38704。
排除自家测试与研究者复现后，请求的时间与体量都像正常的长上下文使用，没有发现有人刻意利用。
讨论焦点：8 条里被顶起来的说这份复盘写得比多数家好，肯认自己的测试为什么没抓到。
第二类在追问那算不算把 1,048,576 token 当卖点、实际只有 681,280 的空间；也有人怀疑自己见过别家的串话回复。
第三条提醒共享缓存的攻击面一直都在，只是大模型让它变得可见。
7. Type Server Protocol
- 原文入口：microsoft/pylance-release · Type Server Protocol
- HN 讨论：50248371
- 提交者：adamnemecek（提交于 2026-10-27 02:14）
- 快照热度：178 points | 133 comments
- 原文日期：2026-10-16（文档随 Pylance 2026.4.1 同步提交）
- 中文要点：微软 Pylance 仓库里的一份协议文档：类型服务器协议 TSP，基于 JSON-RPC，专门向类型服务器要 Python 的类型分析结果。
有状态：类型服务器维护整个工作区的类型状态，回答协议版本、快照、Python 搜索路径、导入解析与类型查询（计算类型、声明类型、期望类型）。
沿用 LSP 的形状（Position、Range，URI 当字符串），方法前缀统一是 typeServer/。
带版本号：0.1.0 一路到 0.4.1；0.x 期间次版本号变化可以是破坏性的，修订号才保证向后兼容。
0.4.1 加了多连接协商：初始化时双方都声明支持，才允许在主连接之外再开只读通道，目前支持的传输只有 ipc。
主连接仍负责初始化、文档同步与状态变更，额外通道只读。
讨论焦点：133 条里最集中的是命名，说它只服务 Python，却占了一个通用协议的名字。
第二类在问谁能用：basedpyright 的维护者已公开批评过这套协议，astral 家的 Ty 据称会支持。
第三类挑细节，有人说新协议本该顺手把 UTF-16 的旧账改掉。
8. A Printer Printing onto Paper
- 原文入口：macrofying on X · A printer printing onto paper
- HN 讨论：50204697
- 提交者：MrBuddyCasino（提交于 2026-10-23 13:01）
- 快照热度：31 points | 6 comments
- 原文日期：2026-10-21（帖子时间）
- 中文要点：一条微距视频：宏摄影师让喷墨打印头在纸上写「macro」两个词，镜头贴到墨滴落纸那一层。
画面依次给墨滴落点、喷嘴与针脚、印出来的点阵与手指的尺寸对比，最后是打印机打印自己的照片。
帖子到快照时有 57.71 万次播放；摄影师自己说明，为了让尺寸对比准确，他改过照片里的指纹。
讨论焦点：6 条里两条在怀疑真假，有人说墨滴不会那样积在纸上，看着像 AI 生成。
另一条补了来源，说这组素材出自今年的尼康小世界显微摄影比赛，并顺手贴了那场比赛此前被 AI 作品搅局的一条旧帖。
9. CSS-Tricks has a new owner
- 原文入口：CSS-Tricks · CSS-Tricks has a new owner!
- HN 讨论：50245831
- 提交者：edent（提交于 2026-10-26 23:51）
- 快照热度：365 points | 85 comments
- 原文日期：2026-10-26（页面标注）
- 中文要点：Geoff Graham 宣布按自己的名义接手 CSS-Tricks，站点重新独立；他在这个站已经写了 12 年。
时间线：Chris Coyier 2007 年创办，2022 年卖给 DigitalOcean，现在转回个人名下，他把它当成全职工作。
会变的部分：恢复卖广告与赞助、做一个面向初学者的 HTML/CSS 课程、newsletter 复刊、重开客座投稿入口。
节奏会放慢：多数周发一到两篇，作者说自己更适合做出版人而不是主笔，想把舞台留给别人。
收费方式写在明面上：会员、商店、广告、将来的课程；他先把「IPO 上市、身价万亿」写成玩笑，再老实说会很难。
讨论焦点：85 条里一类是怀旧，很多人说自己的前端入门就是从这个站开始的。
第二类在算这能不能活：教育内容与广告都在缩，独立出版很难，有人拿 curl 这类靠捐赠与商业支持的站点做参照。
第三类在质疑相关性，有人说 2026 年教人手动写 CSS，意义像是「PostScript 技巧」。
10. Oldest GUI application that still runs on Windows 11
- 原文入口：Enlyth · Oldest GUI application that still runs on Windows 11
- HN 讨论：50248055
- 提交者：enlyth（提交于 2026-10-27 01:56）
- 快照热度：250 points | 155 comments
- 原文日期：2026-10-26（页面标注）
- 中文要点：一个被反复追问的问题：Windows 11 上不打补丁、不用模拟器，能跑的最老图形界面程序是哪个。
64 位 Windows 没有 NTVDM，16 位程序直接出局，所以答案只能在早期 NT 时代里找。
目前的记录是 Build 347 里的 CDPLAYER.EXE，链接日期 1992 年 11 月 16 日，将近 34 年；它调用系统的 crtdll.dll，而 Win11 的 SysWOW64 里还留着这个库。
再往前不行：1991 年的版本用草案版 PE 格式，1992 年中的版本按 cdecl 约定调用系统 API，参数会被移除两次，于是崩。
更早的 FREECELL.EXE（1993 年 2 月 22 日）也能完整玩，作者算了一下，大约 33 年 8 个月。
作弊版也给了：用 otvdm 跑 Windows 1.01 里的 REVERSI.EXE（1985 年 11 月 15 日），能玩，但作者自己说这算作弊。
讨论焦点：155 条里一类在怀念界面，说桌面交互在 Windows 95 前后已经做对，之后一路退步。
第二类在报自己的例子：有人 90 年代写的 Win32 小工具至今原样在用，也有人问别的系统里还活着的旧二进制能有多老。
第三类拿「33 年 8 个月」这句打趣，说这样讲不留缓冲太伤人。
11. Nietzschian Debugger
- 原文入口：GitHub · nietzschian-debugger
- HN 讨论：50247493
- 提交者：dilawargopang（提交于 2026-10-27 01:25）
- 快照热度：118 points | 38 comments
- 原文日期：日期未确认（README 不标日期；仓库 2026-02-24 建立，最后推送 2026-10-11）
- 中文要点：一个自称「反 AI」的调试工具：把 bug 粘进去，它不给答案，只反问，直到你自己说出根因。
三个强度：socrates 温和引导、nietzsche 默认、zarathustra 充满敌意，分别面向入门、日常与想要痛感的高年资工程师。
「永远不给答案」是写进设计的硬规则；它也会读你给的源码路径，问的是针对你这份代码的问题。
实现上调用 Anthropic 的 API，要用户自带 key；发了 npm 包 0.1.0，也有 Python 3.10 起的源码装法，自带 121 个测试。
会话存在本地 .nietzschian/sessions/，结课时按假设检查、证据收集、根因速度给成长分。
讨论焦点：38 条里被顶起来的就是这个矛盾：反 AI 的工具要你填 Anthropic 的 key，README 里的尼采头像也是 AI 画的。
第二类在辩词义，有人说这里「AI」其实指「有问必答的助手」，反的是那种姿态而不是模型。
第三类挑名实，说尼采在《偶像的黄昏》里正是在攻击苏格拉底式的辩证，拿他命名一台提问机器有点反着来。
12. GPT-6.1 Terra
- 原文入口：OpenAI · Introducing GPT-6.1 Terra
- HN 讨论：50248124
- 提交者：meetpateltech（提交于 2026-10-27 02:01）
- 快照热度：473 points | 299 comments
- 原文日期：日期未确认（发布页不标日期，只写「从今天起」在 ChatGPT Work 与 Codex 开放）
- 中文要点：OpenAI 发布 GPT-6.1 Terra，把自己定位在「能大量跑电脑操作」那一档，而不是最聪明的。
标准 API 价格是每百万输入 token 1 美元、缓存输入 0.05 美元、输出 5 美元，比 GPT-5.6 Terra 与 GPT-6.1 Sol 都低一半。
官方成本账：Agents' Last Exam 上中等推理强度比 GPT-5.6 Terra 高 15 个百分点，成本约三分之一；与 GPT-6 Astra 打平，每 token 价格只有它的十分之一。
速度：完成任务比 GPT-6 Astra 与 GPT-6.1 Sol 都快三倍以上。
事实性：低推理强度下的错误率从 53.6% 降到 16.7%，最高强度降到 4.3%。
编码：Terminal-Bench 4.0 最高强度解出 50.3%，是 GPT-5.6 Terra 公布成绩 21.5% 的两倍多；最难的编码任务官方仍推荐 Sol 或 Astra。
安全：在自家 Preparedness 框架里达到网络安全「临界」门槛，并保留 Astra 那套防护。
讨论焦点：299 条里一类在拿价格曲线说事，说这是 GPT-5.6 Sol 到 GPT-6.1 Sol 那次降价的重复。
第二类在挑产品线混乱：Luna、Terra、Sol、Astra 四档叠在一起，说不清新模型该替代谁。
第三类直接质疑基准：曲线已经贴着轴走，Terminal-Bench 的成绩还不如更贵的 Sol 在低强度下的数字。
13. Show HN: Hob - Open-source, on device alternative to Claude Cowork and ChatGPT
- 原文入口：GitHub · FrigadeHQ/hob
- HN 讨论：50246238
- 提交者：pancomplex（提交于 2026-10-27 00:12）
- 快照热度：96 points | 23 comments
- 原文日期：2026-10-14（仓库创建时间）
- 中文要点：Frigade 开源的桌面 AI 客户端，MIT 许可，Mac、Windows、Linux 都有安装包。
定位是「在你自己电脑上跑开放权重模型」：装好之后自动挑一个跑得动的前沿开放模型并配好环境，离线可用。
用途写得具体：填 PDF 表单、处理文档、读表格；README 的截图是让它在项目里读一张销售表，按地区画收入。
技术上是 JS 客户端加本地权重，README 点名的模型是 Gemma、gpt-oss 这类开放权重。
讨论焦点：23 条里一类在提实用需求：能不能把模型目录放到别的分区、能不能接局域网里的 Ollama。
第二类在质疑技术选型，问这类工具为什么都做 JS 而不再做原生应用。
第三类在拿同类对比，有人提 LM Studio、Bionic，也有人说这类项目再多也值得点星。
14. Anthropic S-1
- 原文入口：SEC · Anthropic, PBC S-1
- HN 讨论：50242939
- 提交者：SiNTEx（提交于 2026-10-26 21:04）
- 快照热度：1440 points | 1404 comments
- 原文日期：2026-10-26（SEC 受理日）
- 中文要点：Anthropic, PBC 10 月 26 日向 SEC 提交 S-1，拟在纳斯达克全球精选市场上市，代码 ANT。
文件仍是「Subject to Completion」：发行股数与价格区间在原文里还是空白占位，承销商是高盛、摩根士丹利、摩根大通、花旗等。
收入：2023 年 4100 万美元，2024 年 3.86 亿，2025 年 45.85 亿；2026 年上半年 162.86 亿，比去年同期涨 1,300%。
净亏损：2023 年 15 亿、2024 年 83 亿、2025 年 420 亿，2026 年上半年 807 亿。
算力与基础设施支出：2025 年 73.26 亿，2026 年上半年 89.45 亿，是最大的一块运营支出。
调整后经营利润：2026 年上半年转正为 16.18 亿；经营利润率从 2025 年的 -176% 收窄到 -4%。
客户结构：年付 10 万美元以上的客户从 2025 年底约 1500 家涨到 2026 年 9 月 30 日的 1.19 万家，另有 1900 家年付 100 万美元以上、250 家 1000 万美元以上。
公司结构：特拉华州公益公司，设 A、E、F、N 与给董事的 T 等类别股；联合创始人各承诺把 80% 的个人股权捐给慈善，股价每比上一档涨 50% 就向公益基金多发最多 2% 股份。
讨论焦点：1404 条里被顶起来的一条是把整份文件喂给 Claude，让模型把公司复现一遍。
第二类在算数字：有人说收入每年加一个零太疯狂，也有人说半年亏 807 亿这件事比收入更该盯着看。
第三类在争时机与结构：有人把这当 AI 周期后段的信号，也有人问公益公司的使命怎么和股东回报对齐。
15. SIMD-accelerated computer vision on a $2 microcontroller
- 原文入口：shraiwi · SIMD-accelerated computer vision on a $2 microcontroller
- HN 讨论：50236681
- 提交者：zdw（提交于 2026-10-26 06:29）
- 快照热度：165 points | 51 comments
- 原文日期：日期未确认（博客单页不标日期）
- 中文要点：作者在 ESP32-S3 上用 128 位 SIMD 写了 FAST 角点检测器，QVGA（320×240）一帧约 6 毫秒。
这颗芯片是双核 240 MHz，带 WiFi 与蓝牙；技术参考手册里藏着一套有限的 SIMD 指令，此前公开示例只有三处。
实测吞吐从 5.1 MP/s 提到 11.2 MP/s，作者按 2.2 倍算，正文写成 220%。
过程中撞了三个限制：不支持非对齐读、只有 8 位有符号比较、所有 SIMD 算术都是饱和的。
第一个靠从相邻两个寄存器切片拼出东西两侧；第二个靠异或 0x80 把 [0,255] 线性映射到 [-128,127]，因为 x 减 128 等于 x 异或 0x80。
为了写这段汇编，他顺手写了个寄存器分配器 basm。
讨论焦点：51 条里的第一条是纠数学：5.1 到 11.2 是快 120%，不是 220%。
第二类在比硬件，有人说这颗芯片比 1980 年代的 Amstrad PC1512 还强，也有人贴出阿里上 ESP32-S3-Zero 板子 5.33 美元。
第三类在问可用性：只测角点，实际能检测到什么，大家想看带结果的对比图。
16. Native Prometheus Integration with Nginx
- 原文入口：Categorica · Native Prometheus integration with NGINX
- HN 讨论：50213502
- 提交者：foxhill（提交于 2026-10-24 02:38）
- 快照热度：27 points | 7 comments
- 原文日期：2026-10-16（页面标注）
- 中文要点：一家叫 Categorica 的公司把自己写的 NGINX Prometheus 统计模块开源。
动机写在开头：现有的官方 exporter 自带一个 Web 服务器，通常还要用 Docker 旁挂一个容器，于是「监控本身反而不被监控」。
这个模块编译进 NGINX，load_module 之后在 location 里写一行 prometheus_metrics，指标就在 /metrics 上暴露。
指标覆盖请求数、按状态码分组的响应、按方法分组、请求与响应字节、HTTP 版本、请求耗时直方图与连接状态。
前提：NGINX 源码、C99 编译器、PCRE/OpenSSL/zlib；不用源码编译的话，NGINX 必须带 --with-compat 与 --with-http_stub_status_module。
讨论焦点：7 条里只有两条，一条说这侧面说明 NGINX 的开放核心模式为什么一直不自己做指标；另一条说写反向代理的人已经换成 Rust 了，但这条对运维仍然有用。
17. LISPy things you can do in 64K bytes of core
- 原文入口：t3x.org · LISPy things you can do in 64K bytes of core
- HN 讨论：50231041
- 提交者：andsoitis（提交于 2026-10-25 20:53）
- 快照热度：11 points | 0 comments
- 原文日期：日期未确认（t3x.org 的连载页不标日期）
- 中文要点：一篇讲在 64K 内存里写 Lisp 的连载：64K 要同时装下系统、运行时栈与 cons 池。
参照物是 1960 年 MIT 的 IBM 704：32K 个 36 位字，合计约 118 万个铁氧体磁环，整机约 10 吨；Lisp 占 12K 字，剩不到 2 万个 cons。
1964 年的 PDP-1 Lisp 更小：4096 个 18 位字，系统自己占约 2000 字，剩约 2000 个 cons。
文中用的实现是 Kilo LISP，ANSI C（C89）写的可移植版本，能编成 tiny model 的 PCDOS 程序。
它的账：系统约 13K 字节，剩 8192 个 cons，每个 5 字节（16 位 car、16 位 cdr、3 位 tag 补齐到 8 位）。
速度对照：IBM 704 时钟 40 kHz，PDP-1 是 150 kHz。
讨论焦点：快照时还没有评论，社区反应还看不出来。
18. Microsoft offers mass buyouts for roughly a quarter of its workforce
- 原文入口：The Seattle Times · Microsoft offers mass buyouts for roughly a quarter of its workforce
- HN 讨论：50245524
- 提交者：doctorzook（提交于 2026-10-26 23:35）
- 快照热度：705 points | 615 comments
- 原文日期：2026-10-26（页面标注）
- 中文要点：微软向约 6 万名员工发自愿离职方案，约占其员工总数的四分之一。
范围是美国、加拿大、印度、英国的副总裁及以下级别，按所在地给标准补偿包，要在 12 月初之前决定。
首席人事官 Amy Coleman 的备忘录说，这是在今年早前的自愿退休计划上继续：那次面向 8700 多名美国员工，约三分之一接受。
参与的部门：游戏、Windows、Copilot、人事与财务全部参与；AI、法务与云部分参与；市场、商业业务与安全不参与。
背景：2025 年 5 月起已裁约 1.5 万人；公司说要层数更少、责任更清楚，同时资本开支随 AI 基础设施上涨，公司今年早些时候说 2025 年要在自研芯片与数据中心上花 1900 亿美元。
公司说这轮缩减不是因为 AI 替换了人，而是要淘汰过时岗位，员工总数这几年基本持平。
讨论焦点：615 条里一类在算这笔账：接不接，接了就得和一批同事同时进市场找工作，不接又要担心后面的裁员。
第二类在问细节，补偿按岗位与级别怎么分布，公司没说清。也有人说这套方案四月就宣布过，比直接裁人好。
第三类在判断性质，有人说这只是把人从内部竞争换成了外部竞争。
19. Birdwatching rewires the brain and slows cognitive decline
- 原文入口：BBC Future · Birdwatching rewires the brain and slows cognitive decline
- HN 讨论：50215997
- 提交者：cisc（提交于 2026-10-24 06:04）
- 快照热度：498 points | 193 comments
- 原文日期：2026-10-23（页面标注，2026-10-26 有更新）
- 中文要点：BBC Future 的文章，作者 Becca Warner，从英格兰西米德兰兹的一个失智症观鸟小组写起，组织方是 Age UK。
研究一侧是多伦多 Baycrest 的 Erik Wing：对比专家与新手的核磁共振，专家在注意、视觉知觉与识别相关区域连接不同，辨认不熟悉的鸟时更活跃。
关键限定：这不能证明脑结构差异是原因还是结果；Wing 的解读是这些区域可能有神经可塑性。
另一侧是德国艾希施泰特天主教大学的 Elisabeth Kals：在 65 家养老院的公共活动区外装喂鸟站，几周后住民的认知与情绪就有改善，一个月后观鸟比年龄与护理等级更能解释幸福度。
波兰一项 388 名观鸟者的研究给了个反直觉的结论：投入的兴趣比技术水平更能预测心理恢复感。
讨论焦点：193 条里被顶起来的一条在纠标题，说论文讲的是「结构重塑与功能调谐服务于专家表现」，离文章标题的因果还远。
第二类在提混杂因素：英国偏远地区的观鸟者多是富裕的退休者，认知下降本来就更慢，这类观察分不清因果。
第三类拿别的爱好对照，有人说业余无线电也是同一批人群、同样一直在学新东西，起作用的可能是持续学习而不是鸟。
20. Blaise Pascal invented fixed route public transport (2024)
- 原文入口：Human Transit · One of the Greatest Inventions in the History of Human Transport
- HN 讨论：50200152
- 提交者：skadamat（提交于 2026-10-23 03:52）
- 快照热度：257 points | 135 comments
- 原文日期：2024-12-31（页面标注，2026-10-22 有修改）
- 中文要点：Human Transit 的作者 Jarrett Walker 写的一篇考证：帕斯卡生命最后一年做的不是数学，是巴黎的固定线路公交。
方案叫 carrosses à cinq sols（五苏马车），八人马车，按可预测的间隔在多条互相连接的线路上跑，构成一张网。
班距 7.5 到 15 分钟，乘客不用看时刻表，出门等就行；主要问题是挤不上车，作者说这本身也算一种成功。
第一条线 1662 年 3 月 18 日开跑，整张网在 7 月投运，就在帕斯卡去世前。
作者从线路图里认出几条今天仍在用的原则：线路彼此远离、只在主要目的地汇合，尽量垂直交叉，需求均匀处走直线，另有一条环形线当轴线。
他留下的疑问是：为什么这么多线在西南的卢森堡宫附近汇合。他引法国研究者 Rémi Mathis 的推测，说第一条线串起了帕斯卡自己的住处、挚友 Roannez 与阿尔诺家族。
讨论焦点：135 条里的第一条是反例，说 1632 年荷兰的 trekschuit 已经是定线定班的客运，作者「陆地上没有先例」这句不成立。
第二类在延伸：有人想把匿名出行数据用起来重画线路，看现在的路网留了多少效率在桌上；也有人立刻说大多数城市做不到 7.5 分钟班距。
第三类在吐槽行文，有人嫌作者那句「没人生来就要专精」写得居高临下。
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.