HN 日报 · 2026-10-27

事实

• 对任意固定 k≥2，算法用多项式空间，时间约 2^(n/(log n)^(1/2+o(1)))。
• 论文自己说明：这种界不能在一般多项式归约下传递，所以不意味着所有 NP 问题都能亚指数解。
• 可直接受益的是能线性归约到 3-SAT 的问题，如计数独立集、计数着色。

解读

• 术语平讲：SETH（强指数时间假设）比 ETH 更强；之前「自注意力必须是平方复杂度」的证明依赖的是 SETH。
• 对产品：短期无影响，SAT 求解器在真实输入上本就远好于最坏情况。

讨论

• 共识SAT 专家称结果「天文级」，没有直接应用；关键是其思路会不会滚出别的突破。
• 反方有人追问 ETH 为假是否意味着自注意力能低于平方——回复：逻辑上推不出来。

事实

• TSP 让编辑器向「类型服务器」查询导入解析、计算类型、声明类型、期望类型等。
• basedpyright 维护者公开批评它；Astral 的 ty 类型检查器则表示会支持。
• 目前只是一份 md 文档加几百行 JSON schema 扩展消息，不是正式发布。

解读

• 相比 LSP 只返回给人看的字符串，TSP 给的是结构化类型——对 AI 编程工具读懂代码有用。
• 术语平讲：LSP＝编辑器和语言工具之间的通用接口，也是微软做的。

讨论

• 反方应该叫 Python Type Server Protocol，占用通用名称很怪；且还在用 UTF-16 位置编码。
• 反方微软赚钱方式就是锁定生态；pyright/pylance/basedpyright 的碎片化已经让跨 IDE 结果不一致。
• 正方标准化之后可以自带第三方类型检查器。

事实

• 64 位 Windows 没有 NTVDM，跑不了 16 位程序，所以只能从早期 NT 时代找。
• FREECELL.EXE 修改日期 1993-02-22，在最新 Win11 上无需改动即可运行。
• 作者继续在 Internet Archive 的 NT 3.1 预发布版里找更老的程序。

解读

• 向后兼容是平台的长期资产，用户的数据和习惯（比如空当接龙战绩）会跨十几年迁移。
• 有评论者修复 90 年代儿童 CD-ROM 游戏，发现 256 色调色板行为在 Win11 下已坏。

讨论

• 正方ODBC 管理器至今仍带着 Win3.0 / NT3.5 风格的 16 色图标对话框。
• 反方桌面 UI 在 Win95 时代就完美了，之后每一代「移动优先」都在变差。
• 反方34 年前的书照样能读——软件界对「无兼容」已经习以为常，这本身就值得反思。

事实

• 系列包括墨滴落纸写出「macro」、打印头喷墨、点阵生成、打印机打印自己的照片。
• 作者搭了专门的拍摄装置，并公开了搭建过程。
• 评论指出作品与 Nikon Small World 比赛有关；该比赛此前因获奖作品是 AI 生成而出过风波。

解读

• 在 AI 生成泛滥的时候，「过程可展示」（公开拍摄装置）成了证明真实的方法。
• 术语平讲：热泡式靠加热把墨水「沸腾」喷出，压电式靠振动挤出，后者能喷更多种液体。

讨论

• 反方有人第一眼认定是 AI 图——往下翻看到更多视频才信。
• 共识大家更关心的是：喷墨打印机这么多年还会堵头吗？

事实

• 64KB 要容纳 LISP 系统本身、运行时栈和 cons 单元池。
• 对比：1960 年 MIT 的 IBM 704 有 32K 个 36 位字的磁芯内存，LISP 占 12K 字，留给数据不到 2 万个 cons 单元。
• 该文 2025 年 7 月曾上过 HN，仅 4 条评论。

解读

• 对产品：在极端约束下决定「保留什么」，和今天做端侧小模型是同一类问题。
• 术语平讲：cons 单元＝LISP 里构成列表的最基本数据块。

讨论

事实

• 工具不直接给修复，而是像严厉导师一样连续发问，引导你自己找到「啊哈」时刻。
• 安装第一步是设置 Anthropic API key；README 图片和代码也明显由 AI 生成。
• 评论指出尼采本人在《偶像的黄昏》里批判苏格拉底辩证法，名字用得反了。

解读

• 「AI 不给答案」是一种产品形态：教育、编程训练、陪练都能用——难点是模型总忍不住给提示。
• 对 Afizzy：角色设定能改变互动方式，「严厉导师」本身就是一种可设计的人格。

