HN 日报 · 2026-10-28

事实

• 完整实现 Kitty 图形协议（含动画和相对定位），改进 SSH 集成，跨平台数百项修复。
• 安全修复包括：粘贴保护没把回车当换行，可能未经确认执行命令；恶意 Kitty 图形指令可能读删临时目录外文件。
• 发布说明强调全部由人工编写，耗时 16 小时以上；Ghostty 是非营利项目。

解读

• Mitchell Hashimoto 在评论区重点讲 libghostty：免费、轻量、可复用的终端模拟内核，KDE 开发者正用它做新前端。
• 把核心能力拆成可嵌入的库，是开源产品扩大影响力的常见打法。

讨论

• 正方终于有人既在乎又有能力把终端做好。
• 反方Kitty 的 hints 模式、搜索框不响应快捷键这些小功能，仍是不换的理由。
• 反方iTerm2 已经够快，看不出换的必要；也有人嫌 iTerm2 老弹更新、偶尔崩溃。

事实

• Phoronix 先发现，bret.dk 跟进解读；目前只有设备树文件，没有官方公告。
• 评论猜测出 Pi 4 Model A 而不是 Pi 5，可能因为 LPDDR4 内存更便宜、更好买。

解读

• 硬件爱好者市场的核心是价格和供货；内存涨价的年代，这比新功能更决定成败。
• 对教育和创客产品：便宜、能买到、文档好，比参数领先更能留住用户。

讨论

• 正方希望价格低到孩子也能随便折腾，配上 LLM 学硬件。
• 反方缺货让 Zero 形同虚设；ESP32 只要 5 美元，瑞芯微、全志也有更好选择。
• 反方盼了很久的 USB-C 和更好的 Wi-Fi 天线。

事实

• 苹果称 M6 有「全球最快 CPU 核心」；对比 M1 图形最高快 11 倍。
• 10 月 28 日开始在 35 个国家和地区预订，11 月 6 日开始到货。
• 印度官网起价 239,900 卢比（教育价 227,900）。

解读

• 评论里一个趋势：用轻薄本 SSH 到一台强力 Linux 机器跑编程 agent，本机配置变得没那么重要。
• 跑本地模型看的是内存带宽，不是代际；苹果的 AI 宣传被要求给出可比的离线指标。

讨论

• 正方M1 用了快六年仍然够用，升级到 M5 也只是小改善。
• 反方基础款 M(n+1) 和上一代 Pro/Max 同时在卖，命名混乱（有人回：比 Ryzen AI Max+ Pro 495 好懂多了）。
• 反方所谓「丰富接口」其实只有 2–4 种。

事实

• 论文把「失踪物种」定义为过去十年没有确认观察记录的物种。
• 发表在《Journal of Lost Species》。

解读

• 很多物种的状态取决于有没有人去看；公民科学和观察数据本身就是保护手段。
• 「没有数据」和「不存在」是两回事，看产品指标时同样适用。

讨论

• 共识很多人怀念小时候夏夜漫天萤火虫；有人说开始喷灭蚊药后就少了。
• 正方提醒：落叶是很多昆虫过冬的庇护所，现代草坪养护等于破坏栖息地。

事实

• 获奖作品拍的是运动中的墨滴，放大 20 倍。
• 评论指出同一作者此前两幅作品（蜡烛、火柴）也曾获高名次，用的是 2.5 倍放大。

解读

• 评论感慨：20 倍放大才看清，说明打印机机构有多微小。
• 好的视觉内容来自长期专注一个主题：作者三次上榜都拍化学反应。

讨论

• 共识画面像外星景观，大家都在惊叹。

事实

• 作者写了 snurl，一个给 Gemini、Gopher 等「小网」用的类 curl 库，尽量遵循 TigerStyle 编码规范。
• 踩坑：zig init 生成的示例里演示了模糊测试，但这个功能其实还没做完。
• 还写了终端打字竞速游戏和 n 体模拟器，未发布。

解读

• 术语平讲：分配器（allocator）＝管内存怎么申请和释放的组件；Zig 让你显式传入它。
• 语言选择的现实标准是稳定性和工具链成熟度，不只是语言设计好不好。

