No.01
Human brain is two separate organs, Stanford Medicine-led research finds
斯坦福研究称人脑源自两套独立发育系统
140 分
41 条评论
作者: emigre
斯坦福医学院团队在小鼠胚胎和人类干细胞研究中发现,前脑与中脑、后脑并非来自同一早期祖细胞,而是分别由表达 Otx2 与 Gbx2 的两类互斥神经外胚层祖细胞形成,染色质状态也早早锁定不同命运。该发现解释了长期难以在体外生成后脑神经元的原因,并使研究者首次培养出具备动作电位和区域标志的后脑运动神经元,有望推动 SMA、ALS 等脑干相关疾病研究。演化比较显示这一双源模式可追溯数亿年。HN 争议集中在新闻标题是否夸大,论文更谨慎称大脑是「复合器官」。
No.02
GPT-6 Astra Solves a WWI German Radio Cipher
GPT-6 Astra 破解一则一战德军无线电密码
54 分
16 条评论
作者: nsoonhui
文章称 GPT-6 Astra 破解了 Scienceblogs.de 未解密码清单中的一则一战德军 ADFGVX 加密无线电报。模型使用「TRUPPENVERSCHIEBUNG」作为密钥,推得原文大意为一艘英国巡洋舰抵达塞瓦斯托波尔,协约国舰队于 26 日跟进。作者说明了密钥重排、按列换位和查表解码过程,并指出该密钥原本记录为 1918 年 12 月 9 日启用,而电报日期是 11 月 27 日,可能解释了为何此前未解。Astra 还用 HMS Canterbury 舰艇日志和协约国舰队抵达记录交叉验证结果。争议主要在于这是否只是小规模暴力搜索、是否可能借公开日志拟合答案,以及其对 AI 能力的意义。
No.03
If math is more than proof, we need to better celebrate the rest of it
如果数学不只是证明,也该奖励解释
38 分
16 条评论
作者: num42
Grant Sanderson 提出,随着机器越来越能生成证明,数学界应重新审视长期把「解题与证明」当作进步代理指标的做法。数学真正目标是推进人类理解,因此应更明确地定义并奖励「有动机的解释」:它不只是给出定理为何为真,还要说明问题为何自然、概念从何而来、如何在语境中发挥作用。作者区分证明与解释:证明以定义开头、追求二元正确;好的解释允许从不完善直觉出发,逐步修正,像读者也能自行发现。他引用 Princeton Companion、Gowers、Thurston 等例子说明此类工作已有巨大价值,却在学术评价中常被视为次等。争议在于解释难以量化,且若 AI 也能解释,标准仍会继续移动。
No.04
San Francisco Onion Futures Company
旧金山洋葱期货公司
161 分
57 条评论
作者: z-mach9
这个网站以半玩笑、半行为艺术的方式出售未来月份交付黄洋葱的私人合约:用户可按月份购买,价格每天由专有算法重算,合约可通过密钥转让,交付区域包括旧金山、多伦多、西雅图和芝加哥,但不退款也不现金结算。它刻意绕开美国「洋葱期货法」:法律禁止在交易所交易洋葱期货,而网站声称自己不是交易所,只是向个人私下售卖可转让的实物交割合约。争议焦点在于这究竟是合法预购、艺术项目,还是游走在受监管期货交易边缘的灰色实验。
No.05
Android 17 is the first since 3.x to add new APIs without releasing to the AOSP
Android 17 首次在未向 AOSP 发布源码时新增 API
788 分
377 条评论
作者: theanonymousone
GrapheneOS 指出,Android 17 成为自 3.x 以来首次在未同步发布到 AOSP 的情况下加入新 API 的版本。评论补充称,问题并非新 API 永久 Pixel 独占,而是 Android 16 起 QPR1、QPR3 变成 Pixel 专属,Android 17 QPR1 的开发者 API 要到 QPR2 才进入 AOSP 和其他 OEM 渠道。这被视为 Google 逐步削弱 AOSP 开放性、让 Pixel 与闭源 Android 体验绑定更紧的信号,也给 GrapheneOS 等去 Google 化系统带来适配、安全补丁和应用兼容压力。争议焦点在于这是正常商业策略、发布节奏调整,还是对替代 Android 发行版的系统性封锁。
No.06
Typesafe-computer-use drives a Mac toward a goal for 1/50th of a cent per step
Typesafe 的低成本 Mac 自动操作概念验证
68 分
31 条评论
作者: rahimnathwani
该项目展示了用 Typesafe 的 Jev / System-1 类模型驱动 Mac 完成目标的概念验证,卖点是把每一步电脑操作的推理成本压到约五十分之一美分。评论区推断其方法并非直接看屏幕图像,而是读取界面描述后输出命令,强调实用性和低成本,而非模型或演示本身的原创性。争议集中在 README 被认为有明显 LLM 生成痕迹、与 OCR 或视觉模型方案相比是否公平,以及在 OSWorld 等基准上的真实能力。也有人讨论小模型先判断、必要时升级到大模型的 cheap-confirm-escalate 架构。
No.07
Science Is Open Software
科学需要开放软件
77 分
30 条评论
作者: jegp
作者主张,在计算化时代,现代科学尤其是计算科学离不开开源软件:科学不只是发表结果,而是提供可检验、可系统化、可被他人纳入自身模型并继续构建的预测方法。软件已成为可执行的数学模型,研究结论依赖代码、依赖环境和依赖数据;若代码不可运行、不可修改或不可审计,结果就难以复现,也难以累积。作者设想未来论文可一键重跑分析,科研软件像维基百科一样由社区维护,并呼吁研究者从一开始共享代码、文档化、使用可复现环境。争议在于,把开源软件等同于科学被认为过度简化,数据开放、学术激励、知识产权和安全问题同样关键。
No.08
SDCC – Small Device C Compiler
SDCC:面向小型设备的 C 编译器
66 分
15 条评论
作者: lioeters
SDCC 是一个开源的小型设备 C 编译器,主要面向 8051 等资源受限 MCU,也支持多种嵌入式平台。评论者认为它长期是 8051 生态中最重要的免费开源编译器之一,虽不够稳定、优化能力有限,但在成本和可用性上仍有价值。讨论焦点集中在目标芯片支持范围、生成代码质量与可靠性:有人希望支持更多 8 位 PIC,如 PIC10、PIC12;也有人指出大项目会遇到诡异 bug。社区还提到商业替代编译器、Microchip 与 AVR 后的工具链变化,以及用 LLM 生成专用 8051 编译器的实验。
No.09
Cloudflare Quick Tunnels
Cloudflare Quick Tunnels:一条命令把本地服务发布到公网
685 分
275 条评论
作者: jcbhmr
Cloudflare Quick Tunnels 主打用一条 cloudflared 命令,把笔记本上的本地 Web 服务变成 Cloudflare 边缘网络上的公开 HTTPS 地址:无需账号、DNS 配置或开放入站端口,流量经出站连接回到本机,并自动获得加密、边缘 DDoS 过滤和全球就近访问。文章强调它适合临时演示、Webhook、截图服务、评测环境,以及 AI 编码代理循环测试中的可访问地址。社区争议集中在两点:这并非新产品,匿名 Quick Tunnel 已存在多年;同时匿名公网隧道容易被滥用,页面营销也被批评像 AI 生成。
No.10
You can run Git on object storage if you re-make packfiles
重做 Packfile,让 Git 跑在对象存储上
30 分
7 条评论
作者: evacchi
作者在构建基于对象存储的开源 Git 服务器时发现,简单把 Git 对象映射到文件系统再落到对象存储,面对大型仓库会严重变慢。根因在于 Git 的 packfile 为本地文件系统、mmap 和频繁读写优化,而对象存储的网络往返、Put 后才能 Get、随机读取语义都不匹配。Linux 内核仓库有上千万对象,若逐个 GetObject 代价巨大;直接用 HTTP Range 读传统 packfile 又受对象随机布局和 delta 依赖影响。作者因此设计了面向对象存储的列式 packfile 格式,尽量不改客户端,却让 Git 对象更适合云对象存储。争议点在于这类方案是否只是营销,以及是否应进一步重构 Git 哈希和分发模型。
No.11
Why building a Rust LSP is hard
构建 Rust LSP 为什么困难
57 分
28 条评论
作者: agluszak
作者以 Rust Glancer 和 rust-analyzer 为例,说明语言服务器的难点不在协议握手,而在用不完整、不断变化的信息尽快给出有用结果。LSP 启动后不能等全项目索引完成,只能先验证配置、响应初始化,再按请求逐步解析和索引。它还必须维护虚拟文件系统、源代码版本代际、并发读请求与状态变更取消机制,避免编辑器通知、磁盘文件和异步消息顺序造成竞态。文章强调,编译器追求最终完成,LSP 追求渐进可用;评论区则围绕 LSP 的进程隔离、JSON/IPC 开销、文件同步模型和是否优于传统 IDE 插件展开争论。
No.12
Saving another 100TB of RAM
Cloudflare 用数学再省下 100TB 内存
341 分
66 条评论
作者: f311a
Cloudflare 讲述如何优化基于 Pingora 的后端路由服务 PBR 中的「pingora-ketama」一致性哈希实现,在全球规模下回收超过 100TB RAM。文章先解释一致性哈希为何需要为每台服务器生成多个虚拟点以降低负载方差,再说明 Cloudflare 需要按磁盘容量加权分配请求,导致 ketama 环上哈希点数量和相关结构膨胀。团队通过重新审视统计误差、减少不必要的虚拟点,并压缩 Rust 数据结构存储,在不明显损害负载均衡质量的前提下降低内存占用。争议集中在是否有更现代的哈希方案、这些优化对普通系统是否值得,以及大公司内部复杂性是否被规模放大。
No.13
NASA-IBM Lunar Foundation open-Source Geospatial AI Model
NASA 与 IBM 开源月球地理空间 AI 基础模型
18 分
2 条评论
作者: noobplus
USRA 介绍了其参与的 NASA-IBM Lunar Foundation Model:一个面向月球科学数据分析的开源地理空间 AI 基础模型。模型用 SomBench 从零预训练,整合近 200 万组、11 种模态的月球数据,包括影像、地形、光照、热物理、矿物、雷达和重力等,并覆盖区域尺度与米级尺度。评测显示,它在撞击坑检测、月海不规则斑块分割、月球极区冰前景回归三类任务上,达到或超过 ImageNet 预训练模型和未做月球预训练的同架构模型,尤其在撞击坑检测中更省标注数据。项目还开放模型、微调代码和基准数据,目标是为月球研究应用提供可复用底座。评论区主要指出该新闻与此前 IBM 相关文章重复,并补充模型已在 Hugging Face 开源。
No.14
How to Write with an LLM
如何用 LLM 辅助写作而不丢掉自己的声音
481 分
317 条评论
作者: joeriddles
作者主张,LLM 不适合当代笔人或润色器,因为读者很容易识别出那种过度顺滑、像标题一样讨好的「AI 味」。更安全的用法是先自己完成草稿,再把模型当成不知疲倦的校对编辑:让它找被动语态、名词化、重复用词、空泛副词、段落顺序等问题。作者提出两条规则:不要直接采用模型给出的任何措辞;禁止或警惕模型的鼓励,因为夸奖会让作者固守一稿里的坏结构,削弱真正属于自己的重写过程。实践上,可分轮让模型指出问题、比较匿名版本,但最终是否修改仍由作者决定。争议点在于:有人认为这仍会外包思考,也有人觉得技术写作、事实核查和第二双眼确有价值。
No.15
How OpenAI Used Its Own LLMs to Design Its Jalapeño Chip
OpenAI 如何用自家大模型设计首款 AI 加速芯片 Jalapeño
111 分
80 条评论
作者: maxall4
OpenAI 披露其首款 AI 加速芯片 Jalapeño:宣称 4 位算力达 13.4 PFLOPS,配备 232GB 高带宽内存,相比 Nvidia GB300 端到端延迟最高可降至约 1/3。文章重点不只是性能,而是设计流程:不足百人的团队在 Broadcom 协助下,用不到 20 个月完成从架构到首硅,9 个月从 RTL 到流片。OpenAI 主要把 LLM 用于前端设计、高层综合 XLS、代码与验证,以及芯片回片后的软件内核优化;后端物理设计仍高度依赖 Broadcom。专家认为速度已属一流,但也指出其成功离不开成熟工具链、合作伙伴和制造资源。
No.16
Ctenophores: Wonders of Biology
栉水母:改写动物演化史的生物奇观
14 分
4 条评论
作者: randomImmigrant
文章介绍栉水母这一古老而奇特的动物类群:约 7 亿年前,它们可能最早从动物谱系中分化出来,如今约有 200 种生活在从深海到沿岸表层的多样环境中。近十年来,栉水母的基因组、神经系统、发光能力和环境适应机制,成为理解早期动物演化的重要线索。长期以来科学界认为海绵是最早分支动物,但近年染色体组织研究支持栉水母可能更早分化,尽管争议尚未完全结束。令人意外的是,栉水母有肌肉和简单神经系统,而海绵没有,这迫使研究者重新思考最早动物的复杂程度。文章还提到其逆转发育、深海耐压脂质等现象,强调研究这些「怪异」生物有助于揭示生命的基本规律。
No.17
Veronese's Dogs
维罗内塞笔下的狗
4 分
0 条评论
作者: prismatic
文章借保罗·维罗内塞多幅画中的犬类形象,讨论这位文艺复兴画家如何让狗成为观看、人性与神圣叙事之间的中介。作者从《丘比特与两只狗》《东方三博士来朝》《法利赛人西门家中的基督》到《迦拿的婚礼》,指出这些狗并非装饰,而是以凝视、姿态和空间位置参与画面结构:它们把宏大的宗教与寓言场景拉回日常,减缓叙事时间,也让观者通过动物的眼睛重新看见人类情感。文章还提到维罗内塞因在宗教画中加入狗等世俗细节而触怒宗教裁判所,凸显其艺术中神圣与尘世并置的张力。
No.18
The first new cat species discovered in 100 years
百年来首个全新猫科物种:玻利维亚「tilcayo虎猫」
261 分
96 条评论
作者: ohjeez
玻利维亚研究者从一只被误当家猫送入保护站的小型斑点野猫入手,结合形态差异与全基因组分析,确认其为新物种「Leopardus tilcayo」,可能仅分布于安第斯山东坡的永加斯森林。这是自1923年潘帕斯猫以来首个全新猫科物种发现。研究还显示,过去被笼统归为「虎猫」的类群其实至少包含五个物种,并可能暗示长尾虎猫也存在多个隐蔽物种。争议与重点在于物种划分应如何依赖基因证据,以及分类细化会显著改变濒危评估和保护优先级。
No.19
Goroutine Leak Profiles
Go 的 goroutine 泄漏分析器
24 分
2 条评论
作者: torutofu
文章介绍 Go 1.27 新增的「goroutine leak」性能剖析能力,用于在运行中、包括生产环境里定位长期阻塞且无法再被唤醒的 goroutine。传统 goroutine profile 只能显示阻塞数量,难以区分正常高并发等待与真实泄漏;新分析器基于并发原语的可达性和活性判断,能以较低开销、少误报地发现阻塞在 channel 或 sync 原语上的泄漏。示例中,无缓冲 channel 遇到提前返回会让 worker 永久卡在发送操作,pprof 的 /debug/pprof/goroutineleak 可直接指出泄漏行;修复方式是使用足够缓冲或重新设计取消逻辑。限制是它不能覆盖所有泄漏类型,例如阻塞在系统调用上的情况。
No.20
OpenJev
OpenJev:在浏览器本地模拟 Jev 式选项概率读出
617 分
258 条评论
作者: ilreb
OpenJev 是一个浏览器内本地实验页面,用 Qwen3 0.6B、MiniCPM5 2B 等量化模型演示两种决策方式:直接读取给定选项 token 的 logits 并归一化,或让模型逐 token 生成 JSON 概率分布。页面强调模型权重来自 Hugging Face、输入不离开本机,并用 performance.now 记录加载、预热、直接读出、首 token 和生成完成时间。其核心价值在于直观比较「直接选项概率读出」与「文本生成概率」的延迟和行为差异。但争议很大:许多评论认为它并非真正 Jev,只是普通 LLM 套 Jev 风格 API;直接 softmax 只覆盖显示选项,既不校准,也可能产生荒谬选择,并且网站设计和可用性受到强烈批评。
No.21
Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash
展示:Cactus Needle 3,小型自动化模型挑战 DeepSeek V4 Flash
196 分
88 条评论
作者: HenryNdubuaku
Cactus Needle 3 主打端侧工具调用、结构化抽取和文本嵌入:应用提供函数或 schema 后,模型生成可解析 JSON,能拒绝无覆盖请求,并用置信度门控执行。其「智能阶梯」架构允许从 2 到 20 层选择子网络,量化后约 8–29MB,面向智能家居、机器人、手机、车载、可穿戴等低算力设备;官方称经任务微调后 4 层子网可在窄任务上匹配 DeepSeek V4 Flash。争议集中在演示失败、误路由、安全边界和宣传口径:社区认可本地、小模型、结构化输出的方向,但认为它更像特定任务的「开瓶器」而非通用 LLM。
No.22
Photon-Emission-Guided Laser Fault Injection Enables RP2350 Secure Debug
光子发射定位与激光故障注入绕过 RP2350 安全调试禁用
189 分
67 条评论
作者: synack
Ledger Donjon 展示了针对 Raspberry Pi RP2350 A4 微控制器的物理攻击:先用光子发射显微术定位可覆盖永久调试禁用的「DEBUGEN」寄存器位,再在相邻位置施加激光脉冲,重新打开 Secure 世界的 Mem-AP 调试访问。结合 rescue reset,芯片在固件施加运行时 OTP 锁前被暂停,从而读出一次性可编程存储中的挑战密钥。攻击需要物理接触、背面开封等破坏性制备和约 25 万美元设备,实际门槛高,但暴露了非冗余调试覆盖寄存器在安全链中的薄弱点。
No.23
Cache-to-Cache: Direct Semantic Communication Between LLMs (2025)
LLM 之间用 KV 缓存直接传递语义
84 分
12 条评论
作者: rochansinha
论文提出「Cache-to-Cache」范式,让多个大语言模型不再通过文本中转协作,而是把源模型的 KV 缓存经神经网络投影、融合到目标模型缓存中,实现直接语义通信。作者认为文本输出会损失内部表征并带来逐 token 生成延迟;实验显示,在不增加缓存大小的情况下强化 KV 语义可提升回答质量。C2C 通过可学习门控选择受益层,在平均准确率上比单模型高 6.4% 至 14.2%,比文本通信高约 3.1% 至 5.4%,延迟平均加速 2.5 倍。争议集中在可解释性、生产可用性与模型间「神经语」通信的安全和可控性。
No.24
The Farnese letter
法尔内塞信:破解 1542 年教廷密码信
40 分
6 条评论
作者: grigolin
文章讲述作者如何破解 1542 年红衣主教亚历山德罗·法尔内塞写给驻查理五世宫廷教廷大使波焦的一封密信。信件明文夹杂数字密码,难点在于数字串没有稳定分词,同一串可被切成不同代码。作者基于公开转写文本,先用频率和相邻关系发现数字呈现类似辅音、元音交替的结构,再结合梅斯特收录的 16 世纪教廷密码样式,建立一套同时搜索密钥和切分边界的方法。核心技术是用马基雅维利、卡斯蒂廖内、瓦萨里及相关外交文书训练意大利语五元字符模型,让候选解码按语言概率评分。文章价值在于把历史档案、密码史与现代语言模型结合,解释了此前 Vatican Challenge 中无人解出的密信为何可被重新读出。
No.25
Minimal Phone 2
Minimal Phone 2:带实体键盘的紧凑型 Android 手机
262 分
218 条评论
作者: nashashmi
Minimal Phone 2 是一款预购中的紧凑型智能手机,预计 2026 年 12 月发货。它搭载基于 Android 的 Minimal OS,配 4 英寸 1080×1240 AMOLED 90Hz 触屏和实体背光键盘,提供多种键盘布局、12GB 内存、256GB 或 512GB 存储、3600mAh 电池、27W 有线和 15W Qi 无线充电、耳机孔、USB-C DisplayPort、NFC、Wi‑Fi 6E、蓝牙 5.4、单实体 SIM 加 eSIM、50MP 后摄和 20MP 前摄。网站强调其兼顾常用应用与更少干扰,但正文也反复提示应用、运营商、支付和配件兼容性需逐项确认。争议焦点在于:它是否真的「minimal」,还是一台高规格 Android 加实体键盘的利基手机。
No.26
Cyclomatic Complexity in C#
C# 中的圈复杂度:计算、阈值与实践
58 分
18 条评论
作者: gone35
文章介绍 C# 中的「圈复杂度」:它衡量方法中线性独立执行路径数量,通常等于 1 加上 if、循环、case、逻辑运算、三元表达式等分支点。分数越高,代码越难理解、测试和安全修改;McCabe 建议超过 10 就拆分,微软 CA1502 默认超过 25 视为过高。作者强调应按方法而非总和看复杂度,并结合 Visual Studio、NDepend、Roslyn 分析器、基线对比、覆盖率和 CRAP 分数定位真正有风险的变更。评论区则质疑该指标对现代多态、认知负荷和测试面的解释不足,但也认可其在安全审计、AI 代理重构质量门和热点识别中的价值。
No.27
How come AI-related posts get so many points on HN?
为什么 AI 相关帖子在 HN 上总能拿高分?
6 分
5 条评论
作者: Muhammad523
这篇讨论围绕一个观察展开:为什么 HN 上与 AI 相关的帖子往往获得远高于其他主题的分数。由于原文不可见,可从评论推断,发帖者可能把这种现象归因于某种平台偏好或从众心理。评论区的反应并不完全认同:有人认为这只是现实关注度的反映,AI 正处在技术前沿,像 GitHub 上的 AI 项目一样天然吸引更多注意;也有人指出,AI 领域仍像「西部荒野」,既有真实创新空间,也有大量可被包装、营销为实用的想法。另一个角度则提醒,HN 分数本身更接近人气竞赛,不能直接等同于质量或长期价值。争议焦点在于:高分究竟说明 AI 内容更重要,还是只说明它更流行、更容易被市场叙事放大。
No.28
Warez: The Infrastructure and Aesthetics of Piracy (2021)
Warez:盗版文化的基础设施与美学
147 分
54 条评论
作者: succinct_ideas
这本 2021 年出版的学术著作研究地下盗版圈 Warez,追溯其从 BBS 时代到 1990 年代后期 FTP「topsites」的演化。作者关注的不是大众熟悉的 BitTorrent 或海盗湾,而是抢在正式发售前获取音乐、影视、游戏和软件并竞速发布的精英化「Scene」。书中利用圈内留下的文档,分析其基础设施、规则、身份关系和 ASCII、NFO、安装器等审美形式。它也挑战了把数字盗版简单理解为知识共享或反版权运动的说法,指出该文化同样充满排名、竞争和炫技。
No.29
Inside ZCode: Silently uploading your Git history to the cloud
ZCode 被指静默上传完整 Git 历史到云端
293 分
97 条评论
作者: csmantle
作者在清理磁盘时发现 ZCode 在用户登录后会后台打包当前工作区,包含完整「.git」历史、LFS 缓存、reflog 和全局配置,使用服务器下发公钥加密后直传阿里云 OSS;私钥只在云端,本机和客户端都无法解密。明文 manifest 显示一次快照 86.6% 来自「.git」,可能暴露已删除密钥、未推送分支和内部仓库信息。作者称 UI 设置无法关闭,隐私政策也未明确披露,并建议锁定「~/.zcode/v2/checkpoints」目录阻断。评论区也有人质疑样本差异和证据仍需复核。
No.30
Stepfun Step 5 Preview (LLM): On AA Pareto frontier
Stepfun Step 5 Preview 登上 Artificial Analysis 帕累托前沿
6 分
1 条评论
作者: AnodicElegy
Artificial Analysis 对阶跃星辰的 Step 5 Preview 给出较高评价:该 6000 亿参数专有推理模型在「Intelligence Index」得分 44,显著高于同价位中位数 25,并以每百万输入 1 美元、输出 2.7 美元的价格进入性价比较优区间。模型支持文本和图像输入、文本输出,拥有 100 万 token 上下文,输出速度约 100 token/s,首 token 延迟 2.96 秒,也优于同类平均。主要短板是非常啰嗦:评测中生成 1.6 亿输出 token,高于中位数 9000 万,意味着实际成本和交互体验可能受长输出影响。文章整体强调它在智能、速度和价格之间接近 AA 帕累托前沿。
评论精华