讨论

• 反方前沿模型被训练得太讨好：要么问个难题马上附提示，要么直接说答案，很难真正「逼」人思考。
• 正方可以推广到费曼学习法：帮你调试的是心智模型，不只是代码。
• 反方「反 AI」的工具也用 AI，讽刺感拉满。

事实

• 冯·诺依曼（1903–1957）参与奠基的领域包括集合论、量子力学数学形式、算子代数、博弈论、期望效用理论、蒙特卡洛方法、存储程序计算机架构。
• 文章开篇引用 Teller 的悼词：多数人觉得思考是痛苦的，Johnny 享受它，甚至几乎只享受它。
• 布达佩斯 1900 年前后出了一批奇才：维格纳、泰勒、西拉德、埃尔德什等，被戏称「火星人」。

解读

• 评论里有人从书中「我们能在技术中幸存吗？」联想到软件业正在经历自己曾带给别的行业的颠覆。
• 推荐延伸阅读：《图灵的大教堂》、Labatut 的《MANIAC》。

讨论

• 正方多人推荐原书，说写得极好。
• 反方他过目不忘的传说很多可能被夸大了。

事实

• 起因：登录自己的测试博客时被 IIS 403 拦截，提示是「PHP 缓解措施」阻止了 multipart 请求——但他的站一行 PHP 都没有。
• PHP 可能来自控制面板、多年前装的 phpMyAdmin 或主机商的系统镜像。
• 作者感慨：AI 时代补丁和攻击都更频繁，几周就要处理一次。

解读

• 资产清点是安全第一步，老系统尤其如此。
• ColdFusion 仍由 Adobe 维护，并在往「AI 驱动、云原生」方向包装。

讨论

• 共识评论几乎都在怀旧：ColdFusion + IIS + PHP，像 1999 年的时间胶囊。

事实

• 据 Ember，2025 年全球太阳能发电已（微弱）超过核电；最近 12 个月领先 13%。
• 2026 年太阳能预计占全球电力约 10%，而核电自 1970 年代末一直是主力。
• 评论：欧洲折扣店卖 200–300 欧元的阳台光伏套件；美国屋顶光伏却常被报 3 万美元。

解读

• 成本曲线赢了：太阳能只需要好工厂，不需要复杂的现场基建和运维。
• 下一个关键是储能，电池也在类似的指数曲线上，大约晚十年。

讨论

• 正方波兰居民装光伏热情高到政府要出手降温。
• 反方太阳能只适合独栋、少灾害、自用的场景；夜晚和连续阴天仍需解决。
• 共识屋顶光伏和大型电站成本完全不同，后者才是规模效应所在。

事实

• 8.5 英寸 OLED（可选纳米纹理），峰值亮度是上一代两倍多；更薄更轻，支持防水防尘。
• A20 Pro 每个 GPU 核心带神经加速器，双 16 核神经引擎；1200 万像素横向前置摄像头。
• 评论称相比 6 月前价格上涨约 40%，起步仍是 128GB，刷新率仍是 60Hz。

解读

• 评论把涨价归咎于 AI 拉高的芯片和内存成本——AI 热潮正在推高消费硬件价格。
• iPhone 折叠屏内屏 7.6 英寸，iPad mini 8.5 英寸，手机和平板的尺寸在连成一条线。

讨论

• 反方非 Pro 产品还锁 60Hz，「世界五年前就往前走了」；还不支持旧款 Apple Pencil。
• 正方比起高刷，宁可要续航；普通用户根本察觉不到 60Hz 以上。
• 反方宁愿放弃整个 AI 产业换回便宜硬件——Apple TV 也从 129 美元涨到 299 美元。

事实

• ESP32-S3：双核 240MHz，带 WiFi 和 BLE，支持 128 位 SIMD 指令。
• 处理一帧 QVGA（320×240）约 6 毫秒；为此作者还写了一个简易寄存器分配器 basm。
• 评论指出：从 5.1 到 11.2 MP/s 是快 1.2 倍（提升 120%），不是 220%。

解读

• 端侧 AI/视觉的成本门槛在快速下降：完整开发板在速卖通约 5 美元。
• 术语平讲：SIMD＝一条指令同时处理多个数据；FAST＝一种快速找图像角点的算法。

讨论