讨论

• 正方显式分配器让库代码真正可复用，和好 C 库让调用方传内存块一样。
• 反方很少需要这么底层的控制，更想要 RAII 这样自动释放的方式。
• 反方TigerStyle 说「性能要在设计阶段解决」，有人认为靠剖析找热点更实际。

事实

• 佛州 Okaloosa 县确认，沉放点在 Destin-Fort Walton Beach 西南约 22 海里，具体日期看天气。
• 1951 年建造，1952 年首航以 3 天 10 小时 40 分创跨大西洋最快纪录；1969 年因成本超过收入停运。
• 评论补充：船顶约在水下 55 英尺，休闲潜水员可达。

解读

• 老资产的「第二生命」：与其拆解，不如换个用途继续产生价值。
• 选址考虑潜水员可达性，说明这类项目也在算旅游收益。

讨论

• 共识坐过这艘船的老用户（包括 WalterBright）说很伤感；费城人怀念在宜家吃肉丸时望着它。
• 正方还剩一艘远洋班轮 Queen Mary 2，想体验趁早。

事实

• 240 页精装，售价 20 英镑，12 月 3 日起发货，可预订。
• 书后附作者对 80 年代计算机、创意和文化的回忆。

解读

• 给小众怀旧做实体产品：限制（只能用一套字符）本身就是卖点。
• 预售加名人推荐语，是小众书常见的冷启动方式。

讨论

事实

• 19 个品类、657 款产品中，车主谈可靠性、耐用性和客服的比例约为评测者的两倍，对配套 App 也更挑剔。
• 差距最大的品类：自清洁猫砂盆（评测 3%，车主 39%）、激光雕刻机（14% vs 41%）、扫地机器人（1% vs 18%）。

解读

• 产品启示：硬件类、订阅类产品的真实口碑在半年后才形成；可靠性和售后是被评测漏掉的竞争点。
• 买东西时按差评排序看，比看五星更有信息量。

讨论

• 正方Kia Telluride 车主：评测全是好评，7 万英里后贵件接连坏。
• 反方「各方意见占比」这个指标看不懂；标题一股 Claude 味。
• 反方这只是反向幸存者偏差：坏了的人才会去 Reddit 发帖。

事实

• 有限单群分类的第一代证明长达数千页期刊论文；这次形式化覆盖了 500 多篇文章和书。
• 过程中发现一条已发表路线中的闭包断言有反例，并给出替代论证，写成新论文。
• Axiom 员工在评论里说：做法就是让 agent 群读完所有文献，逐条转成 Lean。

解读

• 术语平讲：Lean＝一种让计算机逐步验证数学证明是否正确的语言；形式化＝把人写的证明翻译成它能检查的形式。
• 对产品人：「把海量人类文档转成可验证的结构」是 agent 群的好用法，前提是有一个能自动判对错的检查器。

讨论

• 正方过去数学家曾误以为分类已完成，形式化正适合这种场景。
• 正方AI 公司应该做这种补漏工作，而不是去抢正在进行中的研究。
• 反方4310 万行 Lean，对数学本身有多大用？

事实

• 换上 M6 芯片，主打 Apple Intelligence 和 Siri AI（目前仅英文，可能有使用限制）。
• 仍是 24 英寸 4.5K 视网膜屏；支持租赁，24 或 36 个月后可换新。

解读

• 评论里吵的核心是定位：同配置 Mac mini 便宜很多，iMac 的溢价买的是颜色、一体化和省心。
• 苹果把想要高配的人推向 Mac mini 和 Studio，iMac 回归「家用一体机」的定位。

讨论

• 反方1700 美元，相当于 900 美元的 Mac mini 加一块过时的 24 寸屏；2026 年还不出大屏。
• 反方7 年后不再支持就成了电子垃圾，也早就不能当外接显示器用。
• 正方就是给不想折腾的人买的；500 美元以下的显示器比不上这块 216 ppi 的屏。

事实

