Hacker News 热榜前 30 条｜2026 年 9 月 9 日

Muse – Meta’s personal AI agent
Meta 推出 Muse，定位为个人 AI Agent。官方页面正文此次未能解析；从 HN 对应讨论可确认其带有独立浏览器、面向代用户执行个人任务的场景，讨论焦点则集中在隐私与数据访问风险。
原文链接｜ HN 讨论
Large language models develop novel social biases through adaptive exploration
研究考察 LLM 在反复探索与反馈中是否会自行形成社会偏差：在各虚构群体真实成功率相同的招聘任务里，模型会因早期偶然成功而强化对某些群体和职业的偏好，甚至出现比人类更明显的分层。OpenReview 正文此次被验证页阻断。
原文链接｜ HN 讨论
How to build a printer
作者把可编程 Xteink X3 电子墨水设备改造成 macOS 能直接发现的网络打印机：实现 IPP、Bonjour/mDNS，并接收 Apple/PWG raster 后缩放到屏幕显示；过程中还直接调用了 ESP-IDF 的 mDNS API。
原文链接｜ HN 讨论
AlphaGenome Atlas: a high-resolution map of human DNA
Google 发布 AlphaGenome Atlas，用 AlphaGenome 预计算人类基因组约 90 亿种单碱基变异的分子影响，形成约 1 PB 数据集，并提供 AVI 综合影响评分，帮助研究者筛选罕见病和非编码区的重要变异。
原文链接｜ HN 讨论
Navier-Stokes – Tristan Buckmaster [pdf]
Tristan Buckmaster 的声明称，他与 Levent Alpöge 已公开不可压多孔介质、Boussinesq 和三维不可压 Euler 的有限时间 blow-up 结果，并认为 hypo-dissipative Navier–Stokes 也有 blow-up，但对应 Lean 验证尚未完成。他同时说明项目大量使用了 Claude、Codex、GPT-5.6 Sol 和 Astra 等 LLM。
原文链接｜ HN 讨论
A Topological Picture Book, Rendered
一个可交互的拓扑曲面渲染器，以中世纪/现代数学图册式手工排线风格呈现参数曲面和隐式曲面；支持旋转、交叉线、轮廓、曲率线排线、隐藏线和手写标签等控制。
原文链接｜ HN 讨论
On the Navier–Stokes Millennium Prize Problem
OpenAI 宣称其内部系统给出了三维不可压 Navier–Stokes 存在性与光滑性问题的解，结论是可在有限时间形成奇点，并同时发布论文与 Lean 形式化证明。该结果仍需要独立数学界审查与验证。
原文链接｜ HN 讨论
The Microeconomics of Artificial Intelligence (2025)
MIT Press 的开放专著从微观经济学角度讨论人工智能。原文此次返回 403，无法可靠读取目录和具体论点，因此这里只保留题目层面的内容，不扩展未核验结论。
原文链接｜ HN 讨论
DaVinci Resolve 21.1
Blackmagic Design 发布 DaVinci Resolve 21.1。官方发布页能够打开，但本次解析没有取得具体更新正文，因此不罗列未核验的新增功能和修复项。
原文链接｜ HN 讨论
Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses
作者花费约 3000 美元 GPU 成本测试 Qwen3.8 27B 不同量化：Q4_K_M 约 17GB，在 GPQA、IFBench 和 Terminal-Bench 等测试中基本保持 BF16 水平；2-bit 开始明显退化，而 1-bit 表现崩塌。推理 effort 对结果的影响也非常大。
原文链接｜ HN 讨论
Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs
Deltafin 实验尝试在 Apple Silicon 上从多块 SSD 流式读取 Kimi K3 的完整 2.8T MoE 权重，不裁剪专家、不以更激进量化换速度；目标是在消费级本地硬件上把原本需要多节点、数 TB VRAM 的模型跑起来。
原文链接｜ HN 讨论
I-have-ADHD: A skill to stop coding agents from burying the answer
一个面向 Coding Agent 的输出约束 Skill：要求先给下一步行动、步骤编号、压制旁支、明确当前状态，并删除“Great question”式开场和冗长收尾，让回答更短、更可执行。
原文链接｜ HN 讨论
Tao: Open math problems being non-renewably mined by AI
Terence Tao 担心强力 AI 正快速“开采”数学界长期积累的重要开放问题：真正稀缺的资源正在从解题能力转向“识别值得研究的问题”。如果问题被大量抢先解决，却没有形成可理解的新思想，可能削弱培养数学家和产生下一代问题的生态。
原文链接｜ HN 讨论
Animation in Bevy: The Big Picture
文章为 Bevy 3D 动画建立一套从直觉到实现的心智模型，解释模型实体层级、AnimationPlayer、动画数据以及 ECS 中各组件如何连接，目标是让读者真正理解官方示例而不是只会照抄。
原文链接｜ HN 讨论
Mercury 2.5
Inception 发布 Mercury 2.5，这是一款 diffusion LLM。官方称其在常见 NVIDIA GPU 上可达到约 1107 tokens/s，支持 260K 上下文、可调推理、并行工具调用和结构化 JSON，重点面向搜索、语音和低延迟 Agent 工作负载。
原文链接｜ HN 讨论
Getting phpBB 1.4.4 working in Docker
作者记录把非常老的 phpBB 1.4.4 放进现代 Docker 环境运行的过程。原文此次返回 502，无法读取具体兼容性修复和镜像配置，因此不扩展细节。
原文链接｜ HN 讨论
Implementation of GCC's Nested Functions (vs. C++ Lambdas)
Martin Uecker 解释 GCC 嵌套函数的实现：捕获的父函数变量会被收集进一个合成 frame 结构，并通过隐藏指针参数传给嵌套函数；这种机制与 C++ lambda 的闭包对象非常相似，但多个嵌套函数可共享同一个 frame。
原文链接｜ HN 讨论
Show HN: LLM Attention Visualization
一个浏览器内的 LLM attention 可视化实验：悬停生成 token 时显示它从哪些历史 token 获得较强注意力。作者将 attention 权重与 value 向量幅度聚合到各层/各头，并修改 ONNX 模型以暴露内部值，明确强调这只是简化可视化而非完整可解释性方法。
原文链接｜ HN 讨论
Tracing np.add, all the way down
作者沿 NumPy 2.5.2 源码追踪一次 np.add(a, b)：从 Python 的 ufunc 入口、__array_ufunc__ 检查、类型提升与 dispatch、迭代策略，一直走到真正执行 float64 加法的 SIMD 内核。
原文链接｜ HN 讨论
Replacing a Rust Enum with a 64-Bit Word Made My Interpreter 17% Faster
Plush 解释器原本用 16 字节 Rust tagged enum 表示动态语言值；作者把 Value 压缩成 64-bit 表示后减少数据搬运与缓存压力，使解释器整体性能提升约 17%，并继续朝实时 3D 动画这一目标优化。
原文链接｜ HN 讨论
Reverse Engineering an ASIC
作者复盘 Jane Street ASIC 逆向挑战：从 GDS 布局文件和示例波形出发，利用 SkyWater 130nm 标准单元库识别门电路、恢复逻辑结构，再进一步推断芯片真正执行的功能。
原文链接｜ HN 讨论
The Helicopter with Radioactive Blades
早期 CH-53 直升机用一个极具时代感的方案监测旋翼裂纹：叶片内部充氮，泄漏时压力指示器会暴露少量锶-90，机身内的辐射探测器即可在飞行中发现异常，无需在高速旋转叶片上放电子传感器。
原文链接｜ HN 讨论
Show HN: Copperhead – Cursor for circuit boards
Copperhead 是开源 AI 电路板工程平台，可从自然语言 brief 依次生成/修改规格、架构、BOM、KiCad 原理图和 PCB、Gerber、固件与测试计划，并用 ERC/DRC 等门禁验证结果；官方示例是一块 ESP32-S3 Morse key。
原文链接｜ HN 讨论
The 92-Year-Old Mathematician and the Teenage Apprentice
《纽约时报》讲述一位 92 岁数学家与青少年学徒之间的数学合作和导师关系。原文此次无法直接打开；HN 讨论普遍强调文章的人文、传承和 mentorship 主题，并指出文中链接到相关研究论文。
原文链接｜ HN 讨论
We built our house for LAN parties (2024)
作者直接按 LAN Party 需求设计住宅：地下室墙体内置 12 台 PC 和可折叠桌面，地板藏有 DDR 踏板；楼上会议桌还能翻开变成 6 个电脑工位，把网络、供电、散热和家具设计一起纳入房屋规划。
原文链接｜ HN 讨论
Connecting the machines
Herdr 0.9 重构客户端/服务器架构，让一个 TUI 同时管理多台本地或远程机器上的终端和 AI Agent。通过 SSH 添加远端后，可在同一界面切换工作区，断开客户端后远端 Agent 仍继续运行。
原文链接｜ HN 讨论
The two Christian saints who are the Buddha
文章追溯圣人 Barlaam 与 Josaphat 的故事如何从佛陀传记逐步变成基督教圣徒传说：名称可沿阿拉伯语、波斯语一路追溯到梵语 Bodhisattva，显示宗教故事跨文化传播和再解释的复杂路径。
原文链接｜ HN 讨论
C: Unifying Programming and Verification in C (2025)*
C* 是把形式化验证直接嵌入 C 编程体验的 proof-integrated 语言设计，通过符号执行引擎和 LCF-style proof kernel，让程序员在实现代码旁写 proof blocks 并实时更新证明状态；论文还在 pKVM buddy allocator 上做了真实案例验证。
原文链接｜ HN 讨论
ZX Spectrum: Experimenting with 1-Bit Sound
作者在 ZX Spectrum 的 1-bit beeper 上实验 PCM、PWM、多声部和和弦：通过 Z80 精确 cycle counting 实现约 16 kHz 的 1-bit PCM，并尝试琶音与软件混音，文章同时诚实记录了 PWM 等未达到预期的失败。
原文链接｜ HN 讨论
AlphaGenome Atlas predictive map of every DNA letter change in the human genome
Google DeepMind 详细介绍 AlphaGenome Atlas 对约 90 亿种人类单碱基变异的分子影响预测，以及在罕见病、UK Biobank 非编码变异和调控 motif 研究中的应用；该资源还计划与更广泛的 Agentic 科研系统整合。
原文链接｜ HN 讨论