• 正方这块芯片比 80 年代的家用电脑还强，能跑 Doom。
• 反方ESP32-S3 的 SIMD 很难用，且缺 32 位向量运算。
• 共识沁恒 CH32V407 价格相近，支持 RISC-V 向量扩展，可能更好用。

事实

• 帕斯卡临终前创办「五苏马车」，8 座马车、车身标明起终点。
• 班次间隔 7.5 到 15 分钟，乘客可以直接出门等车。
• 评论补充：这是一门真正的生意，帕斯卡投入大部分家产占六分之一股份，回报不错。

解读

• 产品启示：把昂贵的私有资源（养马车和马）变成人人可分时共享的服务，就是一个新市场。
• 「频率」是公共交通的核心产品指标，和今天的服务可用性一样。

讨论

• 反方陆地上可能是首创，但荷兰 1632 年就有固定线路的拖船（trekschuit）。
• 共识这张线路图今天的游客照样用得上——基础设施塑造人的生活，会自我强化。

事实

• 钻石表面用一层氢原子终止后，在表面几纳米内形成二维空穴气，实现 p 型导电。
• 这种方法不需要离子注入，避免了晶格缺陷，保留钻石的导热和耐击穿性能。
• 相关论文发表在 IEEE；公司同时推销钻石芯片基板和散热方案。

解读

• AI 芯片的瓶颈之一是散热，钻石导热最好——这才是近期的商业机会。
• 术语平讲：MOSFET＝最常见的晶体管类型；掺杂＝往半导体里加杂质改变导电性。

讨论

• 共识晶体管还要很多年甚至几十年；散热基板更可能先上市。
• 反方网站魔改滚动，体验差；也别再说什么「钻石时代」。

事实

• Pharo 是纯面向对象语言加实时开发环境：没有构造器、没有类型声明，语法能写在一张明信片上。
• 强调即时反馈和调试器：可在运行中重启方法、即时创建方法。
• 全栈 MIT 协议开源，托管在 GitHub。

解读

• 活的运行环境天然适合 agent 直接操纵程序，但训练数据太少是硬伤。
• 官网几乎不提自己是 Smalltalk——产品定位里刻意避开「老」标签。

讨论

• 正方AI 让人可以放心用喜欢的小众语言，缺库就让模型写一个。
• 反方AI 让人更不在乎语言了，这有点遗憾。
• 共识有人推荐 Cuis Smalltalk 和 Glamorous Toolkit 作为替代或补充。

事实

• 作者喜欢在纸上批注阅读，于是测试自己网站的打印效果，结果不理想。
• 解决方法是用 CSS 的打印媒体查询：隐藏导航、调整排版。
• 讽刺的是，有人打印这篇文章本身也出了 4 页、大片空白。

解读

• 产品角度：发票、门票、报告页做成可打印网页，能替代单独的 PDF 生成功能。
• Chrome 和 Firefox 的打印输出普遍差，屏幕上完美、纸上一团糟。

讨论

• 正方一开始就做成可打印，往往能直接消掉「下载 PDF」需求。
• 反方资源有限时，屏幕体验和无障碍更优先；网页本就是为导航而生，不是为打印。
• 反方不该在打印版里改默认字号和字体，那是用户设置的事。

事实

• fp 曾号称世界最小全画幅无反；FP2 保持像素数和超小机身，增加新功能。
• 同期发布号称最小的 50mm f/1.4 自动对焦镜头。
• 评论指出它缺少机身防抖（IBIS）和电子取景器。

解读

• 模块化核心机身 + 配件按场景扩展，是一种「少即是多」的产品思路。
• Sigma 被视为业内「最后的实验者」：不做和别人一样形状的相机。

讨论

• 正方fp L 小到能塞进腰包，适合风光摄影。
• 反方镜头的体积重量比机身更重要，为了小而牺牲防抖、取景器不值。
• 反方PetaPixel 网页卡到电脑都动不了。

事实

• 过去主流方案是 NGINX Prometheus Exporter，通常以 sidecar 容器部署，自带 Web 服务器。
• 作者认为监控端点本身逃过了监控（谁来监督监督者），于是做成原生模块。
• 项目已开源。

解读

• 评论认为 Nginx 不自带 Prometheus 导出，跟其开源核心 + 商业版的模式有关。
• 术语平讲：sidecar＝和主程序一起部署的辅助容器。

讨论

• 正方对做运维的人会很实用。
• 反方Prometheus 文本格式导出效率低；有人十几年前就写过类似模块。