Soda · Photos 奇鸟行状录
A quiet archive · Est. 2026 · MAY 03, 2026
HN Daily Reading · 每日阅读

HN 每日深度阅读 · 2026-04-19

本期偏向现实世界里的系统运营：从云迁移降本、模型 token 成本上涨，到日本铁路、Kdenlive、战事押注和 Claude Design 反思。它们共同展示了一个朴素事实：技术选择最终都会变成预算、可靠性、组织能力和社会后果。

2026.04.19 20 篇摘录
← 返回每日阅读列表

共 20 篇 · 约 12,222 字 · 约 32 分钟读完

1. 从 DigitalOcean 迁到 Hetzner：月成本从 1432 美元降到 233 美元，零停机

土耳其一家软件公司分享了一次真实的生产环境迁移：把承载 30 个 MySQL 库（共 248 GB）、34 个 Nginx 站点、GitLab EE、Neo4j 和数十万用户移动 App 流量的整套服务，从 DigitalOcean 迁到 Hetzner 自建机房机器。原配置是 192GB RAM/32 vCPU 的 droplet 加两块 1TB 块存储，月费 1432 美元；新机器是 Hetzner AX162-R——AMD EPYC 9454P（48 核 96 线程）、256GB DDR5、1.92TB NVMe Gen4 RAID1，月费 233 美元，性能各维度全面更强，年省 14388 美元。作者承认 DO 八年来稳定可靠，但稳态负载用不上托管生态，价格差距已经无法忽视，叠加里拉对美元持续贬值的本币压力，迁移势在必行。

迁移设计成六阶段、零停机：先在新机器把 Nginx（同样的编译参数）、PHP（同样的 ini 文件）、MySQL 8.0、Neo4j、GitLab、Node、Supervisor、Gearman 全部装好，证书直接 rsync 整个 letsencrypt 目录、最后统一 force-renewal；用 rsync —checksum 把 65GB 的 1500 万个站点文件搬过去；MySQL 用 mydumper/myloader 32 线程并行 dump+load，几小时搞定本来要几天的活，再按 binlog 位点起 master-slave 同步，让两边实时一致；提前把 DNS TTL 从 3600 降到 300，等一小时；旧机的 Nginx 用 Python 脚本批量改成反向代理，把残余请求转到新机；最后脚本一次性翻 A 记录，旧机冷备一周后下线。整个过程任何时刻都有节点在服务请求。同时顺手完成 CentOS 7 → AlmaLinux 9.7、MySQL 5.7 → 8.0 的栈升级。

HN 讨论几乎一边倒地认同 Hetzner 性价比无敌，很多人贴出自己更夸张的对比（AWS 数千刀对比 Hetzner 几十刀），但也有大量声音强调代价：Hetzner 是单机托管，没有 DO 的负载均衡、自动备份、对象存储、托管 DB 这些”省人力”的服务，自己运维要补上备份策略、硬件故障替换流程、IPMI 处理。讨论里反复出现的现实问题包括：Hetzner 对支付欺诈风控严、新户被封号常见；机房在欧洲，亚太/北美延迟高；DDoS 防护比 AWS/Cloudflare 弱；硬件 RAID1 不等于备份。也有人指出文章的”零停机”严格说是无服务中断而非无写入风险，主从切换瞬间还是有边界条件。一部分评论把矛头指向 DO 的定价模型——按 vCPU/RAM 的虚拟化定价对稳态高负载就是亏的，对 burst 型小项目才划算。整体共识：稳态、可控团队、能接受裸机运维就上 Hetzner；要省心和合规白纸黑字就留在云厂商。

2. Opus 4.7 比 4.6 平均多花 37% Token：社区匿名实测对比

Bill Chambers 搭的小工具收集社区匿名提交的同一份 prompt 在 Anthropic Opus 4.6 与 Opus 4.7 上的请求 token 数与价格对比。截至榜单显示，419 份提交里 Opus 4.7 的请求 token 平均比 4.6 多 37.3%，对应成本也同比上涨 37.3%。最近 50 条提交的散点变化幅度从 +19% 到 +86% 不等，几乎没有任何样本是 4.7 比 4.6 便宜的，常见区间是 +26% ~ +50%。页面是开源的、只存匿名提交 ID，与 Anthropic 无关联。

文章本身只是一张排行榜，但 HN 讨论被这个现象点燃。核心争论几路：第一是 token 数为什么涨——多数人认为 Anthropic 对 Opus 4.7 的系统 prompt 做了大幅扩张（更多工具描述、更多对齐内容、更长的 reasoning scaffold），而这些 prompt token 全部计入用户账单；也有人怀疑分词器换了或者隐式插入了更多元信息。第二是这是否构成”价格上涨”——名义单价没变，但相同任务消耗更多 token，本质上等于涨价 37%，订阅用户感觉相同任务掉的额度明显加快。第三是质量是否对得起多花的钱——意见分裂，有人认为 4.7 在复杂代码、长上下文上的输出确实更可靠，平均 37% 多花得值；也有人在简单短任务上完全感觉不到差距，纯粹是被迫掏钱。第四是 Anthropic 应不应该把”系统 prompt token”单独披露——很多评论认为这种不透明对企业核算很不友好，呼吁 OpenAI/Anthropic 在 API 响应里明确标出 user/system/tool 各自的 token 占比。还有一派从方法学角度质疑样本：榜单依赖用户自愿提交，可能严重偏向”觉得变贵了才来吐槽”的人，存在自选择偏差。少量评论指出 Cursor、Claude Code 等中间层会再叠一层 prompt，端到端涨幅可能远超 37%。

3. 日本铁路为什么这么强

Works in Progress 这篇长文挑战了”日本铁路好是因为日本人爱坐车守规矩”这种文化解释，主张原因是制度和政策。数据先压场：日本 28% 的客运周转量靠铁路，法国 10%、德国 6.4%、美国仅 0.25%；JR East 一家的客流就超过除中印外任何国家的全国铁路总和；整个体系总体盈利，公共补贴远低于欧美。