重点分类

Arduino / ESP32 / Raspberry Pi

3｜How to build a printer：电子墨水设备改成 IPP 网络打印机，直接涉及 ESP-IDF、mDNS、Arduino 与嵌入式显示。
23｜Show HN: Copperhead – Cursor for circuit boards：AI 电路板平台的公开样板就是 ESP32-S3 Morse key，覆盖 KiCad、ERC/DRC、固件与硬件验证。
29｜ZX Spectrum: Experimenting with 1-Bit Sound：虽然是 ZX Spectrum 复古硬件，但文章深入 1-bit 音频、Z80 cycle counting 和底层 I/O，属于很扎实的嵌入式/硬件实践。

LLM / Agent

1｜Muse – Meta’s personal AI agent：Meta 的个人 AI Agent，带独立浏览器并面向代用户执行个人任务。
2｜Large language models develop novel social biases through adaptive exploration：研究 LLM 在探索—反馈循环中如何自行形成新的社会偏差。
7｜On the Navier–Stokes Millennium Prize Problem：OpenAI 宣称内部系统完成 Navier–Stokes 千禧年难题证明，并发布 Lean 形式化结果。
10｜Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses：系统比较 Qwen3.8 27B 不同量化下的推理与 Agentic Coding 表现。
11｜Kimi K3 (2.8T) at 1 token/s on a MacBook Pro, streamed from four SSDs：把完整 2.8T Kimi K3 从多块 SSD 流式运行在 Apple Silicon 上，是极端本地 LLM 推理实验。
12｜I-have-ADHD: A skill to stop coding agents from burying the answer：直接面向 Coding Agent 的输出约束 Skill，重点改善可执行性和信息密度。
13｜Tao: Open math problems being non-renewably mined by AI：Terence Tao 讨论 AI 快速解决开放数学问题对研究生态和问题发现能力的冲击。
15｜Mercury 2.5：Mercury 2.5 是面向低延迟搜索、语音和 Agent 工作负载的 diffusion LLM。
18｜Show HN: LLM Attention Visualization：把 Transformer attention 做成交互可视化，适合理解 LLM 内部 token 依赖。
23｜Show HN: Copperhead – Cursor for circuit boards：用多阶段 Agent 流程直接生成和验证真实电路板设计。
26｜Connecting the machines：Herdr 让一个客户端跨多台机器管理长时间运行的 AI Agent。

