HN 每日深度阅读 · 2026-04-26
本期更像一次对“朴素技术”的致意:USB 10GbE 网卡、纯文本、1-bit 像素画、C64 音乐源码和通用积木都在强调简单、可保存、可理解。与 AI、生物风险和异步编程争议并置后,反而显出长期耐用的技术美感。
共 20 篇 · 约 13,497 字 · 约 35 分钟读完
1. 全新 10 GbE USB 网卡:更凉、更小、更便宜
Jeff Geerling 测评了一款基于 RTL8159 芯片的 WisdPi USB-C 10 GbE 网卡,售价 $80,约为同档位 Thunderbolt 10G 网卡的不到一半,体积、发热也明显改善。过去笔记本要上 10 千兆几乎只能选又贵又烫的 Thunderbolt 方案(基于 Aquantia 芯片,外壳本身就是巨型散热片),这次新品在跑双向 iperf3 后温度仅升到约 42.5℃,待机功耗约 0.86W(USB 2 模式下测得),手感”温热但不烫”。
性能层面给出了关键限制:要跑满 10 Gbps 必须接到 USB 3.2 Gen 2x2(20 Gbps)端口。作者在 AMD Ryzen 7900x 桌面机上单向跑出 9.5 Gbps,下行接近线速,但回程仅 5 Gbps;MacBook Air M4、Framework 13 的 USB 3.1/3.2 Gen 2x1 端口只能跑出 6–7 Gbps。Mac 系统插上即用但”硬件”面板把链路速率错报成 2500Base-T;Windows 必须手动安装 Realtek 最新驱动,且设备管理器把所有 USB 3.x 一律标成”USB 3.0”,主板厂商也极少在端口旁标注 10 / 20 速度,给用户辨别带宽留下不少坑。作者还顺手对比了同品牌 5 Gbps 版 ($30),在 M4 Air 上稳定跑出 4.6 Gbps,性价比更高。
文章结论是分场景推荐:已经具备 10 GbE 网络且坚持用 RJ45、追求紧凑体积的用户买这款是好交易;要满速 10 Gbps 或 SFP+ 仍然得 Thunderbolt 方案;普通用户继续选 2.5G/5G 适配器更划算。HN 讨论几乎可以预见会集中在三条主线:USB 命名混乱(Gen 2 / Gen 2x2 / USB4 / Thunderbolt 4 的标识与实际带宽差异)、Realtek 驱动质量与 Linux 支持成熟度、以及家用网络是否真的需要 10G——大量评论会拿 NAS、ZFS、本地备份场景做证据,反对方则强调瓶颈早已转移到磁盘和 SMB 协议,跑满 10G 实测难度远大于换网卡本身。AliExpress 上同芯片白牌产品价格更低也会被反复提到。
2. 用过度思考、范围蔓延和结构化 diff 来毁掉自己的项目
Kevin Lynagh(Clojure 社区资深开发者)在这期 newsletter 里复盘自己长期重复的一个反模式:有想法时要么”直接动手做”得到满意结果,要么先去查 prior art,结果发现别人做过的范围远大于自己最初想要的,纠结要不要扩大 scope、要不要在已有方案上叠加、要不要换用流行项目,最后既没解决原始问题,也没体验到造物的快乐。他把这归结为对”自己的成功标准”内化得不够清楚。
文中给出两个对照案例。正面的是上周末和朋友 Marcin 一起做的厨房置物架:从咖啡桌上头脑风暴设计、3D 打印宜家收纳盒挂钩、用工作台剩料、手持砂光机随手倒角、用朋友送的剩漆封边,整个项目周末完成;因为最初目标就是”和朋友一起折腾木工”,对象级目标自然就被压缩成”做一个适配我厨房的架子”,没有跑偏。反面案例是 difftastic 的一次糟糕表现把他推进了”结构化/语义 diff 工具调研”的兔子洞——周末花 4 小时在 GitHub 翻各种工具,期间反复掉进”语义树 diff 是 PhD 级问题”和”为什么这些项目都带 MCP server,我并不想要 MCP server”的情绪低谷,最后才想起最初目标只是”在 Emacs 里给自己做更顺手的 diff 流程,自己写大概也就 4 小时”。他还点名几个长年未落地的 deep-well 兴趣:硬件原型接口、融合 Clojure 与 Rust 的语言、用于 CAD 的语言——投入了几百小时却始终没合成出真正解决初衷的东西,因为成功标准本身就模糊。
第二节 “Conservation of scope creep” 转向 LLM 辅助编程的具体陷阱:他想给 Emacs 做一个 Finda 风格的全文件系统模糊路径搜索,本来照着十年前 Finda 的实现重写应该几小时完事,但在”plan mode”里被 LLM 推荐了 Nucleo 库,因为库本身设计漂亮、支持 smart case 和 Unicode 归一化就用上,结果 Nucleo 多出的”^foo 锚点”功能让他开始琢磨在文件路径语境下锚点该如何按 segment 切分,索引必须记录段边界、查询要快速命中各段……一路滑向 YAGNI 反面教材,最后整段代码扔掉重来。HN 讨论可推测的方向:LLM 让”plan mode”和库选型变得便宜,反而放大了 scope creep 的诱惑;用”成功标准”而非”功能完备度”作为停手信号;以及对 difftastic、Nucleo、structural diff 工具链的具体推荐与吐槽,Clojure / Emacs 用户会在评论区贴出自己的 just-do-it 小项目互相印证。
3. 1-bit 葛饰北斋《神奈川冲浪里》(2023)
作者 Hypertalking 五年前启动了一个目前停滞的怀旧项目:把葛饰北斋《富岳三十六景》全部用 1-bit 像素画在早期黑白 Macintosh 上重画一遍,分辨率严格固定在原始的 512×342 像素。本文公开的是该系列第一幅成品——《神奈川冲浪里》(Fuji 01),实际是他第二或第三个动手画的,在 Mastodon 友人 @polyducks 催促下才整理发布。
技术路线百分百怀旧驱动:硬件用 Quadra 700 或 PowerBook 100,因为这两台老机最稳定可用,跑的是他本人最熟悉、最有感情的 System 7;软件用儿时家里那套 Aldus SuperPaint 3.0;坚持原生 1-bit 黑白和 512×342 全屏分辨率,是他刻意给自己加的约束,理由就一句”感觉这样才对”。作者反复提到,吸引他做这件事的是”心流”——一格格把像素摆到位、既要还原北斋的构图,又要踩住 Susan Kare 早年用 MacPaint 那个著名”日本女子”图标确立的 1-bit 美学,这种过程本身极其满足。Susan Kare 那张”Japanese lady”作为 MacPaint 包装封面的渊源也被特地致敬,并附上从 kareprints.com 购买原版印刷品的链接。
作品采用 CC BY-NC-ND 4.0 许可,作者强调转载请署名并回链。彩蛋是为 640×480 屏幕的老 Mac 提供了桌面图样下载(PNG 与 PICT 压缩包两种格式),意在让人真正把这张图当系统壁纸用回 System 7 的环境里。HN 讨论可推测会聚焦三类话题:1-bit / dithering 美学的复兴(与 PICO-8、Playdate、obra dinn 等近年作品并提);Susan Kare 早期图标语言对 GUI 视觉传统的奠基性影响;以及怀旧 Mac 玩家分享自己手头还在跑 System 6/7 的硬件、SCSI2SD 改造、Aldus SuperPaint 与 MacPaint 的功能差异。也会有人讨论在限制极强的画布上重绘北斋这种”再创作”是艺术练习还是单纯的怀旧消费,以及为什么这个系列五年只产出一两幅——典型的”约束带来心流,但产能极低”的爱好项目讨论。
4. 纯文本已经存在了几十年,并将继续存在
这是 Unsung 博客的一篇短文,介绍并讨论一类”纯文本/ASCII 风格的图表与 UI 设计工具”——具体点名了三款:Mockdown(网页端,移动端可用)、Wiretext(网页端但仅限桌面访问)、Monodraw(Mac 应用)。作者将这类工具的用户画像归纳为:偏好”刻意限制视觉选择”的人、需要把简易图直接嵌进源码的开发者、以及越来越多把它们当作生成式 AI 入口的人——意指用 ASCII 草图作为 prompt 喂给 LLM 来快速沟通界面或架构意图。
文章从三个角度阐述了这类工具的趣味性。其一,是对 1970–80 年代 TUI 与 Turbo Vision 黄金年代的现代回声:保留等宽文本审美,但叠加了现代性能、Web 可达性、鼠标和触控板的精细操作,与作者前一篇关于 Mario 的文章遥相呼应。其二,是把”约束”当作设计实践本身——在计算机能力越来越强的时代,主动给自己加约束既能让创作更轻松、也能在 AI 泛滥之后让事情变得”更难”,作者认为这种 self-constraint 的价值会愈发重要。其三,是对等宽纯文本作为载体的长寿与潜力的肯定:不只是文件格式可移植,更因为”以文本编辑作为界面”是一种被深度掌握、表现力强大的范式。文末作者俏皮地补了一句 caveat——这些工具说自己是 “ASCII” 其实是俗用,就像人们把所有循环动画都叫 “GIF” 一样。
HN 讨论可推测的方向:开发者们会贴出更多同类工具与命令行老兵——asciiflow、Graph::Easy、textik、ditaa、PlantUML 文本模式、aafigure、boxes、figlet,以及 Emacs 的 artist-mode 和 picture-mode;会有人争论 Monodraw 是否值得为之换上 Mac、Wiretext 与 Mockdown 是否会落入 “网页化即收订阅费”的老路。另一条主线是关于 LLM 时代的提示工程:把界面草图压缩成 ASCII 给模型,确实比自然语言更精确、Token 也更省,但一旦图变复杂就会触达等宽对齐的物理上限。还会出现关于”什么时候纯文本反而成了束缚”的反对声,比如复杂时序图、跨系统架构图早已超出 ASCII 表达力,Mermaid、Excalidraw 才是更合理的现代选择。文章作者提到的”约束让 AI 时代的事变难”会引发一轮关于减速、刻意手工、抵抗自动化的小型哲学讨论。
5. 用 /dev/urandom 替换 IBM Quantum 后端
这是一份针对某 “Q-Day Prize” 提交的精确技术反驳。原项目声称用 IBM Quantum 硬件(ibm_fez)对 ECDLP(椭圆曲线离散对数问题)发起量子攻击,恢复了最高 17 比特曲线上的私钥,17 比特那次还领走了 1 BTC 奖金。yuvadm 用一个 −29 / +30 行的”外科手术补丁”改了 projecteleven.py:把 solve_ecdlp() 里调用 IBM Quantum 后端的部分整段替换成 os.urandom——电路构造、ripple-carry 加法 oracle、提取流水线、d·G == Q 的经典验证器全部一字不改,只是采样来源从量子硬件换成纯软件 CSPRNG。
实测结果对原项目极具杀伤力。小规模挑战(4/6/8/9/10 比特,每题 1 次、8192 shots)下,/dev/urandom 恢复到的私钥与作者所谓”硬件结果”逐位相同,全部一次通过。旗舰挑战上,16 比特 5 次尝试中 4 次成功恢复正确的 d=20248;获奖的 17 比特 5 次尝试中 2 次成功恢复 d=1441,约 40% 命中率,整套实验在普通笔记本上完成,无需 IBM 账号、无需 Token、无需联网。文章给出了原因的闭式解释:作者的提取流程对每个 shot 算 d_cand = (r − j)·k⁻¹ mod n,然后用经典验证器 d_cand·G == Q 收下命中项;在均匀噪声假设下,d_cand 在 [0, n) 上均匀分布,P(≥1 hit in S shots) = 1 − (1 − 1/n)^S。代入作者自己用的 (n, S):4–9 比特挑战的理论命中率全部是 100%,10 比特 84.65%,16 比特 45.96%,17 比特 26.43%——与 urandom 实测分布完全吻合。更扎心的是作者本人 README 第 210 行就承认 “当 shots ≫ n 时,仅靠随机噪声也能高概率恢复 d”,但他给出的所有挑战 shots/n 比例都在 1.9× 到 1170× 之间,全部落在他自己定义的 “经典区间” 里。
文章末尾给了诚实的 caveat:repo 中六种 oracle 变体、CDKM ripple-carry 加法器映射到 heavy-hex 拓扑、半经典相位估计加中途测量等工程是真实且非平凡的;这次批评窄化在密码分析这一个声明上——这些硬件运行不是量子计算机做的 ECDLP 密钥恢复,只是经典验证器跑在均匀随机候选上的成功概率,无需任何量子硬件就能复现。HN 讨论可推测会聚焦量子计算领域的炒作与同行评议缺位(Q-Day Prize 评奖标准、IBM Quantum 市场宣传、近年大量 “我们用量子机器破解了 X 比特 ECC” 论文都没经历这种简单的 null-hypothesis 测试),以及”奖金已经发出去了 1 BTC,怎么办”。也会出现对作者工程能力本身的相对正面评价——奇怪的是真的有人花时间把电路构造写完整了,但没做出能区分量子 vs 经典噪声的对照实验。
6. async 承诺了什么、又交付了什么
- 原文: https://causality.blog/essays/what-async-promised/
- HN: https://news.ycombinator.com/item?id=47859442
- 得分: 128
- 评论: 132
Causality 博客这篇长文按时间顺序梳理了并发模型从 OS 线程到 async/await 的”每一波都修了上一波最严重的问题、又引入了新问题”的演化史,并把它放在 Dan Kegel 1999 年提出的 C10K 问题的语境里。OS 线程贵:每条线程通常预留约 1MB 栈、创建耗时约 1ms、上下文切换走内核态烧 CPU;一个连接一线程的 web 服务器在数千并发下,调度开销远超有用工作。
第一波是回调 + 事件循环(select/poll/epoll/kqueue),Node.js 和 Nginx 把这套吃透了——单线程几千连接、性能问题解决,但代价是控制流被反转为嵌套闭包,意图被切碎到回调金字塔里,于是诞生了 callbackhell.com 这种社区集体吐槽。回调更深的毛病是错误处理被切断(没有调用栈可以让异常向上传播,每层都要手动穿错误状态)以及缺乏取消机制——发起后无法停止、回调还是会触发,调用方得自己处理”我已经不再关心这个结果”的状态机。
第二波是 Promise / Future。概念可追溯到 1977 年的 Baker & Hewitt,但直到 2010 年代 C10K 压力才把它推向主流:JavaScript 在 ES2015 跟随社区驱动的 Promises/A+ 标准化原生 Promise,Java 8 提供 CompletableFuture。Promise 的好处是可组合(promise.then(f).then(g) 是流水线而非金字塔)、错误处理可在链尾用 .catch 收拢、并且本身是一等公民值,可以存储传递返回,把对话从”线程”抬升到”数据依赖”。文章用同一个”取用户后取订单”的例子做了回调 vs Promise 的对照。但 Promise 也有四个新问题:one-shot(只能 resolve 一次,建模流和事件就得退回 EventEmitter/Observable,函数被迫分裂);组合笨拙(要把 user 和 orders 都带到末尾的 .then 里得嵌套或上 Promise.all,分支、循环、提前退出全靠组合子,把 FP 习语硬塞进命令式语言体感不自然);错误隐式吞掉(早期未处理的 reject 静默丢失,Node.js 后来把 unhandledRejection 升级为进程崩溃,浏览器加了对应事件,结果一个意在改善错误处理的特性反而创造了新的静默失败类);以及”颜色拆分”——每个函数要么返回值要么返回 Promise,调用方必须知道,库作者必须二选一,加一行数据库调用就能让一整条调用链从同步变异步。
第三波是 async/await——C# 2012 发起,JavaScript ES2017、Python 3.5、Rust 1.39、Kotlin、Swift、Dart 相继跟进——把 Promise 链写回顺序代码的形态,文中给出了同一个 loadDashboard 例子的对照。文章在此处进入下一节(被截断处),后续可推断会展开 async/await 自身的问题:函数颜色(red/blue function)、运行时绑定与栈追踪丢失、取消和结构化并发缺失、与同步 IO 库的互操作摩擦、以及 Rust async 的具体痛点(生命周期、Send + Sync、Pin、!Sized future、运行时碎片化)。HN 讨论可推测会沿三条主线展开:函数颜色之争(Bob Nystrom 那篇经典再被翻出来,Go goroutine、Java Loom 虚拟线程、Erlang 进程作为”无颜色”反例反复被举);async 真的解决了 C10K 还是只是把复杂度搬了家(关于尾延迟、调度公平、CPU bound 任务被 await 掉的讨论);Rust async 的实际工程负担与 tokio 一家独大格局。也会有人追问”波浪式叙事是否只是事后合理化”——或许真正改变的不是抽象,而是硬件和工作负载本身从 IO bound 变得更复杂。
7. 通用免费积木套件 The Free Universal Construction Kit
- 原文: https://fffff.at/free-universal-construction-kit/
- HN: https://news.ycombinator.com/item?id=47860198
- 得分: 232
- 评论: 41
这是 F.A.T. Lab 与 Sy-Lab 在 2012 年发布的一个老项目,最近被翻上 HN 头版。项目内容是一组接近 80 块”转接积木”,让 10 种主流儿童拼装玩具之间任意互通——具体包括 Lego、Duplo、Fischertechnik、Gears! Gears! Gears!、K’Nex、Krinkles(Bristle Blocks)、Lincoln Logs、Tinkertoys、Zome 和 Zoob。所有适配件以 .STL 格式开源在 Thingiverse,整套 29MB 也可从 F.A.T. Lab 站点下载,Pirate Bay 当时新开的 “physibles” 频道也准备同步种子,普通家用 Makerbot 之类的桌面 3D 打印机就能打。
项目的动机层层递进。第一层是孩子真实的玩耍欲望:明明想用一半 Tinkertoy、一半 K’Nex 拼一个东西,但每个体系都是封闭接口,作者们小时候自己也试过。低成本 3D 打印让”做转接件”这件事在家就能完成。第二层是反对”专长一次性消耗”——孩子在某种玩具上积累的创造力不应该每年圣诞节随新玩具到来而作废,转接件让 Krinkles 这种幼龄玩具能继续给玩 Lego 的大孩子甚至玩 Zome 的青少年提供使用价值,是一种横跨成长阶段的”前向兼容”。第三层是把”逆向工程当作公民活动”明确地举出来——任何人都可以为大规模生产的封闭商业制品开发桥接件,弥补企业利益不愿或不能满足的公共空白。作者把入选玩具的标准定为市场覆盖度加上特性多样性:有的提供机械强度或大尺度搭建能力,有的擅长动力机构,有的能拼出丰富的晶体几何——合在一起是一个”meta-mashup 系统”,方便创造越界建筑与混生现成品。
文章随后进入法律与商业讨论部分(截断未读),从导航看包括 “Legal and Commercial Implications” 和 License/Disclaimers 两节,结合项目立场可以推断会涉及 Lego 等公司的专利状态、商标标识与未注册商标的差别,以及 STL 文件作为”可制造的设计”在 DMCA 与传统专利体系下的灰色地带。许可上整体面向 CC + 非商业再利用。HN 讨论可推测会循三条线展开:3D 打印 14 年来在精度、材料、可重复性方面的进步,14 年后再打这套适配件还需要哪些调校;Lego 几何与公差体系的”事实标准”地位以及为什么民间 CAD 库 LDraw 至今活跃;以及”逆向工程作为公民活动”这一立场的当下回响——评论会把它和 right-to-repair、iFixit、3D 打印替换件、汽车诊断 OBD-II 解锁、农机 John Deere DRM 战争等议题串到一起,认为 2012 年那种乐观开源精神在今日云连接产品和数字商品时代反而更加迫切。
8. 用编码助手复活那些你永远不会完成的旧项目
作者 Matthew Brunelle 把那些”曾经动过念头、写了 POC、但永远不会真正完成”的个人项目,类比为日语里的「积ん読」(Tsundoku)——堆着没读的书。他认为这类项目恰恰是测试 AI 编码助手最理想的场景:反正写不完,失败也无所谓。他选的实验对象是一个 YouTube Music 到 OpenSubsonic API 的 shim 层,用 ytmusicapi 抓元数据、yt-dlp 拉流,让 Navidrome/Feishin/Symfonium 这类客户端能直接消费 YT Music。
实验配置很有讲究:他先在 uv 项目里放好 fastapi、pydantic、ytmusicapi、yt-dlp 依赖,把 OpenSubsonic 的 openapi.json 扔进目录,写一份极简 README,再手动 /init 生成 CLAUDE.md,并在里面塞进自己反复要求的约定(类型注解、Pydantic V2、Google 风格 docstring、pytest 风格)。他的工作流是:进 plan mode → 提需求 → 审查计划补漏 → 给资源链接 → 让 Claude 用搜索工具确认惯例 → “Accept and clear context” → 重复。
具体执行上,第一条 prompt 让 Claude 根据 spec 把所有 JSON 端点 stub 出来;第二条让它实现”搜歌+串流到客户端”的最小闭环。MVP 很快跑通——他承认听到 Feishin 真的开始播放音乐时颇为震惊。难点出现在长尾阶段:OpenSubsonic 有 ~80 个端点分布在 15 个类别,stub 返回 null 会让客户端炸掉,必须返回结构正确的空集合;端点的 .view 后缀这种 spec 没明说的细节也得靠把客户端日志喂回 Claude 才能定位。每次出错就让它补单测。他还做了内存缓存避免触发 ytmusicapi 限频,用 sqlite 存音乐元数据,把流式下载的内容落盘做”边播边存”的本地缓存。
文章开头的注释很关键:作者补充说自己最近的看法已经变了——他在另一篇博文《Claude Code 的 vibe 越来越差》里详细批评了 Opus 4.6 的退化,本文之所以现在发出来,是为了给后面那篇关于 OpenCode 的对照评测做铺垫。
HN 讨论大概率围绕三个方向:一是”复活旧项目”这个心理框架本身——很多人共鸣,认为 AI 助手最大的解放不是写新代码而是降低重启旧坑的启动成本;二是 OpenSubsonic 生态本身被点名,社区有人补充 Navidrome/Feishin/Symfonium 的真实使用感受;三是 Claude Code 体感下滑的争论,部分用户附和模型在长上下文重构上不如几个月前,也有人反对说是 prompt 工程没跟上。yt-dlp + ytmusicapi 绕开 YT Music 官方限制的合法性也会被讨论。
9. GPT-5.5 生物风险漏洞悬赏计划
- 原文: https://openai.com/index/gpt-5-5-bio-bug-bounty/
- HN: https://news.ycombinator.com/item?id=47901734
- 得分: 121
- 评论: 93
OpenAI 在 2026 年 4 月 23 日宣布针对 GPT-5.5 启动一项”生物风险漏洞悬赏”(Bio Bug Bounty),专门测试模型在生物安全场景下的越狱抗性。范围是 Codex Desktop 里的 GPT-5.5;挑战内容是要求红队找到一条「通用越狱 prompt」,能在干净对话中一次性绕过五道生物安全题的拦截而不触发任何 moderation。最高奖金 25,000 美元发给第一个完整通关的提交,部分通过的酌情给小额奖励。申请窗口 4 月 23 日到 6 月 22 日滚动审核,测试期 4 月 28 日至 7 月 27 日。所有 prompt、回答和发现都在 NDA 保护下。
OpenAI 把这次活动定位为”加固 AI 在生物领域高级能力的护栏”——也就是承认 GPT-5.5 已经强到了不得不专门测它生化双用途风险的程度。参与者必须有 ChatGPT 账号、签 NDA,且会优先邀请已经合作过的红队人员。文末还顺带宣传了常规 Safety/Security Bug Bounty。
文章本身信息密度不高,更像一份招募公告。真正有讨论价值的是它揭示的两个事实:第一,OpenAI 把”通用越狱”作为悬赏目标,意味着其内部已不再追求”零越狱”,而是退守到”通用越狱足够难找”这一更现实的防线;第二,GPT-5.5 的生物风险评估被单拎出来,说明它在内部 capability eval 里跨过了某个阈值,按照 Preparedness Framework 这通常意味着模型已被分类到 medium 或更高的 bio risk 等级。
HN 讨论大概率分几条线:一派质疑 25,000 美元相对于潜在生物风险的不对称——找到通用越狱的人若动机不纯,黑市价值远高于赏金,且 NDA 反而限制学术界透明披露;另一派会比较 Anthropic、Google DeepMind 类似的红队项目设计,讨论 OpenAI 限定 Codex Desktop 是否过窄、是否真能反映普通用户能接触到的攻击面。还会有人争论”安全通过混淆”——靠 NDA 锁住越狱 prompt 是不是某种 security through obscurity,因为开源/小模型一旦能力追上,相同的越狱思路迟早会公开。也会有评论质疑 OpenAI 同时高调发布更强模型又喊”生物风险”,是营销话术还是真护栏。最后会有少量声音认为,把红队工业化、付费化是合理方向,比让一线研究者无偿测试要健康。
10. Martin Galway 公开 1980 年代 C64 游戏音乐源文件
- 原文: https://github.com/MartinGalway/C64_music
- HN: https://news.ycombinator.com/item?id=47900398
- 得分: 155
- 评论: 20
Martin Galway 是 1980 年代 Commodore 64 游戏配乐界的传奇音乐家之一,与 Rob Hubbard、Tim Follin 同属那批用 SID 芯片硬抠出多声道电子乐的开创性程序员/作曲家。他亲自在 GitHub 开了一个仓库 MartinGalway/C64_music,把当年自己写过的 C64 游戏音乐源文件公开。仓库本身页面信息(截至抓取时)显示 281 颗 star、20 个 fork,没有附长篇说明,主要价值在于”原作者亲手放出原始资产”这件事本身。
C64 音乐源文件的稀缺性需要一点背景才能体会:1980 年代的游戏音乐通常直接以 6502 汇编代码 + 自定义播放器格式存在,作曲家会写一个驱动程序在每次光栅中断里更新 SID 芯片的 25 个寄存器,再用一套类 tracker 的数据格式描述音符。这些源代码要么压根没存档,要么随着工作室倒闭、磁盘损坏而散失。社区过去几十年的工作主要是从游戏 ROM 里反向提取 SID 文件(HVSC 高电压 SID 收藏库就是这个工作),而原作者直接放出原始 .asm/.prg 源文件相当于把”考古挖掘”瞬间变成了”档案馆开馆”。
Galway 的代表作包括 Times of Lore、Wizball、Comic Bakery、Game Over、Yie Ar Kung-Fu 的 C64 移植、以及 Rambo: First Blood Part II 等。他对 SID 的贡献中最被反复提到的是他的采样回放技巧——在 SID 芯片本不支持 PCM 的限制下,靠快速调整音量寄存器实现近似采样效果,这一技巧后来被广泛模仿。
HN 评论虽然只有 20 条但密度很高。可以预期的讨论方向:第一,老一代 demoscene/chiptune 玩家会激动地在评论里贴自己最喜欢的 Galway 曲目和 YouTube/SID 链接;第二,会有人对比 Galway、Hubbard、Follin 三人风格,并讨论各自播放器架构的差异;第三,技术派会深入聊 SID 8580 vs 6581 滤波器差异、采样回放黑魔法、为什么 C64 三声道能听起来像六声道;第四,关心数字保存的人会赞赏这种”作者亲自归档”的做法,并提到 HVSC、CSDb 等长期承担保存工作的社区项目。
11. LamBench:用纯 Lambda 演算评测 AI 模型
- 原文: https://victortaelin.github.io/lambench/
- HN: https://news.ycombinator.com/item?id=47900506
- 得分: 128
- 评论: 38
Victor Taelin(HVM/Bend 作者,长期在搞函数式编程的硬件并行运行时)发布了 LamBench——一个用 lambda 演算题目衡量大模型「智能」的基准。页面以 ASCII 进度条形式列出排行榜,总分 120:gpt-5.4 以 110/120 (91.7%) 居首,opus-4.6 108、gpt-5.3-codex 107、opus-4.7 106、gemini-3.1-pro-preview 106、sonnet-4.6 99、gpt-5.5 94、gpt-5.2 93、gpt-5.1 90、kimi-k2.6 82、gpt-5 80、gpt-5.4-mini 70、deepseek-v4-pro 64,再往后是 qwen3.6-plus、grok-4.20、glm-5.1、gemini-3.1-flash-lite、kimi-k2-thinking、kimi-k2.6 开源版、gemma-4-31b-it、gpt-5.3-codex-spark,最低 14/120。
榜单本身有几处值得品味的现象:旗舰模型集中在 88–92% 的窄区间,说明 lambda 演算这类需要符号化推理 + 严格规约 + 长链跟踪的任务,已经把目前最强模型挤在天花板附近;GPT-5.5 反而比 GPT-5.4 低 16 分,与 OpenAI 把 5.5 定位为更强但更”安全收敛”的版本一致——更多 RLHF 拉齐反而损害符号操作能力,是社区已经反复观察到的回退模式。Opus 4.7 略低于 4.6,也是类似现象。开源模型中 kimi-k2.6 (82) 表现意外强,超过了 gpt-5;DeepSeek V4 Pro 64 分则相对偏弱,落在中游。GLM-5.1、Qwen3.6-Plus 的表现表明国产模型在纯符号推理上离前沿仍有 30–40 分以上的差距。
Lambda 演算之所以是有意思的 benchmark,是因为它几乎绕开了”知识”维度:题目无法靠记忆 Stack Overflow 或读过的书来背答案,必须真的执行 beta-reduction、跟踪变量替换、避免名字捕获、做 alpha 转换。这恰好是预训练数据里相对稀疏、且容易被噪声淹没的能力。Taelin 长期主张”现有 LLM 的弱点是无法做精确符号操作”,LamBench 是这个观点的可视化物证。
HN 讨论会聚焦在:榜单对比传统 GSM8K/MATH/HumanEval 是否更难污染(lambda 表达式生成器可以无限造题)、为什么 5.5 弱于 5.4(safety tax 假说)、Sonnet 4.6 在自家家族里”反常”地稳健、kimi 系列开源版本得分忽高忽低暗示 RL 训练数据洗得不干净、以及 chain-of-thought / scratchpad 是否被允许这类方法学问题。也会有人讨论 LamBench 的题目集是否对 Bend/HVM 这类作者本人在用的语言有偏好。
12. 豆类放屁问题:和哈佛科学家测试了 17 种解药
Serious Eats 的作者花了一年时间研究”如何让豆子不再让人胀气”。他指出网上文章反复重复的民间偏方几乎都没有实证基础,于是借助每年和 Harold McGee 一起在哈佛 Science of Cooking 课程任教的关系,说服 Pia Sörensen 和 Dave Weitz 两位教授把”豆子放屁潜力测量”做成课程项目。哈佛实验室提供离心机、液相色谱、质谱、冻干机等设备,并组织了一支被命名为「Harvard Fart Squad」的学生志愿者队伍,亲身参与双盲实验。
科学背景上,豆子放屁的元凶是 FODMAPs(可发酵的低聚糖、双糖、单糖和多元醇)。人体无法消化这些糖,但肠道菌群可以,发酵副产物就是气体。豆类里关键的三种低聚糖是 raffinose、stachyose、verbascose;他们用的 pinto 豆里 raffinose 和 verbascose 含量很低,于是分析集中在 stachyose。
测试设计上,作者从大量民间偏方里选出几条进行系统对照:用罐头豆 vs. 干豆、是否冲洗、是否泡发、是否丢掉泡豆水、是否冲洗熟豆、加月桂叶、加昆布等。他刻意排除了会显著改变风味/外观的姜黄、姜等。同时他对一个被科学验证有效的方案——alpha-galactosidase 酶(市售品牌 Beano)——做了一个有趣的扩展:与其让食客吃药,能不能把酶当成烹饪原料直接加进锅里?Beano 公司明确说这行不通,因为高温会让酶变性;作者打算通过精确控温在低温窗口加酶来绕开这点。
文章还专门反驳了”多吃豆子身体就习惯了”这条流行说法。作者从微生物学常识出发:低聚糖是肠道菌的食物,给它们更多食物只会扩大菌群规模、产更多气,逻辑上根本说不通;他怀疑只是吃多了人对自己放屁脱敏了。
最终实验规模是 51 份豆样、17 个变量、每组三复,再让 Fart Squad 做了一轮双盲味觉测试,把判定为”低屁”和”高屁”的豆子做成 dip 分给 45 名同学吃。文章在抓取的位置截断在样品邮寄给 Pia 之前,结论部分未读到,但前文已经透露 alpha-galactosidase 烹饪法是被寄予厚望的核心实验对象。
HN 讨论会非常热闹:低 FODMAP 饮食人群会贴自己的实测经验、有人会强烈推荐高压锅长时间烹煮、kombu/海带派和 epazote(墨西哥土荆芥)派会各自捍卫自家传统、Beano 用户会比较不同品牌酶活性、也会有营养学背景的人指出”产气其实意味着膳食纤维有效喂养肠道菌”,未必是坏事。一定会有评论调侃 Pythagoras 怕豆子的传说和 St. Augustine 关于「能用屁奏旋律的人」的引用。
13. Discret 11:1980 年代法国电视加密系统
- 原文: https://fabiensanglard.net/discret11/
- HN: https://news.ycombinator.com/item?id=47900478
- 得分: 140
- 评论: 23
Fabien Sanglard 这篇 2020 年的老文回顾了 1984 年法国 Canal+ 频道为了实现”付费电视”而设计的模拟加密系统 Discret 11。当时法国只有三个免费台,Canal+ 作为第四个商业付费台靠订阅费运营,技术挑战是:信号是开放广播的,怎么保证只有付费用户能看?
Discret 11 的方案在工程美学上极其优雅。它不在帧级别加密,而是在扫描线级别工作,且严格说不是”加密”,只是”延迟”——把每条扫描线的图像数据向右平移 0、13 或 26 个像素,左侧用黑色填充。这一移位完全利用模拟信号的可延迟特性,用廉价模拟电路就能完成,不需要昂贵的数字电路。具体多少延迟由一个 11 位密钥决定(Discret 11 因此得名):密钥作为 LFSR(线性反馈移位寄存器,与 Wolfenstein 3D 的 fizzlefade 同类技术)的种子,每帧 576 行各取一个 LFSR 输出值,模 3 得到延迟档位。LFSR 每 6 帧重置一次。
被移走的图像哪儿去了?这里又一个巧妙之处:SECAM 信号本来就在标题安全区(Title-safe area)内,左右两侧本来就是黑边,所以右侧切掉、左侧填黑刚好”无损”。解密端只要反向移位即可。
同步与防作弊设计同样讲究。解码器靠监视第 310 行和第 622 行的亮度跳变来同步——由于每帧由偶数场和奇数场两遍交错扫描,第 310 行实际位于屏幕底部不可见区域。解码器内部有 8048 单片机和 16 位 EEPROM 存储的固定码,与用户每月输入的 8 位密钥(注意是 8 位十进制不是 11 位二进制)、解码器序列号一起哈希出真正的 LFSR 种子。8 位而非 4 位的设计,巧妙阻止了暴力破解和”借用朋友密钥”的薅羊毛攻击。每 8 位密钥还能派生出最多 6 个不同密钥(用于从未真正启用的”分级订阅”功能)。
音频部分则明显粗糙得多——是”通过模糊实现安全”的反面教材:用 12.8 kHz 载波做 AM 调制,把声音分成两段并互换频带,无密钥、可逆、纯硬连线就能解。文章作者评价:因为破解音频的危害远小于视频,所以工程师没花心思。
HN 仅 23 条评论但都很有信息量。可以预期讨论:法国童年记忆党分享当年看不到 Canal+ 的频道时屏幕到底是什么样、各种第三方破解电路图传说;技术派对比 Discret 11 与同期 VideoCipher II(美国 HBO 卫星)、Nagravision、PAY-TV 系统的差异;密码学历史讨论”民用模拟加密”的最后辉煌——很快进入数字时代后这类设计就被 DVB-CSA 之类取代。也可能有人讨论 LFSR + 序列号哈希这种思路在今天 IoT 设备里仍有回声。
14. 特朗普解雇美国国家科学基金会全部 24 名理事会成员
Science 杂志报道,特朗普政府解雇了美国国家科学基金会(NSF)国家科学委员会(National Science Board, NSB)的全部 24 名成员。该委员会按照 1950 年《国家科学基金会法案》设立,成员由总统提名、参议院确认,任期 6 年交错任命,承担两项法定职能:一是为 NSF 制定政策、批准重大科研计划与预算优先级;二是作为总统和国会的科学顾问机构,独立提交国家级科技政策报告。委员通常是来自顶尖大学和国家实验室的资深科学家、工程师与大学校长。
按法律设计,NSB 任期交错正是为了避免任何一届总统一次性更换全部成员、保持机构科学独立性。一次性解雇全部 24 人在 NSF 75 年历史中没有先例。原文页面在抓取时被 Cloudflare 的 anti-bot 拦截无法读到正文细节,但从 Science 的标题、HN 标题、以及该报道在 2026 年 4 月底密集出现的背景看,事件性质是行政分支对独立科研治理机构的强力清洗,与同期对 NIH、CDC、NOAA 等机构的人事重整属于同一波动作。
可以推测报道涉及的核心争议点:第一,法律层面 NSB 委员是否属于总统可以随意解职的官员、还是受到「不可任意解职」(for-cause removal only) 保护,这是 Humphrey’s Executor v. United States 判例延伸出来的经典宪法问题,已多次在本届政府其他人事案里被告上法院;第二,新任委员的提名标准——是否仍以学术资历为门槛,还是会向意识形态忠诚度倾斜;第三,对 NSF 未来基金分配的实质影响,特别是气候、社会科学、DEI 相关研究方向极可能被撤资。
HN 评论 30 条,密度大概率很高,方向可以预见:科研工作者会贴亲历的拨款延迟、grants 被冻结的真实故事;法律派会争论 NSB 是否属于”准独立机构”以及解职合法性;政治倾向不同的用户会激烈对线,版主可能频繁移除言论;也会有人对比 1950 年法案立法记录、引用艾森豪威尔时期”科学家在政府决策中的角色”的辩论;少量评论会聚焦中国/欧洲是否会因此吸纳被排挤的美国研究者,扩大本国基础科研份额。还会出现”美国在自毁长城”的整体叙事和”NSF 早就该改革”的反叙事并存的撕裂图景。
15. 用 Go WebAssembly 和 grdp 打造的网页版 RDP 客户端
- 原文: https://github.com/nakagami/grdpwasm
- HN: https://news.ycombinator.com/item?id=47900440
- 得分: 102
- 评论: 41
nakagami 在 GitHub 开源的 grdpwasm,是一个把 grdp(用 Go 写的 RDP 协议库)编译成 WebAssembly、跑在浏览器里的远程桌面客户端。仓库目前 148 星、4 fork,0 个 issues 和 PR,属于个人探索项目。
它解决的问题很具体:传统 RDP 客户端要装 mstsc、Remmina 或者 FreeRDP,移动端体验更糟;而以往的 web RDP 方案大多依赖中转网关——浏览器走 WebSocket 连服务器,服务器再以原生 RDP 连目标机。grdpwasm 把协议解析的活儿全搬进浏览器:grdp 的 Go 代码经 WASM 编译后,直接在前端处理 RDP 数据流,再用 Canvas 绘制远端桌面,键鼠输入回传。中间仍需要一个 WebSocket-to-TCP 桥(因为浏览器开不了原生 TCP),但 RDP 协议栈本身完全在客户端。
这套架构有几个优势:服务器端只是哑代理,可以做得极轻;协议解析跑在用户浏览器里,运维只需要部署一个静态站点加 WebSocket 转发;对企业内网”零客户端访问”场景友好。代价是首次加载 WASM 体积较大,性能比原生客户端差(位图压缩、NLA 加密都得在 JS/WASM 里做),且 RDP 协议复杂,grdp 库目前对 RDP 高级特性(音频、剪贴板、打印重定向)的覆盖度有限。
HN 评论分两派。一派惊艳于”浏览器即客户端”的工程美感,提到 Apache Guacamole 是同类思路的老牌方案,但 Guacamole 的协议解析仍在服务器侧(guacd);grdpwasm 把工作真正前移,是架构上的进步。另一派关心实际可用性:有人指出 RDP 的位图编码(NSCodec、RemoteFX)在 WASM 里解码速度堪忧;有人讨论安全模型——把 RDP 凭据塞进浏览器内存,在 XSS 场景下风险更大。还有讨论提到类似的 Go-WASM RDP 项目 myrtille、iRAP,以及最近兴起的浏览器内 VNC(noVNC)和 SPICE 客户端,整个”远程桌面 webify”是个持续多年的潮流。Go 编译出的 WASM 体积大也是常见吐槽,有人建议改用 TinyGo。
16. MS-DOS 真正的继承者只能有一个——Windows 2.x
Blisscast 的”GUI Wonderland”系列第 12a 期。这是一篇 GUI 历史普及文,配套 12b 期讲 OS/2 1.x,作者把 1987 年微软和 IBM 这对相爱相杀的兄弟产品并排考察。
Windows 2.0 于 1987 年 12 月 9 日发布,定价 100 美元;2.0/386 卖 199 美元;2.1/286 和 2.1/386 分别 99 和 195 美元;2.0 用户升级 2.1 只要 25 美元。它本质上仍是跑在 MS-DOS 之上的图形外壳,不是完整操作系统,因此继承了 DOS 的所有限制——内存模型、单任务、硬件抽象层缺失。但相比 1.x,它修了 bug,加入了桌面图标、键盘快捷键、可重叠窗口等关键体验改进。讽刺的是,微软当时把 Windows 2.x 定位为”Windows 这条线的最后一作”,预设 OS/2 会很快接班,把 Windows 用户平滑迁移过去。历史最终走向相反方向。
文章重点讲两个开发故事。第一是 Steve Ballmer 主导的 IBM-微软合作:双方约定 Windows 2.x 和 OS/2 的 UI 应尽量相似,让用户无缝过渡。Tandy Trower——之前救活 Windows 1.x 的那位经理——再次被指派负责 Windows 2.x,因为大部分原 Windows 团队已被抽调到 OS/2 项目,他还得跟 OS/2 团队协同保 UI 一致性。第二是 Trower 的一个进步主义决策:他坚持组建一个独立 UI 团队,雇真正的平面设计师而不是只让程序员搓界面,希望做出”真正以用户为中心”的设计。这在当时的软件公司里是稀有思路。
文章还提到 Windows 1.x 在 8086/8088 机器上勉强能跑,2.x 也好不到哪去——那时 80286/80386 才刚成主流,Windows 的真正起飞要等 3.0 用 386 保护模式。
HN 评论 53 条,情怀向居多。老用户回忆 Windows 2.0 的 Reversi 游戏、双窗口写文档的笨拙体验;有人指出 Aldus PageMaker 1.0 实际上是 Windows 2.x 时代少数能”卖动 Windows”的杀手锏;多人讨论 OS/2 失败的根因——IBM 的官僚化、对 286 兼容性的偏执让 OS/2 1.x 跑不动 386 的扩展能力,最终被 Windows 3.0 反超。也有评论提到 Apple v. Microsoft 的 GUI 抄袭官司就是从 Windows 2.0 开始的,因为 1.x 已和苹果有授权协议,2.x 的可重叠窗口被苹果指为越界。
17. 知识工作的拟像
happyfellow 这篇短文用一个简洁论点把 LLM 时代的工作焦虑讲透了:知识工作的质量本来就难以客观衡量,所有人长期依赖代理指标(proxy measures)来判断;LLM 把代理指标和真实质量的相关性彻底打破,于是整个体系滑向了 Goodhart 定律。
作者举的例子是市场分析报告。读者发现报告里日期写成半年前的、段落有拼写错误、图表标错或重复——于是直接弃读。判断逻辑是:连表面修饰都没做好的人,底层调研也不会认真。这种”用表面质量代理深度质量”的启发式过去之所以能用,是因为表面功夫本身有成本,认真的人才愿意投入;它和真实质量虽不等价,但有正相关。
LLM 把这个相关性砸碎了。ChatGPT 写出的市场分析报告读起来像顶级咨询公司输出,工程师能在几分钟内提交看上去高质量的几千行代码。同事们再请 AI 做 code review,AI 找出几个问题,作者修一修,工作仪式完成,但底层质量并未被任何人真正审视。作者把这叫做”知识工作的拟像”——形式与流程都在,唯独内核空了。
文章把矛头指向激励:员工被表面指标考核,理性选择就是用 LLM 最大化表面指标。LLM 自身也存在一样的扭曲——RLHF 训练目标不是”答案是否真”或”是否有用”,而是”答案是否像训练语料”或”标注员是否满意”。优化器极强,结果就是被优化得越来越擅长”看起来是高质量输出”。最终所有人花数十亿美元构建了一套表演劳作的系统,公司还在卷 token 消耗排行榜——产出越多,被深读的时间越少,大家只来得及略过、点 LGTM、然后开第 17 个 Claude Code 会话。作者结尾一句:“我们把自己自动化进了 Goodhart 定律。”
HN 29 条评论中,最受认同的是把这个现象类比”应试教育的工业化”:当评价从”学到了什么”漂移到”考分多少”,整个系统的努力就转向最大化分数本身。还有人提到 review fatigue 的真实影响——code reviewer 看到 AI 生成的整洁代码会下意识降低警惕,反而 PR 通过率比凌乱的人写代码更高。少数反对意见认为作者过于悲观:表面质量提升本身有真实价值(沟通成本下降),且会逼迫深层评价标准被开发出来——例如更多的”输出可重复性”、“决策实际效果”、“长期跟踪”等替代代理。
18. 动物学家德斯蒙德·莫里斯逝世,享年 98 岁
- 原文: https://www.bbc.com/news/articles/c51y797v200o
- HN: https://news.ycombinator.com/item?id=47841141
- 得分: 88
- 评论: 14
BBC 讣告。Desmond Morris,动物学家、作家、艺术家、电视主持人,于 2026 年 4 月 20 日离世,儿子 Jason 称他”是位伟大的男人,更是位更出色的父亲与祖父”。
莫里斯 1928 年 1 月 24 日生于英格兰 Swindon 附近的 Purton 村。童年阴影是父亲在一战中受伤、缓慢去世,这让少年莫里斯产生对人类自相残杀的厌恶,独自跑到家附近的湖边长时间观察动物、鱼类和水鸟,奠定了一生方向。在伯明翰大学念动物学时拒绝做活体实验,转而拥抱新兴的”行为生态学”(ethology),博士论文是花数年观察十棘刺鱼的求偶争斗。
他真正引爆世界的是 1967 年那本仅花四周写成的《裸猿》(The Naked Ape)。书把现代人类放回灵长类的进化框架——从战斗、进食、舒适、性行为各方面用达尔文逻辑解释。最具争议的论点之一是”性交主要不是为了生育,而是通过相互奖励来强化配偶纽带”,他称人类是”非常 sexy 的猿”。该书最终售出 2000 万册,成为 60 年代性解放运动的”行为圣经”。出版后他立刻富起来,辞掉伦敦当代艺术学院的工作,在地中海买了 27 个房间的别墅,夏天航海冬天写作。
书也激怒了不少人。宗教团体反对他把宗教解释为”对 alpha 雄性的生物性服从”;女性主义者则痛斥他把男人塑造成”驱动人类进化的冒险型狩猎者”、女人则坐在洞穴里。但他不为所动,又陆续出版《人类动物园》《亲密行为》等续作。
莫里斯还是一位严肃的超现实主义画家,曾与米罗一起办展。他在伦敦动物园任哺乳动物馆长期间做过一系列出名实验:给黑猩猩 Congo 画笔,看动物是否有审美——Congo 的画后来在 2005 年拍卖到 1.4 万英镑以上,毕加索是早期买家之一。他也发起过中国大熊猫姬姬与莫斯科熊猫安安的繁殖尝试,结果姬姬因被人类抚养长大、把自己当作人类,对熊毫无兴趣,项目失败。他与 BBC 的 David Attenborough 起初因抢动物园资源而互相看不顺眼,后来成为终身好友。
HN 14 条评论平静而温暖。多人回忆青少年时读《裸猿》带来的世界观冲击;有人推荐他的画作,认为艺术家身份被低估;也有评论指出今天的演化心理学很多原创观点其实最早出自莫里斯,但他做学问的方式偏向 popularizer(普及者)而非学院派,因此学界引用偏少。
19. 美国地热突破:解锁 150 吉瓦能源革命
OilPrice 文章。核心信息有三条:增强型地热系统(EGS)在美国本土的潜在装机容量被估到 150 GW,远超当前规模;以 Fervo Energy 为代表的初创公司正用新型钻探技术把地热从传统资源带扩展到全国;联邦政府在特朗普第二任期内罕见地继续支持地热,与对其他可再生能源的态度形成对比。
技术背景:地球核心温度约 5200°C,地壳数公里深处的岩石和水可达 370°C。常规地热只能利用天然热液储层(多在火山带),美国 99 座地热电站集中在加州(53 座)、内华达(32 座),夏季总装机仅 2.7 GW,占全国发电装机不到 0.2%。EGS 的突破点是借用页岩油气革命里的水平钻进 + 水力压裂技术——在没有天然储层的干热岩里人工造一个储层,把水循环进去吸热再抽出。美国地质调查局测算,仅西南部”大盆地”地区 EGS 潜力就有 135 GW,乐观估计可达 150 GW。
主角 Fervo Energy 是休斯顿初创,已与 Turboden America 签三年协议锁定 1.75 GW 的有机朗肯循环涡轮供应;正在犹他州 Beaver County 建首座 100 MW 商用 EGS(Cape Station,最终设计 500 MW,资源潜力 4.3 GW),也在内华达建 Corsac Station,将给 Google 和 NV Energy 供 115 MW。Fervo 已在美西租下近 60 万英亩公私土地,估计组合容量超 42 GW,并于 2026 年 4 月向 SEC 递交 IPO 申请,拟以”FRVO”在纳斯达克上市。政策面上,能源部 2 月宣布 1.715 亿美元资助下一代地热场试,是特朗普”释放美国能源”框架的一部分。
文章把地热定位为”清洁、稳定的基荷电源”——风光的间歇性短板它没有,且 EGS 借助油气钻探基础设施和人才可以快速扩张,与数据中心持续扩张的恒定供电需求高度匹配(Fervo 的客户名单里直接列了 Google)。
HN 40 条评论中,工程派最关注几个硬问题:EGS 的诱发地震风险(瑞士巴塞尔项目就是因为压裂引发地震被叫停);岩石内热衰减——人工储层热量被采完后岩石需要很长时间恢复,长期产能能否如宣传持续仍待验证;钻探成本——目前一口 EGS 井 1500 万至 3000 万美元,需要规模化把每千瓦时成本压到风光水平。乐观派引用 Fervo 在内华达 Project Red 的实测数据——2023 年 30 天测试就达到设计流量,说明油气钻井经验确实能转移过来。也有评论提醒”150 GW”是地质潜力上限,不是经济可采量;以及 oilprice.com 这个媒体本身偏看好油气与传统能源转型故事,需带保留态度阅读。
20. 北斎与镶嵌图案
- 原文: https://dl.ndl.go.jp/pid/1899550/1/11/
- HN: https://news.ycombinator.com/item?id=47902993
- 得分: 85
- 评论: 13
链接指向日本国立国会图书馆数字典藏的《北斎模様画譜》(Hokusai Moyō Gafu,北斎图案画谱),共 29 帧扫描页面。这是葛饰北斎晚年出版的图案集,专门收录他设计的几何纹样、波涛纹、连续重复花纹与镶嵌(tessellation)图案,区别于他更出名的浮世绘风景画《富岳三十六景》。
HN 标题用”Hokusai and Tesselations”切入:北斎不仅画出《神奈川冲浪里》那样的传世单图,也在版画图案设计领域系统化地探索了二维平面的周期性密铺。这本画谱里能看到他用菱形、六边形、波浪、龟甲纹(kikkō)、麻叶纹(asanoha)、青海波(seigaiha)等基础几何形态做的连续平铺——其中很多在数学上属于平面壁纸群的不同对称类。北斎研究的不是抽象数学,而是工艺美术中的图案构造:和服、屏风、漆器、唐纸都需要可以无缝重复的纹样,画谱本身是给工匠用的素材集。
讨论这本画谱的有趣之处在于跨文化比较:欧洲到 19 世纪才系统理解 17 种壁纸群(Fedorov、Polya),而日本的工艺图案传统已经在经验层面把所有对称形式实现了一遍。北斎把这些经验显式化、出版化,相当于一份不带数学符号的”对称图鉴”。M.C. Escher 后来明确受日本传统图案影响并通过摩尔风格密铺将其推向更复杂的非欧排布——HN 顶楼热门评论引用了 Escher 在六十岁前后写的一段话,他说想花一整年坐货船看波浪,请上帝赐他足够力量画出”那些表面无形、其实壮美的波浪”,但回家后试了几次都失败,只好转向画螺线,并坦承”画浪这件事,得留给你和你那些(差点儿成前同胞的)日本人。“——这段话直接致敬北斎。
帧 11(链接锚点)通常对应画谱中较密集的镶嵌示例。HN 13 条评论里,有人贴了 Escher 在意大利和日本传统装饰艺术间游走的研究文献;有人讨论青海波纹的现代工程应用——它的视觉密度梯度让它常被用作 UI 背景;还有人感叹这本画谱在国会图书馆的扫描质量极高,免费可下载,是图案设计师的免费金矿。讨论氛围介于美术史与几何科普之间,节奏轻松。