文章把日本模式拆成几块。一是产权结构：明治维新后日本只把”国家级干线”国有化，留出空间给私铁，1907—二战间出现大量私营电气化铁路，类似美国 interurban 城际电车，但美国的死了、日本的活下来逐步升级成重型城际网。1988 年 JNR 民营化拆成六家区域客运公司加一家全国货运（JR Group），加上一直私营的 16 家”传统私铁”和无数地铁、单轨、电车，形成多公司同线竞争的格局——例如大阪到神户三条平行通勤线最近处不到 500 米。二是”铁路造城”商业模式：以东急集团为例，铁路公司同时经营巴士、住宅开发、写字楼、医院、超市、博物馆、游乐场、养老院，让本来无法被票价捕获的”目的地价值”通过自家地产和零售内化，形成可持续盈利闭环。三是配套政策：土地用途规则允许 TOD 高密度开发、驾驶规则（驾照成本高、停车强制自有车位证明）天然抑制小汽车、规制环境鼓励竞争而非保护性垄断、私有化模型避免英国式分拆轨网与运营造成的责任真空。结论是文化论错了——日本人同样爱车，他们坐火车是因为系统真的好；好的政策可以被一个”靠谱政府”复制。

HN 讨论非常活跃。一派资深通勤者证实文章描述：东京站内换乘指引、车厢清洁度、准点率背后是大量看不见的运营纪律，不是天降神功。多人补充被文章略过的细节：JR 的盈利相当依赖东京山手线和东海道新干线的现金牛，地方支线大量亏损靠交叉补贴和裁撤；TOD 模式在地方人口萎缩区也不灵；新干线之所以能盈利部分是因为美军占领后的土地法和战后大规模强制征地，今天难复制。另一派把日本和瑞士、奥地利对比，指出后者补贴重但准点率与覆盖率同样优秀，所以”私营+少补贴”不是唯一答案。也有围绕美国为何做不到的辩论：低密度郊区、强势汽车游说、Amtrak 用别人轨道导致客车永远让货车的根本结构问题。少数评论提醒读者别把 JR 神化——拥挤率、女性专用车厢的成因、过劳司机、骚扰事件等阴影面也存在。

4. 计算机科学家 Michael O. Rabin 逝世

HN 在 Wikipedia 词条上挂出讣告：以色列裔美籍计算机科学家 Michael O. Rabin 去世。Rabin 1931 年生于德国布雷斯劳（今波兰弗罗茨瓦夫），二战前随家迁往巴勒斯坦托管地，希伯来大学毕业后赴普林斯顿读博。1976 年他与 Dana Scott 共同获得图灵奖，奖项理由是两人 1959 年合写的论文《Finite Automata and Their Decision Problems》——正是这篇论文引入了”非确定性”作为计算复杂性的核心概念，把非确定有限自动机（NFA）确立为理论计算机科学的基础对象，今天每一本编译原理和形式语言教材都从这里讲起。

Rabin 的工作贯穿理论与实用两端。在算法方向，他与 Solovay-Strassen 大致同期独立提出 Miller–Rabin 素性检测——用随机化把素数判定从指数级压到多项式级期望时间，几十年后的 RSA、TLS 实践都靠它在线生成大素数。他与 Karp 合作的 Rabin–Karp 字符串匹配算法用滚动哈希优雅解决多模式串搜索，至今出现在 grep、剽窃检测、Git 增量压缩等场景。他还提出 Rabin 加密体制（其安全性可严格归约到大整数分解）、Rabin 信息散布算法（Information Dispersal Algorithm，纠删码与分布式存储的奠基之一）、以及不经意传输（oblivious transfer），后者成为现代安全多方计算的基石之一。他在希伯来大学长期任教并任校长，培养出整整一代以色列理论计算机科学人才。

HN 评论以怀念为主：很多人说本科第一次”被理论计算机科学震撼”就是来自 Rabin–Scott 的非确定性概念，从此理解了 NFA→DFA 转换、P/NP、随机化算法等一整条思路链；也有人贴出 Miller–Rabin 几行 Python 实现，感慨”几十年了仍然是教科书级别的优雅”。一些回忆来自希伯来大学和哈佛的学生：他讲课节奏慢、强调直觉、喜欢从具体例子推抽象，总是把”为什么这个定义是对的”讲清楚再上证明。讨论里也顺带梳理了图灵奖与他同代人的成就脉络——Hartmanis、Stearns、Karp、Cook、Knuth，一个集体定义计算复杂性这门学科的世代正在凋零。

5. Kdenlive 2026 现状报告

KDE 旗下开源非线性视频剪辑器 Kdenlive 发布 2026 年度回顾。过去一年项目维持 KDE Gear 的”4 月/8 月/12 月三个大版本+三次维护”节奏，主基调是稳定优先于堆功能。25.04 上线了基于 SAM2 模型的对象分割插件用于背景抠除、用 C++ 库重写了 OpenTimelineIO 导入导出从而能与其他剪辑软件互通工程文件、音频波形渲染速度提升 300% 并改用更精确的采样算法。25.08 是稳定版，超过 300 个 commit、修复 15+ 崩溃，重做了音频混音器解决高 DPI 分屏问题，标记和参考线系统大改善。25.12 聚焦 UX，加了首次启动欢迎屏与最近项目入口，引入更灵活的 dock 布局系统（可分组、按需显隐、布局可保存可分享），重设监视器面板。

即将到来的 26.04 带来监视器镜像（多屏/协作场景下镜像任意监视器到全屏）、动画化转场预览、转场拖到时间线时自动匹配上下层片段时长、批量改播放速度、序列音频缩略图等。路线图层面更值得关注的是底层 MLT 多媒体框架的演进：10/12bit 色深、解码播放优化、OpenFX 支持都在路上，都是专业调色与跨厂商插件互通的关键基础设施。同时正在做关键帧系统的重构和 Dopesheet（独立的关键帧时间线，支持每个参数独立打关键帧而非整效果同步），由 NLnet 的 NGI Zero Commons 资助。字幕系统重构和高级修剪工具继续推进。