学习与阅读

2｜Large language models develop novel social biases through adaptive exploration：社会偏差实验设计很有启发性，适合学习 exploration/exploitation 如何影响模型行为。
3｜How to build a printer：从 IPP、Bonjour 到 ESP-IDF，完整展示“设备如何真的变成一台打印机”。
5｜Navier-Stokes – Tristan Buckmaster [pdf]：Buckmaster 的第一手声明把数学结果、Lean 验证和 LLM 辅助研究放在同一背景下。
6｜A Topological Picture Book, Rendered：非常适合用可交互几何图形理解拓扑曲面、轮廓、隐藏线和曲率排线。
7｜On the Navier–Stokes Millennium Prize Problem：这是当天最重要的数学/AI 事件之一，但应结合后续独立验证谨慎阅读。
14｜Animation in Bevy: The Big Picture：从心智模型出发解释 Bevy 动画系统，比只看 API 示例更适合系统学习。
17｜Implementation of GCC's Nested Functions (vs. C++ Lambdas)：深入理解 GCC nested functions、隐藏环境指针与 C++ lambda 闭包实现的异同。
18｜Show HN: LLM Attention Visualization：直观展示 attention 机制，适合配合 Transformer 基础知识学习。
19｜Tracing np.add, all the way down：沿真实 NumPy 源码把一个 np.add 追到 SIMD 内核，是非常好的源码阅读材料。
21｜Reverse Engineering an ASIC：从 GDS 到标准单元和逻辑推断，完整展示 ASIC 逆向的核心方法。
28｜C: Unifying Programming and Verification in C (2025)*：把 C 编程和形式化证明放在同一语言与工具链里，适合了解 proof-integrated programming。
29｜ZX Spectrum: Experimenting with 1-Bit Sound：用 Z80 周期精确编程解释 1-bit PCM、PWM 和软件混音，底层细节丰富。
30｜AlphaGenome Atlas predictive map of every DNA letter change in the human genome：AlphaGenome Atlas 是理解 AI 如何进入基因组学研究工作流的高质量一手资料。

