Hacker News 首页，评论译成简体中文。
首页
排行第一：数学2.0需要更全面地看待数学进步
作者提出了合理的担忧，认为AI虽能改变数学，但简单地将证明丢给数学界并不利于学科发展。（284 分 · 261 条评论）
查看原文
排行第二：Claude Haiku 5.5
使用AI生成不同级别的俳句，从低到高，质量逐渐提升。（884 分 · 426 条评论）
查看原文
排行第三：寻找只发行过一次就消失的乐队
作者回忆起曾经听过的《下一个世纪最佳专辑》中的歌曲，这些乐队后来都取得了巨大成功。（110 分 · 39 条评论）
查看原文
排行第四：独立生活：一百只兔子
作者认为独立生活虽然有趣，但对社会的贡献不如改善社会。（210 分 · 68 条评论）
查看原文
排行第五：玛格丽特·贺曼去世
作者曾与她交流，感叹她的智慧和对控制系统的见解。（1538 分 · 164 条评论）
查看原文
排行第六：GPT-6与智能UI
作者对GPT-6的周日烤肉风格设计感到不适，担心这会影响实际工作工具。（638 分 · 349 条评论）
查看原文
排行第七：经典 PC 演示场景在浏览器中本地运行
该演示在 x86 模拟器上运行，记录 CPU 执行的每段代码，并将其翻译成 C 语言，以提高速度。结果与模拟器逐个事件进行对比，以确保准确性。（66 分 · 48 条评论）
查看原文
排行第八：弗兰克林女士是否错过了她的标志性 DNA 图像中的双螺旋结构？她没有
弗兰克林女士的笔记表明她确实构想了双螺旋结构和中心的碱基互补。这是首次看到的证据，表明她认识到了双螺旋结构和反平行性。（178 分 · 64 条评论）
查看原文
排行第九：'Jonathan' 是地球上最古老的陆地动物
有人认为不需要治愈死亡，只需治愈脱发和老化皮肤，这将创造50万亿美元的新公司市值。（158 分 · 80 条评论）
查看原文
排行第十：数学浩劫
文章写得混乱不清，难以理解，需要借助AI才能阅读。作者似乎在使用迷幻剂写作，大量引用了其他工作但未解释其合理性。（243 分 · 270 条评论）
查看原文
排行第十一：Cleo（数学家）
Reddit 用户“evilscientist311”在2023年底对Cleo的活动模式进行了分析，但早在2023年4月，就已经有人注意到了。（157 分 · 30 条评论）
查看原文
排行第十二：Show HN: Bigwords.page – 将任何屏幕变成标志
该网站允许通过URL生成消息，浏览器不会发送URL片段，因此消息不会被服务器看到。所有参数都已文档化，生成消息链接非常简单。（508 分 · 142 条评论）
查看原文
排行第十三：Dat 生态：基于 P2P 协议的应用
Dat 依然活跃，但若无法解决移动设备 NAT 穿透和持续种子激励问题，这些 P2P 协议将始终停留在爱好者层面。（14 分 · 5 条评论）
查看原文
排行第十四：维也纳与北京启动钍核钟
《自然》期刊原文链接：https://www.nature.com/articles/s41586-026-11084-4，报道了全球首批钍核钟在维也纳和北京开始运行。（107 分 · 26 条评论）
查看原文
排行第十五：Docker Agent：代理协同系统
作者开源了 Pullboard，认为编排不是核心问题，真正的挑战是长期保持代理一致性（漂移问题），其方案是让代理通过类似论坛的方式交流、记录任务并遵循开发者制定的规范。（239 分 · 111 条评论）
查看原文
排行第十六：PR 访问权限新设置
建议不要直接锁定 PR，而是新增一个标签页专门展示新用户提交的 PR。维护者可将其视为垃圾箱，但用户可标记有用，再由维护者审核，避免误删有价值的贡献。（18 分 · 8 条评论）
查看原文
排行第十七：AI 推进数学研究进展
作者曾长期研究 Barnette 猜想，耗时24年，去年一度以为已解决。如今该问题被证明，虽有成就感，但也感慨多年心血。（1281 分 · 1453 条评论）
查看原文
排行第十八：浏览器中的模拟计算机
作者花一年研究模拟计算机，制作了一套可在线使用的模拟计算机工具包和手册，帮助他人两周内掌握核心知识，原想购买 Analog Things 但价格太高，最终自行开发。（21 分 · 7 条评论）
查看原文
排行第十九：将if上移for下移：习惯用法、代数及其局限
讨论是从计算机科学（算法优化）还是软件工程（代码设计）角度？从软件工程角度看，应创建一个显式处理集合的flatmap函数，具体实现不重要。如果语言/框架已有兼容的flatmap函数，就做一个返回必要值的frobnicate函数。从计算机科学角度看，从集合到集合的过滤可能更高效，但具体取决于上下文。（149 分 · 68 条评论）
查看原文
排行第二十：血腥穴居人
这条下面暂时没有抓到评论。（5 分 · 0 条评论）
查看原文
排行第二十一：用Swift编写的极简内核，可在QEMU中运行
预计未来会看到更多类似项目。UNIX内核长期主导非桌面计算场景，更多是因为免费源码而非设计优越。现在AI让实验变得简单，希望看到操作系统和框架设计的新探索时代。Omarchy等项目已开始起步，但还处于初级阶段，未聚焦底层。NT、XNU、SeL4和Linux内核差异明显。（82 分 · 15 条评论）
查看原文
排行第二十二：网页动态ASCII艺术
太棒了。我之前也做过类似的小规模项目，展示Claude Code/Pi的工作状态。这种ASCII艺术让我想起最初想为每个SSH服务器创建场景的想法，帮助记忆位置。虽然现在不用SSH，但如果是的话，一定会尝试在终端重现这些场景。（359 分 · 61 条评论）
查看原文
排行第二十三：OpenAI撤销三项数学成果
有点困惑，我以为他们的证明都基于Lean验证，这样要么通过要么不通过，没有中间状态。即使某些指标质量不高，也应该有明确结果。撤销可能意味着对工作质量的重新评估，但具体原因仍需进一步了解。（62 分 · 49 条评论）
查看原文
排行第二十四：维多利亚时代精英为何如此高效？
文章对维多利亚时代精英的描述似乎准确，但听起来他们似乎优化了从他人建立的经济和帝国中获取租金。这符合他们自己的成功标准，但并非值得效仿的模式，因为基础是建立在他人劳动之上。（167 分 · 267 条评论）
查看原文
排行第二十五：我们如何变成相机（2016）
这条下面暂时没有抓到评论。（4 分 · 0 条评论）
查看原文
排行第二十六：机器如何学会精密制造
感谢制作这个内容。我父亲（现已退休）在70年代和80年代在印度北部的一个小镇拥有一家机床制造厂。随着外国CNC机床进入市场，国内对手动/半自动机床的需求减少，他转而经营铸造厂，生产铸铁件。（168 分 · 63 条评论）
查看原文
排行第二十七：带15米地下隧道的房子30万出售
其中一个房间甚至有一个隐藏在泳池火箭里的秘密入口。我在莱比锡大学读书时，住在市中心，地下室有一扇门通向战时隧道，连接到附近的其他房子。虽然不是巨大的迷宫，但可以进一步探索。（208 分 · 194 条评论）
查看原文
排行第二十八：纳维-斯托克斯方程在翻译中迷失
除了通常的AI争论，这些作者似乎在声称OpenAI并没有真正证明纳维-斯托克斯方程。他们认为，LLM没有正确形式化纳维-斯托克斯方程的原始“自然语言”证明。如果这是真的，意味着他们的工作并没有达到预期。（310 分 · 187 条评论）
查看原文
排行第二十九：用LLM将TypeScript编译器、检查器和LSP移植到Rust
花费超过40万美元的API代币，用GPT-5.6 Sol和GPT 6 Astra完成了这项工作。有趣的是，愿意为LLM支付这笔钱的工程师比愿意雇人做这项工作的工程师多得多。（59 分 · 104 条评论）
查看原文
排行第三十：软件博客中的反模式
教育不应该像讲故事那样结构化。人们喜欢保留“转折”和“揭示”以达到最大效果，但这实际上是有害的。应该先说要点，再说细节，最后总结。LLM使这个问题更加严重。（281 分 · 139 条评论）
查看原文