HN 讨论分两条主线。一条是用户体验反馈：长期 DaVinci Resolve、Premiere、Final Cut 用户比较 Kdenlive 的优劣——共识是 Kdenlive 在素材管理、代理剪辑、基础调色和导出上已经够日常 vlog/教程剪辑用，崩溃比几年前少很多；但调色节点、Fairlight 级混音、专业 LUT、GPU 加速的高质量编码方面与 Resolve 仍有代差。Linux 用户特别赞许它是少数原生 Linux 上”能真用”的剪辑器，AppImage/Flatpak 部署方便。另一条是路线图技术讨论：MLT 框架被认为是 Kdenlive 长期的瓶颈也是命脉，10/12bit 色深和 OpenFX 一旦落地能拉近与商业产品的差距；Dopesheet 和按参数独立关键帧被关键帧动画用户视为最期待的功能。也有人讨论开源项目的资助模式，肯定 NLnet/NGI 这类欧洲公共资助对小团队长期维护的关键作用。少量声音抱怨 UI 仍然偏 KDE 老派、新手上手曲线陡。

6. 10 亿美元”踩点”押注美以伊朗战争：内幕交易嫌疑发酵

Guardian 这篇报道梳理了围绕 2026 年美以对伊朗战争的一系列”完美踩点”押注，总规模超过 10 亿美元，正在引发监管和立法界关注。最具代表性的几笔：2 月 27 日夜间——也就是美以对伊朗动手前一天——Polymarket 上约 150 个账户突然涌入押注”美国明天会打伊朗”，纽约时报分析显示总下注 85.5 万美元，其中 16 个账户每个净赚超过 10 万美元。随后一个化名”Magamyman”的账户在哈梅内伊被以色列空袭击毙前几分钟押注他将”被推翻”，单笔获利逾 55.3 万美元；公民组织 Public Citizen 已就此向 CFTC 提交投诉，并援引一家加密分析公司的数据指出有 6 个”疑似内幕者”通过哈梅内伊事件在 Polymarket 上合计获利 120 万美元。期货市场上同样可疑：3 月 23 日，特朗普在社交媒体宣布与伊朗”建设性对话”前 15 分钟，5.8 亿美元做空原油的仓位涌入，FT 报道随后油价应声下跌；4 月 7 日临时停火宣布前几小时，又有 9.5 亿美元押注油价下跌的仓位精准建好，路透独家披露。

文章把矛头指向两类新型市场的扩张：以 Polymarket、Kalshi 为代表的新闻事件预测合约，让任何热点都能被押注；同时商品衍生品（特别是原油期货）的零售通道极度便利化。哥伦比亚大学法学教授 Joshua Mitts 提出的关键问题不是”有没有法律”，而是”现有法律在跨平台、匿名钱包、跨境账户的现实里能否被有效执行”。CFTC 此前对 Polymarket 在美国境内的合规一直拿捏不定，新闻事件类合约究竟算商品衍生品还是赌博的定性争议未决；国会有议员希望严打，但跨平台追踪和归因技术难度极高。

HN 讨论分成几路。最大一派认为这就是赤裸裸的内幕交易：知道空袭计划的人——无论来自美军、以色列方面、白宫还是中间承包商——把信息变现，时间精度高到肉眼可见，“巧合”解释站不住脚；这种行为不仅让市场失序，更直接降低了行动方的 OPSEC 警觉。另一派偏自由市场立场反驳：预测市场的价值正在于把私有信息汇总进价格，“内幕”押注让信号提早出现，反而帮助公众和媒体发现政策动向；真正问题不是有人押注，而是政府成员是否在押注。第三类聚焦执法可行性：Polymarket 的链上下注本身可追溯，但混币器、海外账户、KYC 漏洞让司法管辖几乎无解，CFTC 对加密原生平台动手的工具非常有限。还有人把哈梅内伊事件那笔押注视为”刺杀的市场预言”——若押注者真的提前知情，意味着情报体系存在严重泄密，这比交易本身更值得警惕。少量评论质疑数据归因，认为部分看似”完美踩点”的仓位其实是事件前几天就已建好、只是恰好赶上时间窗，需要更细的时间序列证据再下结论。

7. 关于 Claude Design 的一些思考与感受

设计师 Sam Henri Gold 在试用 Anthropic 新发布的 Claude Design 后，写了一篇关于设计工具未来走向的判断。核心论点：Figma 即将迎来自己的”Sketch 时刻”。

文章的论证链条是：随着产品团队规模化，设计被逼着在工程组织内自证价值，于是被推向系统化，Figma 为此发明了一整套自有原语——components、styles、variables、props、modes、library swap 等等——其中部分借自编程概念，但都不能干净映射回任何东西，最后形成需要专门”设计系统岗”才能驯服的怪物。Figma 当年压过 Sketch 的关键，是把设计文件确立为”真相之源”。但这场胜利埋了一颗雷：Figma 的格式封闭、对程序化操作极其不友好，结果被 LLM 训练数据排除在外——大模型学的是代码，不是 Figma 的私有原语。随着设计师写代码门槛下降、Agent 越来越能干，真相之源会自然回流到代码端，Figma 过去十年堆起来的庞大基础设施会显得越来越荒诞——“想做陶器，为什么要画陶器的水彩画，而不是直接捏泥？“作者贴出 Figma 自己设计系统文件的截图：946 个颜色变量分八种 mode、12 个 variant 的弹窗组件、aliased 套 aliased 的颜色调试链路，调一个错色就能让人想去乡下养羊。

作者预测设计工具会分叉成两种形态。第一种是 Claude Design 这类”对材料诚实”（truth to materials）的工具，一切是 HTML 和 JS，不再假装有”画布”这一中间层；它的结构性优势是可以与 Claude Code 无缝串通，设计-实现的反馈环并到一个对话里。第二种则完全相反——纯探索环境，不假设输出代码，可以是 iPad 上 Apple Pencil 速涂矩形，也可以是走 Photoshop 路线的高保真合成工具，让想象力不再被 CSS 效果上限封顶（作者顺带吐槽 Figma 90% 的生命里 layer effect 就只有阴影和模糊）。Figma Make 被作者归到”已经喝下 Kool-Aid 才会用”的过渡产品——它仍然把设计文件当真相。