写作与博客

3｜How to build a printer：从“电子墨水看起来像纸，就应该能打印”这一想法展开完整工程叙事，技术细节和故事线结合自然。
13｜Tao: Open math problems being non-renewably mined by AI：Tao 用“不可再生资源/清伐森林”的框架讨论 AI 与数学研究生态，观点鲜明。
19｜Tracing np.add, all the way down：把一个极普通的 np.add 拆成完整源码探索路径，是优秀的技术解释型写作。
20｜Replacing a Rust Enum with a 64-Bit Word Made My Interpreter 17% Faster：以一次具体性能优化为主线，清楚说明数据表示、缓存和解释器性能之间的关系。
25｜We built our house for LAN parties (2024)：房屋设计、网络、家具和游戏文化被组织成一份非常完整的个人项目记录。
27｜The two Christian saints who are the Buddha：通过名称与文本传播链追踪宗教故事变形，是结构清晰的历史文化科普写作。
29｜ZX Spectrum: Experimenting with 1-Bit Sound：成功与失败都保留，读者能看到真实实验过程，而不只是最终成果。

独立博客精选

3｜How to build a printer：小题材但工程链完整，从 IPP 协议到 ESP-IDF 都写得具体，特别适合创客和嵌入式读者。
6｜A Topological Picture Book, Rendered：把拓扑学图册的手绘质感做成可操作网页，技术与审美结合得很漂亮。
14｜Animation in Bevy: The Big Picture：作者明确以“我希望当初有人这样解释”为目标，形成了很好的 Bevy 动画系统教程。
17｜Implementation of GCC's Nested Functions (vs. C++ Lambdas)：Martin Uecker 从编译器实现层拆解 nested functions，并与 C++ lambda 做精确对照。
18｜Show HN: LLM Attention Visualization：一个小而清晰的交互实验，把抽象 attention 机制变得可感知，同时诚实说明简化边界。
19｜Tracing np.add, all the way down：沿 NumPy 真实源码逐层下潜，既有底层细节也有清晰导航，是今天最值得收藏的技术长文之一。
20｜Replacing a Rust Enum with a 64-Bit Word Made My Interpreter 17% Faster：个人语言解释器优化复盘，性能收益、数据布局和设计取舍都给得很实在。
21｜Reverse Engineering an ASIC：Jane Street ASIC 挑战的视觉化解题记录，硬件逆向过程非常完整。
25｜We built our house for LAN parties (2024)：“为 LAN Party 盖房子”本身就足够有趣，而且网络、供电、散热和家具设计都有实物细节。
27｜The two Christian saints who are the Buddha：从 Bodhisattva 到 Josaphat 的跨语言传播链非常有意思，属于值得完整读完的独立历史科普。
29｜ZX Spectrum: Experimenting with 1-Bit Sound：复古计算与信号处理结合，作者连失败实验也保留下来，信息密度很高。