• 研究用 BluMorpho 微型标签追踪帝王蝶，原链接被流量冲垮后，HN 管理员换成了弗吉尼亚理工的报道。
• 评论惊叹它们能不停歇地飞越约 60–70 英里宽的密歇根湖。

解读

• 传感器小到能上蝴蝶，物联网的边界又往外推了一步。
• HN 管理员 dang 在原站被冲垮后换了可访问链接，并把相关资料放进帖子正文。

讨论

• 共识住在迁徙路线上的人说，近几年蚜虫爆发，毛虫越来越少；有人靠放瓢虫控制。

事实

• 据 WIRED，7 个月前 FISA 法院反对一些检索过滤器——它们让分析员不经法定审批和记录就调出美国人的通信，但仍批准了一年监控。
• 第 702 条授权 6 月已因国会未续期而失效，但依据 3 月批准，收集仍在继续。
• 政府自己的规定是 180 天内审查公开，期限 9 月 13 日已过。参议员 Wyden 和 Schiff 要求 11 月 6 日前给出解释和责任人名单。

解读

• 术语平讲：FISA 法院＝专门审批外国情报监控的秘密法院；第 702 条＝允许不经搜查令收集涉外通信，美国人的通信会被「顺带」收进去。
• 对做通信和数据产品的人：用户数据在哪个司法辖区、能被谁调取，越来越是信任问题。

讨论

• 反方秘密法庭有违民主，应该废除；第六修正案本来就是防秘密审判的。
• 反方续期之争是演戏：就算授权过期，监控也不会停。
• 共识Wyden 说过有一份「机密的法律解释」，公开那天大家会震惊；监控美国公民一直是两党共识。

事实

• 约 150 条通知，来源包括科委、商委、人社局、发改委、知识产权局、交通委和市政府门户。
• 每条有标题、官方链接、发布日期、截止日期、是否仍开放，以及给外资中小企业的相关度评分（0–10）。
• HN 上 13 分、0 条评论。

解读

• 「给 agent 用的数据源」正在变成一种产品形态：结构化、每日更新、直接 HTTP 可读。
• 相关度评分是启发式规则，原始通知链接才是权威来源，用的时候要回到原文核对。

讨论

事实

• 4F² 是一种更紧凑的 DRAM 单元设计，竞争对手正在加码。
• 原文链接抓取失败，以下据评论整理：美光仍在投入研发，只是放弃了这一方向。

解读

• 术语平讲：F² 是芯片单元面积的单位，数字越小，同面积能放的存储单元越多。
• 内存涨价、利润丰厚时，扩产比赌新结构更划算——这对买内存的 AI 公司意味着价格短期难降。

讨论

• 反方像是落后的公司把「没跟上」包装成「主动跳过」。
• 正方美光一向不靠花哨工艺也能做出领先 DRAM，技术口碑好。
• 共识以现在的利润率，扩大现有工艺比投新研究更合理；DRAM 成本降到每 GB 1 美元以下仍看不到希望。

事实

• 据 WSJ，两家 AI 芯片公司贡献了美国企业盈利增长的 34%。
• 包括英伟达、美光在内的十家公司约占利润增长的三分之二。

解读

• 对做 AI 应用的人：上游在赚大钱，意味着算力和内存成本还会高一段时间。
• 利润高度集中意味着脆弱：AI 资本开支一放缓，整体盈利增长就会明显下滑。

讨论

• 反方评论只有两种声音：这就是通胀；或是暂时的市场波动、泡沫。

事实

• 依宪法，埃塞俄比亚所有城市土地归公，只租不卖。
• 作者是前亚的斯亚贝巴市政管理者，回顾三十年改革，并指出制度的问题。
• 文章把它和新加坡的土地政策放在同一条思路上讨论。

解读

• 细节决定成败：同样是租赁制，执行和定价方式不同，结果可以天差地别。
• 评论提到这在亚洲很多地方并不罕见，但各国差别很大。

讨论

• 正方深圳证明长期土地租赁有效：先租先开发，不开发就没收益，抑制投机。
• 反方如今平台垄断的租金抽取比土地更值得关注（也有人反驳，全球土地租金每年可能超 10 万亿美元）。