HN 讨论激烈。支持作者的一派多是工程化组织里的设计师/前端，认同”设计系统在 Figma 里维护成本已经反超价值”，并补充自己团队同样在做 code → Figma 反向同步的痛苦工作。反对一派分两类：一类是非纯网页/App 的工种——平面、品牌、海报、包装、动效，强调代码根本不是他们的输出物，把”代码即真相”普世化是 web 偏狭；另一类质疑 Claude Design 当前完成度——demo 漂亮但生成的代码经常脱离工程规范、可访问性差、组件复用混乱，把它当 Figma 替代为时尚早。第三类围绕作者类比是否成立——Sketch 输给 Figma 的核心原因是协作和云端，而不是格式开放性，因此 LLM 训练数据这个角度是否真的能复刻”颠覆”存疑。也有人指出 Figma 已在做 Dev Mode、Code Connect、MCP server 等弥补措施，未必坐以待毙。整体来看，文章触动了设计圈对”AI 时代设计工具是否要重新发明”的集体焦虑。

8. 区间并集计算器：可对不相交区间集做运算的开源玩具

法国开发者 Victor Poughon 把”区间并集算术”（Interval Union Arithmetic）做成了一个网页计算器。普通区间算术能算 [a,b] + [c,d] 这种带误差范围的运算，但一旦遇到 2 / [-2, 1] 这种除以包含零的区间，传统方法就崩了——结果不是一个连续区间，而是 [-∞, -1] ∪ [2, +∞]。区间并集算术允许结果是若干不相交区间的并集，因此运算闭合，可以一直链下去。作者基于 IEEE 754 双精度浮点数实现了”向外取整”（outward rounding），保证输出区间一定包含真实数学答案，连 0.1 + 0.2 都能得到 [0.29999999999999993, 0.3000000000000001] 这种诚实的结果。

引擎单独抽出名为 not-so-float 开源库。计算器支持 + - * / ^、U 并集、三角/反三角/对数/指数/平方根/绝对值，以及 lo、hi、hull、min、max 等区间专用函数。语法上 bare number 被解释为退化区间，因此 1.55 + [-0.002, 0.002] 自然得到 [1.548, 1.552]，便于表达”测量值±误差”。区间还可嵌套，[0, cos(2*pi)] 合法。

HN 讨论焦点在三个方向。一是与 Kahan 等人提出的传统区间算术、CGAL 的 interval kernel、Julia 的 IntervalArithmetic.jl、Boost.Interval 比较，多数评论者认为允许不相交并集是一大改进，但担心高维或长链运算会让区间数量爆炸。二是应用场景：有人提到光学/几何容差分析、机器人运动规划、严格全局优化、形式化验证浮点代码；也有人指出在数值分析里更常用 affine arithmetic 来抑制悲观区间扩张。三是技术细节：作者承认 U 操作符的优先级、空集表示、ans 变量都还待打磨；评论中讨论了 trig 函数在跨越 π/2 时如何安全分裂区间。整体口碑很好，被多人收藏作为教学和快速验证误差传播的工具。

9. 浮点数其实可以用 == 比较，问题出在 epsilon

作者 lisyarus（图形/几何/物理方向 15 年经验）开门见山表明标题是 clickbait：真正想说的是”用 epsilon 比较浮点数才是大多数情况下错的”。流传甚广的”永远不要用 == 比较 float、要用 abs(x-y) < 1e-4”被他视为最差解之一。理由有三：epsilon 是 hack，是临时解；不同模块各选 epsilon 会级联出极难调试的几何错乱（一处用 Manhattan 距离 1e-4，一处用 L∞ 距离 1e-6，渲染只在某种数据下、某个月圆之夜出 bug）；epsilon 通常根本没解决原问题。

文章随后逐个拆解经典场景：网格移动里直接 == 整数坐标即可，不该让坐标累加成浮点；球面线性插值（slerp）应在调用前归一化并用 clamp 处理边界，而不是在 acos 输入端加 epsilon；向量长度比较应比较平方长度避免 sqrt；线性方程组该用 LU 加 pivoting 或 SVD，而不是检查行列式 < eps；ray-box 相交可借助 IEEE 754 的 ±inf 行为天然处理零分量方向；凸包应使用精确谓词（exact predicates）或符号扰动；用户输入应在解析时就规整化；写测试时应使用 ULP 距离而非绝对 epsilon。核心观点是：浮点不是黑盒随机数，IEEE 754 给出确定性、最近舍入和可预测的误差边界，应当依据具体语义选择”重写算法”或”直接 ==” 而非到处糊 epsilon。

HN 115 条评论分歧明显。支持派认为这是少有的”敢说真话”的浮点科普，赞同 ULP/Goldberg 的指引比拍脑袋 epsilon 强一万倍。反对派则反驳：在物理仿真、几何鲁棒性、CAD 求交场景里完全避开 epsilon 不现实；exact predicates 写起来太重，多数项目只需要 epsilon “够用”。另有评论补充 nextafter、std::nexttoward、bit-level ulpsBetween、Bruce Dawson 的经典系列文章，以及 Julia/Rust 在该问题上的工程实践。讨论里反复强调：不要假设浮点”模糊”，它非常确定；模糊的是程序员对它的理解。

10. B-52 轰炸机星象仪里的机电式角度计算机

Ken Shirriff 又一次拆解冷战军用电子设备。这次主角是 1960 年代为 B-52 轰炸机配套的 Astro Compass（自动天文罗盘）系统中的”角度计算机”（Angle Computer）。GPS 普及前，远程轰炸机依赖天文导航：跟踪恒星/行星/太阳的位置反算航向和位置，优点是无法被干扰、不依赖地面基站，缺点是手算极其费时。1960 年代数字电子还没快到能实时解算三角函数，因此工程师用一台机电模拟计算机来完成。

