Hacker News 首页，评论译成简体中文。
首页
排行第一：数学2.0需要更全面地看待数学进步
作者认为AI将改变数学，但简单地将证明扔给数学界并不利于推动领域发展。人们更关注解决难题数量而非真正贡献于数学。（357 分 · 331 条评论）
查看原文
排行第二：Claude Haiku 5.5
使用AI生成不同难度级别的俳句，从低到高，生成时间和成本各不相同。（919 分 · 437 条评论）
查看原文
排行第三：十五年寻找一次入榜后消失的乐队
作者寻找微软为Frontpage 98发布的官方免费扩展包，但未找到完整版本。（157 分 · 63 条评论）
查看原文
排行第四：脱离电网生活：百兔农场
作者认为脱离社会独自生活是死胡同，改善社会环境对所有人更有价值。（253 分 · 84 条评论）
查看原文
排行第五：持久软件的缓慢形成
这条下面暂时没有抓到评论。（7 分 · 0 条评论）
查看原文
排行第六：玛格丽特·贺曼去世
作者曾与贺曼及其他阿波罗时代成员共事，回忆起她谈论形式化控制系统的情景。（1655 分 · 177 条评论）
查看原文
排行第七：GPT-6 和面向所有人的智能用户界面
作者认为未来网页将由 URL 直接响应用户请求并生成答案和可视化结果，不再有静态菜单、按钮等。实时生成动态页面时可尽量减少 token 使用。（662 分 · 373 条评论）
查看原文
排行第八：罗莎琳德·富兰克林是否错过了她标志性的 DNA 图像中的双螺旋结构？她没有
尽管有澄清，学校仍可能将 DNA 双螺旋结构的发现归功于沃森和克里克，而非富兰克林。历史上很多发明归功于错误的人，一旦入书，很难更改。（197 分 · 69 条评论）
查看原文
排行第九：经典 PC 演示场景作品在浏览器中本地运行
演示在 x86 模拟器中运行，记录 CPU 执行的每块代码，然后翻译成 C 语言。这种方法比精确周期模拟有什么优势？猜测可能是编译器优化使其更快。（91 分 · 73 条评论）
查看原文
排行第十：OpenAI 撤回 3 篇数学论文
自动化数学研究可能威胁到数学社区，如果没有这个社区指出问题，这些错误可能会持续存在。（16 分 · 4 条评论）
查看原文
排行第十一：“Jonathan”是地球上最长寿的陆地动物
有人认为无需治愈死亡，只需治愈脱发和皮肤老化，这将创造 50 万亿美元的新公司市值。（177 分 · 94 条评论）
查看原文
排行第十二：数学浩劫
文章提到，模型尝试了约 8000 个问题，解决了约 5% 的长期未解数学问题。粗略计算，每解决一个数学难题需要 60 小时的计算时间。（276 分 · 289 条评论）
查看原文
排行第十三：Cleo（数学家）
有人在2023年10月分析了Cleo的活动模式，但作者和其他人早在4月就已关注。相关讨论可参考推文链接，显示早期已有线索。（169 分 · 35 条评论）
查看原文
排行第十四：Bigwords.page：用URL当应用
想远程控制平板显示信息但无物理访问？用URL作为消息内容，通过URL片段配置，浏览器不发送片段到服务器，确保隐私。无后端、无存储，所有参数公开，可自动生成消息链接。（532 分 · 143 条评论）
查看原文
排行第十五：PR访问配置新设置
锁死PR不是好办法。应分两个标签页：已有PR记录的贡献者和首次提交者。后者可视为‘垃圾箱’，但用户可标记为有用，维护者再查看。提供按钮可转移PR，且首次提交者不计入主PR统计。（24 分 · 11 条评论）
查看原文
排行第十六：Dat生态：P2P应用
Dat生态新项目Quibble，是开源消息应用，可能替代Keet。项目在Codeberg托管，基于点对点协议，强调去中心化通信。（20 分 · 12 条评论）
查看原文
排行第十七：维也纳与北京启动钍核钟
《自然》期刊发表论文，介绍全球首批钍核钟在维也纳和北京启动。该技术利用钍同位素实现超高精度时间测量，推动原子钟发展。（115 分 · 31 条评论）
查看原文
排行第十八：血腥穴居人
这条下面暂时没有抓到评论。（14 分 · 0 条评论）
查看原文
排行第十九：Docker Agent
团队开发类似工具，生产中发现代理模式逐渐趋同。建议使用单一调度代理路由任务，避免管理大量并发代理。（252 分 · 116 条评论）
查看原文
排行第二十：数学领域的人工智能进展
作者曾研究图论，花费24年时间探索Barnette猜想，一度认为自己找到答案，但最终发现已被证明。感慨万千。（1286 分 · 1459 条评论）
查看原文
排行第二十一：将ifs上推，fors下移：惯用语及其极限
讨论从CS（算法优化）或SE（代码设计）视角。建议使用flatmap函数处理集合，设计单一frobnicate函数，从CS角度看，filter操作可能更优。（157 分 · 72 条评论）
查看原文
排行第二十二：浏览器中的模拟模拟计算机
模拟器默认设置为衰减电压。用户通过右侧的系数旋钮调整电压值，模拟器顶部部分展示模拟过程。（29 分 · 10 条评论）
查看原文
排行第二十三：网页中的动画ASCII艺术
如何将源艺术或摄影转化为这些精美场景？评论者表示想深入了解。（379 分 · 66 条评论）
查看原文
排行第二十四：维多利亚时期精英为何如此有效？
文章未给出具体数据，现代标准下，实际治理帝国的人数很少。如1816年殖民办公室仅有14名职员，1900年殖民服务总人数约1000人，印度除外。（178 分 · 296 条评论）
查看原文
排行第二十五：机器如何学会精准
感谢制作这个。我父亲（现已退休）在 70 年代和 80 年代在印度北部的一个小镇拥有一家机床制造厂。外国 CNC 机床进入后，国内对手动/半自动机床的需求减少，他转而经营铸造厂，生产铸铁件。但仍然保留了一台车床和一名员工来完成零件。你的动画勾起了很多回忆。（182 分 · 64 条评论）
查看原文
排行第二十六：带 15 米地下隧道的房子 30 万出售
其中一个房间甚至有一个隐藏入口——池边火箭里的秘密通道。:-) 我在大学时住在莱比锡市中心，地下室有一扇门通向战时隧道，连接到附近的其他房子。虽然不是巨大的迷宫，但可以作为枢纽通往其他路径。如果其他房子的门也开着，你还可以走得更远。当时我有一个任务，就是交朋友并说服他们打开这些门。（213 分 · 200 条评论）
查看原文
排行第二十七：纳维-斯托克斯方程的翻译问题
除了通常的 AI 争论，这些作者声称 OpenAI 的 Lean 证明与纳维-斯托克斯方程的自然语言证明不符。他们认为 LLM 没有正确形式化纳维-斯托克斯方程的原始概念。如果这是真的，意味着 OpenAI 并没有真正证明纳维-斯托克斯方程。（317 分 · 192 条评论）
查看原文
排行第二十八：用 Swift 编写的最小内核，在 QEMU 中运行
我相信我们会看到更多这样的项目。UNIX 内核长期以来在桌面以外的计算用例中占据主导地位，更多是因为它们有免费的源代码，而不是因为设计出色。现在 AI 使得实验变得容易，我希望我们会看到操作系统和框架设计的新时代。虽然 Omarchy 已经开始了，但还只是初步尝试，没有专注于最低层次。NT、XNU、SeL4 和 Linux 之间的巨大差异表明，有很多改进的空间。（89 分 · 16 条评论）
查看原文
排行第二十九：用 LLM 将 TypeScript 编译器、检查器和 LSP 端口到 Rust
花费超过 40 万美元的 API 代币，用 GPT-5.6 Sol 和 GPT 6 Astra 完成。这一点非常有趣！你可以用这笔钱雇人来做这项工作，但更少的工程师会考虑付钱给真人，而更愿意投入大量资金给 LLM。这种对比很奇怪，也很有趣。（72 分 · 119 条评论）
查看原文
排行第三十：软件博客中的反模式
我一直坚持教育不是讲故事，不应该以讲故事的方式结构化。人们喜欢保留“转折”和“揭露”以达到最大效果，这实际上是有害的。教育应该是“剧透”和重复的。就像一个好的演讲，你应该先说你要说什么，再说一遍，最后总结你说了什么。LLMs 使这个问题更加严重。想象一下，你如何用几句话和技术术语解释什么是 MCP。（289 分 · 141 条评论）
查看原文