整个 Astro Compass 由 19 个组件组成，核心是机舱顶突出的 4 英寸玻璃罩内的 Astro Tracker：里面有跟踪望远镜、光电倍增管、陀螺稳定平台、棱镜旋转/俯仰机构。Master Control Panel 用形状各异的旋钮让导航员凭手感选择参数（时间、SHA、Declination 等），输入靠”转一个旋钮翻数字”。三套 Star Data 显示器可同时缓存三颗星位置，便于做”位置线”（line of position）三角定位。

Angle Computer 本身看似 IMU 但内部无任何旋转件，它用机械方式”建模”了天球：连杆、齿轮、凸轮把恒星 SHA、赤纬、本机经纬度、当前 GHA 等输入合成为望远镜应当指向的方位角和高度角，输出通过 synchro（自整角机）以 AC 相位形式电传到伺服回路，精度可达 0.1 度。文章详细图解了内部的差动齿轮组、cam-and-follower 结构如何”硬件实现”球面三角公式，并配有大量高清拆解照片。

HN 70 条评论几乎一边倒赞叹机械之美。常见话题：(1) 类似时代的火控/导航模拟机，如 Norden 投弹瞄准器、海军 Mark 1 鱼雷数据计算机、土星五号的 LVDC；(2) synchro/resolver 在工业自动化里至今仍在使用；(3) 苏联同期 Tu-95 也有星象仪并据传精度更高；(4) 机电模拟机对 EMP 天然免疫，被几位前空军评论者认为是”为什么 B-52 还能再飞几十年”的部分原因。也有人讨论现代 CubeSat 上 star tracker 已经下沉到 $1k 级 MEMS+CMOS 模块，与这台几十千克的”钟表怪物”形成强烈反差。

11. Amiga 图像档案馆

amiga.lychesis.net 是一个长期运营的爱好者站点，收集 Commodore Amiga（1985 年发布）平台上创作或为其制作的像素艺术。Amiga 凭借 OCS/ECS/AGA 自定义芯片组在 80-90 年代提供了同时代 PC 难以企及的图形能力——包括硬件 sprite、blitter、HAM（Hold And Modify）和 Extra Half Bright 等独家显示模式，催生了一代专门为 32/64/4096 色调色板优化的画师。站点按 Applications、Artists、Games、Logos、Publications、Sceners、Specials 七个维度分类，配有专题文章解释 HAM、EHB、screen modes、显示技术、CRT 模拟显示等技术背景，并提供 TFT/CRT 两种渲染模式以模拟当年显像管的色彩混合效果。

最近一次更新（2026-04-12）补充了女画师 Jo-Anne Park 的早期 C64 与 Amiga 作品，可看到她从 C64 跨越到 Amiga 的笔触演化；3 月单图月、1 月的 CU Amiga 杂志艺术画廊扫描也是亮点。维护者强调”找到原始版本”很难——很多图像只剩杂志扫描件，分辨率、抖动、色彩都已劣化。

HN 69 条评论充满怀旧。反复出现的名字包括 Jim Sachs（《Defender of the Crown》封面与《Amiga Lagoon》）、Avril Harrison、Mark Ferrari（Lucasfilm 颜色循环大师）、Roger Dean 风格仿作。技术向讨论集中在：HAM 模式如何用 6 bit 表达 4096 色但带来 fringing artifact；copper list 让一帧内动态切换调色板成为可能；DPaint/Photon Paint/Brilliance 等创作工具的快捷键设计远超后续 PC 工具；Workbench 桌面美学和 demoscene 文化的交汇。一些评论者指出 Amiga 的”硬件美学”是平台限制催生的艺术风格，今天即便用 Aseprite 也很难复现当年画师对 dithering 与 anti-alias 的人手编排。也有人提到希望站点开放高分原图供 archive.org 镜像，避免 lychesis.net 哪天消失。

12. 范畴论图解：序

这是 Boris Marinov 在线书《Category Theory Illustrated》的第四章，主题是”序”（Order）。作者一贯风格是先用直觉与生活例子建立心智模型，再过渡到形式定义。本章把序定义为”集合 + 二元关系 + 若干法则”，与第二章里把幺半群（monoid）定义为”集合 + 二元运算 + 若干法则”形成结构上的对偶。

文章先从最熟悉的”线性序/全序”开始，用按光波长排序的彩虹颜色举例，介绍四条法则：自反性（a ≤ a）、传递性（a ≤ b ∧ b ≤ c ⇒ a ≤ c）、反对称性（a ≤ b ∧ b ≤ a ⇒ a = b）、全序性（任意两元素可比）。其中”任何有限全序都同构于自然数前 n 项”这一观察被用来论证：所有有限线性序在范畴论视角下都”长得一样”，故而无趣。真正有趣的是去掉全序性后的偏序（partial order），它允许”互不可比”的元素并列存在，从而生成 Hasse 图、格（lattice）、布尔代数等丰富结构。后续小节会铺垫到把偏序看作”thin category”——每对对象之间至多一个箭头——这是连接序论与范畴论的关键桥梁。

文章配有大量手绘 SVG 插图（小球+箭头）来直观呈现自反、传递、反对称、连接性四条法则；并在示例代码里用 JS 的 sort 比较器揭示”比较函数若不满足这些法则，sort 结果会因初始顺序而异”。

HN 58 条评论以正面为主：被多人推荐为”Bartosz Milewski 之后最适合写代码的人入门范畴论”的免费教材，与 Eugenia Cheng、《Seven Sketches in Compositionality》、nLab 形成不同难度梯度。讨论延伸到偏序在分布式系统（happens-before、CRDT 的 join semilattice）、类型系统（subtyping 是偏序）、数据库查询优化（关系代数等价类构成偏序）的实际应用。也有数学背景读者指出书中术语略有非正式之处——例如”strict order”与”strict partial order”的区分、totality 让 reflexivity 冗余的论证可以更严谨。少量批评聚焦排版与 SVG 在移动端的可读性。整体认为这是难得用图像而非 LaTeX 公式来教范畴论的资源。

13. 大学讲师改用打字机抵御 AI 写作业

Sentinel Colorado 报道了科罗拉多某社区大学一名英语写作讲师的做法：要求学生在课堂上用机械/电动打字机完成作文。理由有二。一是反 ChatGPT 类 AI 代写——离线打字机让学生没法把 AI 输出复制粘贴进去，所有句子必须在课堂时间内、在有限的修改空间里直接敲出来。二是讲师认为这是一堂”生活课”：打字机迫使学生先在脑子里把句子构思完整再下笔，因为打错字纠正成本高、不能 Ctrl+Z；这种约束训练计划能力、注意力和”对自己输出负责”的态度，而这些恰恰是 AI 时代被外包出去的能力。报道描述了课堂氛围——叮当声、回车铃、纸张抽换、学生从最初的笨拙到逐渐进入节奏的过程；讲师也保留旧式涂改液和打字纸供学生使用，并把作业评估重心放在”现场写出来的真实推理过程”。

HN 81 条评论争论激烈。支持方认为：这正是教育界对 AI 作弊潮的合理回应，纸笔/打字机考试 + 课堂写作（in-class blue book）正在美国多所大学回潮；过程胜于结果，打字机的物理摩擦正是教学价值所在；类似做法在数学、外语听写课程已有先例。反对方反驳：把工具时光倒流不是教育创新而是逃避；学生未来工作环境必然有 AI，应教他们怎么与 AI 协作、批判 AI 输出，而不是隔绝；打字机昂贵、耗材紧缺、对手部障碍学生不友好。还有相当一部分评论从更深层质疑作业制度本身——既然 take-home essay 已被 AI 击穿，是否该回归口试、讨论、当堂论证等更难外包的形式。少数评论者分享自己读研期间被强制手写答题的经历，认为”必须一次性想清楚”确实改变了思考方式。也有人提到打字机维修社区因这股潮流意外复苏，二手 Olivetti、Hermes、Smith Corona 价格在涨。

14. 隅田水族馆 2026 企鹅关系图：又是一年的撕裂、复合与三角恋

东京隅田水族馆每年发布的”企鹅关系相关图”（ペンギン相関図）2026 版上线，并罕见地提供了官方英文版。馆内饲养的麦哲伦企鹅约 50 余只，工作人员每天观察记录每只企鹅的互动——求偶、共筑巢、互相理毛、并肩站、打架、抢配偶、单恋、被无视——再以一张大幅”人物关系网”的形式公开，节点之间用粉色心、灰色裂痕、红色箭头、问号等标注关系状态。2026 版本一如既往充满八点档剧情：长期配偶分手、新生代加入引发洗牌、三角四角关系、单方面热恋等。图上每只企鹅都有名字、性别、生年和小头像，关系连线旁附短文说明”今年发生了什么”。该项目自 2014 年起每年更新，已成为日本网络年度梗，年初发布时常登上 X/Twitter 热榜。

HN 评论很少（仅 5 条）但全是正面戏谑。有人惊叹”日本人能把企鹅互动做成 ER 图”，有人对照往年版本指出某对从 2024 起反复分合的”老冤家 CP”今年又换了对象；也有评论提到旭川动物园、长崎企鹅水族馆、英国 Birdland 都做过类似但规模更小的关系图。技术向评论提到这种持续多年的人工社交网络观测数据其实对动物行为学有价值，可以拿来训练动物个体识别 + 关系预测模型。整体氛围轻松，是 HN 首页少见的”纯粹治愈系”链接。

15. NIST 把”任意波长”激光器塞进了一块光子芯片

NIST 物理学家 Scott Papp 团队在 Nature 发表的工作，把可调谐激光集成到了硅光子芯片里。长期以来，半导体激光器只能在少数几个波长（如 980 nm 红外）做到既小又便宜又高效，原子钟、量子计算机、离子阱所需要的其他颜色，往往要靠又大又贵又耗电的台式激光器，把这些应用锁死在专用实验室。

研究团队的做法像在做”千层蛋糕”：在硅+二氧化硅基底上叠了铌酸锂（一种非线性材料，可以变色，并允许电控开关）和金属电极，再加一层关键的五氧化二钽（tantala）。tantala 能把单一波长的激光”变出”整条可见光彩虹和大段红外。Papp 组多年来打磨出一种低温沉积工艺，使 tantala 能直接镀到下层材料上而不破坏铌酸锂结构，从而实现”无缝集成”。最终他们在一块啤酒杯垫大小的晶圆上做出 50 颗指甲盖大小的芯片，共 10000 个光子电路，每一个输出独立波长，“颜色靠电路设计决定”。

文章重点强调潜在用途：每种量子比特原子（铷、锶、镱等）都需要特定波长去激发，原子钟、离子阱量子计算机、激光雷达、光通信都受益于”想要哪种颜色就生成哪种颜色”的能力，未来可能让这些设备从专用实验室搬到便携设备里。

HN 上的讨论分两条线。一条是工程视角：topspin 等评论指出”there there”——可变波长激光以前并非不存在，而是大、贵、难以电控；这次的价值在于把”低成本、紧凑、高效”和”任意频率”四个属性第一次同时实现，对受限于现成激光器频率的设计者是真正解放。另一条是行业层面的焦虑：brcmthrowaway 提到全球 95% 的激光器制造已迁到中国，西方在量子/光通信硬件链条上的代工能力越来越薄。还有评论从量子计算角度补充：当前离子阱选哪种离子很大程度被”哪些波长好造”绑架，可调谐片上激光会让离子选择重新由物理特性而非工艺限制主导。也有人对”any color”做了科普式吐槽：品红、棕色等并不对应单一波长，需要多波长合成。

16. 斯坦福 AI Index 2026：12 张图看清这一年的 AI 走势

IEEE Spectrum 用 12 张图概括斯坦福 HAI 发布的 AI Index 2026 报告。核心观察包括：训练前沿大模型的算力成本继续指数级上升，但与此同时单位 token 推理成本快速崩塌——同等性能下，过去两年成本下降了一到两个数量级。模型能力差距正在收窄：开源权重模型（如 Llama、Qwen、MiniMax 系列）与最强闭源模型在多数公开基准上的差距已被压缩到几个百分点级别，“前沿俱乐部”从两三家变成五六家。

地缘格局方面，报告再次确认了几条关键趋势：美国仍主导前沿模型数量，但中国在论文产出、专利、机器人安装量上继续扩大领先；其中工业机器人安装量这张图被多位 HN 评论者称为”全场最震撼”——中国一个国家的部署量已经超过世界其他地区总和。资本面上，全球 AI 私募投资在 2025 年再度刷新纪录，但集中度极高，前几家头部公司吃掉了绝大部分资金；与此对应的是企业采用率：用过 AI 的企业占比首次过半，但真正报告”显著利润提升”的仍是少数。AI 在监管、能耗、招聘市场冲击上的数据也都给出了量化曲线。

HN 评论里争论最激烈的不是技术，而是”护城河”。amelius 抛出”没人会有 moat，所以投资者愚蠢度的曲线还在飙升”，引来一串反驳：aspenmartin 认为用户基础和 token 经济仍构成飞轮；bryanlarsen 则指出 LLM 公司只是普通成熟市场的难度，没有比传统公司更脆弱也没有更强；swiftcoder 提到既然有五家以上前沿模型外加开源紧追，资本和势能并未筑成像样的护城河。SilverElfin 担心中国模型靠蒸馏”白嫖”OpenAI/Anthropic，被反驳为 fast-follower 在任何成熟市场都是常态，开源跟进反过来会迫使闭源持续投入。bix6 一句”China’s robotics lead holy cow”得到大量附和，alex43578 把它直接翻译成”中国制造业领先在一张图里”，把报告的产业含义点透。

17. Show HN：MDV，把 Markdown 升级成可写仪表盘和幻灯片的超集

drasimwagan 提交的 MDV（Markdown Data Visual）是一个 Markdown 超集，目标是让同一份纯文本既能渲染成文档、也能变成带图表的仪表盘和演示幻灯片。它在 Markdown 之上加了内嵌数据块和可视化指令：可以直接写 CSV/JSON 数据片段、用类似围栏代码块的语法声明 line/bar/area/pie/scatter 等图表，引用上方数据并指定 x/y/分组等字段；幻灯片靠分隔符切页，仪表盘则把多个图表组件按网格排列。配套提供 HTML/PDF 导出、实时预览和 VS Code 扩展，定位是”写一次到处用”的轻量替代方案，尤其面向工程师写运营报告、数据周报、技术分享。

HN 评论分成三派。第一派关心 Markdown 的本质边界。kevinkoning 等人提醒，Markdown 之美在于”结构语法极简”，扩展视觉元素稍不留神就重新发明了 HTML 或 Org-Mode；他给出自己对表格语法的扩展提案，并强调表格编辑应该”对人手友好”。rao-v 同意现有 Markdown 表格在快速增列时反人类，主张走 JSON-like 由 linter 排版的方向。

第二派直接抛出竞品。phyzix5761 和 arikrahman 反复问：“这跟 Org-Mode、Typst、reStructuredText、AsciiDoc 比有什么必要？“toastal 直言 reST 和 AsciiDoc 在文档/博客功能上远比 Markdown 完备，“又一个 Markdown 分支”令人遗憾。tnolet 调侃 Markdoc 风格的组件语法本质就是”没有尖括号的 XML”。

第三派则用真实生产经验背书可行性。amcaskill 介绍他们的 BI 产品 Evidence.dev 也走”Markdown + ClickHouse”路线，去年迁到 Stripe 的 Markdoc 变体后效果不错——大模型很会写、人也好评审，并贴出一段查询周收入的 area_chart 语法示例。整体氛围是承认这条路有真实需求，但担心碎片化和”超集即另一种语言”的老问题。

18. Fuzix 0.4：写给 8 位/16 位古董 CPU 的小巧类 Unix

Fuzix 是 Alan Cox（EtchedPixels）维护多年的小型类 Unix 操作系统，这次发布 0.4 版本。它的血统是把多个 UZI 分支（早年 Unix V7 在 Z80 上的移植）融合并扩展，向上靠近 SYS3/SYS5 并加进部分 POSIX，目标平台从 6303/6803、6502/65C02/65C816、6809、68HC11、8080/8085、Z80 一路覆盖到 68000、ARM Cortex-M0/M4。0.4 的主要变化包括：网络层重写为模块化结构，方便未来在 8 位机器上把网络栈跑在与内核不同的地址空间；可执行文件格式统一，8080/8085/Z80 共用同一格式，68HC11 可以直接执行 6803 二进制；32 位平台从临时拼凑的 Linux binflt 切换到带轻量重定位扩展的 a.out；构建系统简化，新增 make diskimage 一键产出可启动磁盘。版本说明里也坦诚地列了暂时被砍掉的目标（Pentagon 系列）和未测试的旧机器（P112、SocZ80），并提醒部分编译链需要锁定特定旧版本，否则会插入目标 CPU 不支持的指令。

HN 讨论被首页文案带跑偏。jmmv 抱怨 fuzix.org 首页”压根没解释 FUZIX 是什么”，连 GitHub README 都只在和 UZI 比较，对新人不友好。kasumispencer2 反呛”页面写着 Fuzix OS，结合下面一长串复古 CPU 列表还看不出来是 Unix-like 操作系统，那是你的问题”，引来一连串关于”什么叫好的项目自我介绍”的来回拉扯——有人调侃以为是给军火或智能配电盘用的 OS。中间还有一个有用的 meta 信息：GitHub 仓库被标记为 archived，但实际上项目搬到了 codeberg.org/EtchedPixels/FUZIX 继续维护，新读者别被 archived 状态误导。零散闪光点包括 wyldfire 摘录的项目自述（“V7 之上往 SYS3/SYS5 走，掺了 ELKS/OMU 的招数”）和 velcrovan 一眼认出文档里出现的 Tandy CoCo 3 引用，复古玩家用情怀填补了官方 README 没说明的部分。

19. 亚利桑那沙漠里发现”清洁工蚂蚁”：钻进巨型蚁的下颚做清理

史密森尼研究员 Mark Moffett 在 Ecology and Evolution 报告了一种前所未见的蚁类互动：在亚利桑那东南部 Chiricahua 山区，体型小得多的”锥蚁”（Dorymyrmex 属一未描述新种）会爬到红收割蚁（Pogonomyrmex barbatus）身上，舔舐、轻咬清理它们的体表，甚至深入对方张开的颚内，而收割蚁全程保持静止、不发动攻击。研究者把这一行为类比为海洋里的”清洁站”——小鱼为鲨鱼等大鱼清理寄生虫，连捕食者的口腔都敢钻。

发现纯属偶然：Moffett 在野外站喝咖啡时注意到几只反常静止的收割蚁，放大镜头才发现它们浑身爬满锥蚁。他记录到至少 90 次互动，模式高度一致：收割蚁主动靠近锥蚁巢，张大颚立定；锥蚁约一分钟内出巢，最多五只一起爬上去清理 15 秒到 5 分钟；结束时收割蚁有时会用力把对方甩飞、自己仰翻，再迅速离开。锥蚁只对活体收割蚁感兴趣，对放在巢边的死蚁视而不见，提示它们是在取食活体表面的某种能量颗粒（可能是收割蚁带回的种子碎屑）。对收割蚁而言，可能是借小蚁伸入它们自己难以触及的部位，潜在好处涉及减少感染或调控体表微生物群，待后续实验验证。

HN 上最热的讨论分两支。一支由 LeCompteSftware 起头：海洋清洁鱼被认为是鱼类中较聪明的物种，因为”钻进捕食者嘴里”的策略需要长期规划与即时判断；他好奇这种小蚁是否也具备类似认知，还是用纯本能搞定。lisper 反驳称合作与共生在生物层级里普遍存在，从线粒体起源到基因组本身都是合作复制子的集合，不需要”智能”，只是博弈论结果；fsckboy 进一步调侃，线粒体祖先同样可能是被宿主”反殖民”的寄生虫，合作和被合作只是同一过程的两种叙述。另一支由 culi 展开：合作和竞争同样基础，地衣分解火山岩成土壤、菌根真菌支撑 90% 以上植物、肠道菌群让人能消化大半食物——他援引 Major Evolutionary Transitions 框架，主张”内部减少竞争”才是个体性升级的常态，而真正”竞争”在身体内部表现出来时往往就是癌症。还有评论开玩笑：“为什么没有动物演化出给人类做清洁工”，被 encrux 反手接住——某种意义上，猫确实通过捕鼠成了人类粮仓的清洁伙伴。

20. 80386 的内存流水线：1.5 时钟周期是怎么挤出来的

作者 nand2mario 正在 FPGA 上重新实现 80386 内核（DE10-Nano，目前 75 MHz，能引导 DOS、跑 Norton Commander、玩 Doom），这一篇拆解 386 的内存访问流水线。出发点是 Intel 1986 年在 ICCD 上的 Slager 论文里那句反直觉的描述：常规情况下 386 完成一次内存访问的地址路径只需要约 1.5 个时钟——而表面上一次访问要做有效地址计算、段重定位、limit 检查、TLB 查找，TLB miss 还要两次页表读 + Accessed/Dirty 位回写，怎么看都不像能在 1.5 拍内完成。

文章首先从微码视角切入：以 ADD [BX+4], 8 这类读-改-写指令为例，展示微码里反复出现的 RD + DLY、WR + DLY 模式。RD/WR 触发访存，DLY 把微码挂起等结果。这意味着微码层与访存子系统之间有一个隐含合约：地址路径必须足够快，否则整台机器会因为反复 stall 而瘫痪。

接着分段拆掉”为什么慢”的假象。段翻译在保护模式与实模式都强制开启，但段基址、limit、属性早在段寄存器加载时就被解码并缓存进段描述符 cache，每次访问只需一次加法（段基址 + 偏移）和一次范围比较，不再触表。线性地址进入页翻译时，TLB 命中直接吐出物理地址；只有在 miss 时才唤醒硬件页行走器、连续两次访问页目录与页表，并在命中行返回时顺手回写 A/D 位。整条路径之所以等价于约 1.5 拍，是因为 Intel 用了大量预计算（地址生成单元 AGU 在前一拍就开始算）、流水线（段检查与 TLB 查找并行）和并行性（保护检查与地址转换在硬件里同时进行），把表面上串行的步骤折叠到了几乎重叠的两个阶段里。文章配 386 程序员手册原图与微码片段，逐条对照硬件如何把”看起来昂贵”的虚拟内存机制摊薄成几乎免费的常规访问，并指出这套思路对今天理解 RTL 时序仍然有借鉴价值。

HN 上 rep_lodsb 贡献了最有价值的旁注：他解码过 80286 的入口 PLA，指出 286 只在”从通用寄存器加载段、HLT、以及 ARPL 这种仅保护模式合法的指令”上对 real/protected 模式做区分微码，从内存加载段寄存器走的是同一段微码——这是和 386 设计取舍上的一个有趣对照。bell-cot 借一句”设置 PE 后必须很快跳转”补充了一段历史：Intel 当年留出两条指令的宽限期，是为了让流水线里已经按实模式预译码的指令不至于触发三重故障，而不是写完整文档解释”实模式预译码 / 保护模式执行”的全部组合行为。还有评论调皮地把”voodoo mode”和 unreal mode、DOS4GW 牵到一起，回忆 32 位 DOS 编程时代的 4GB 寻址技巧。