Hacker News 首页，评论译成简体中文。
首页
排行第一：数学2.0需更全面地评价数学进展
评论认为AI将改变数学，但简单地将证明丢给数学界并不利于推进领域。更多关注实质性贡献而非达成某些基准。（248 分 · 202 条评论）
查看原文
排行第二：Claude Haiku 5.5
使用AI生成不同难度级别的俳句。最高难度花费5分钟9秒，最低难度仅花费7秒。（860 分 · 413 条评论）
查看原文
排行第三：离网生活：百兔农场
看到农场生活，作者渴望断网回归简单生活。（191 分 · 46 条评论）
查看原文
排行第四：追寻只红榜一次消失的乐队
作者回忆起2010年左右听过的Bjork的歌，但未找到原曲。（79 分 · 27 条评论）
查看原文
排行第五：经典PC演示场景作品在浏览器中原生运行
作者最近移植了一些旧战略游戏。Claude几乎独自完成。（19 分 · 3 条评论）
查看原文
排行第六：Margaret Hamilton去世
作者曾与Margaret Hamilton等人会面，讨论形式化控制系统，但自己对此一知半解。（1423 分 · 161 条评论）
查看原文
排行第七：GPT-6 和面向所有人的智能用户界面
作者认为 GPT-6 的用户界面过于繁琐，充满无用的空白和检查项，感觉像是被当作小孩对待。作者担心 OpenAI 将聊天功能与工作工具结合，希望这些设计不会影响实际的工作工具。（615 分 · 333 条评论）
查看原文
排行第八：罗莎琳德·富兰克林是否错过了她标志性 DNA 图像中的螺旋结构？她没有
作者认为富兰克林确实理解了 DNA 的双螺旋结构和碱基互补配对，这是作者首次看到的证据。作者计划进一步查阅相关书籍以确认这一点。（163 分 · 60 条评论）
查看原文
排行第九：新的仓库设置用于配置拉取请求访问
作者认为在仓库级别锁定拉取请求范围而不需要复杂的自动化是一个干净的解决方案。（14 分 · 2 条评论）
查看原文
排行第十：“Jonathan”是地球上最长寿的陆地动物
作者认为不需要治愈死亡，只需要治愈脱发和皮肤老化，这将创造50T的市值。（141 分 · 65 条评论）
查看原文
排行第十一：Cleo（数学家）
作者提到 Reddit 用户 evilscientist311 在2023年底对 Cleo 的活动模式进行了分析，但作者早在2023年4月就注意到了这一点。（136 分 · 28 条评论）
查看原文
排行第十二：浏览器中的模拟计算机
作者认为这是一个非常优雅的实现，特别是 Lunar Lander 示例非常有趣。作者对模拟计算机在其他形式中的应用感到好奇。（19 分 · 5 条评论）
查看原文
排行第十三：Chrome 将上线 JPEG XL
JPEG XL 即将加入 Chrome 和 Firefox 稳定版，10 月后将实现主流浏览器覆盖。相比 AVIF，JPEG XL 在多数场景下表现优秀，尤其适合作为全能图像格式，除非对 CPU 资源极度敏感。（544 分 · 357 条评论）
查看原文
排行第十四：数学末日？
许多高智商人士对现实世界变化无动于衷，即便已有明显信号也未更新认知。他们轻易抛弃千年科学方法，只因概率模型输出符合其情绪需求，令人震惊。（218 分 · 250 条评论）
查看原文
排行第十五：Bigwords.page：用 URL 当应用
通过 URL 片段直接显示消息，无需后端或存储。适合远程控制的屏幕显示，所有参数公开可查，生成链接即可使用，真正实现无服务器的动态信息展示。（485 分 · 137 条评论）
查看原文
排行第十六：DAT 生态：P2P 新项目
DAT 项目已式微，Beaker 浏览器也已停更。但 Keet.io 等新项目延续了去中心化理念，让 P2P 网络梦想以‘僵尸式’方式继续存活。（9 分 · 2 条评论）
查看原文
排行第十七：维也纳与北京启动钍核钟
全球首台钍核钟在维也纳和北京开始运行，相关研究发表于《自然》期刊，标志着原子钟技术迈向新纪元，精度远超现有标准。（94 分 · 16 条评论）
查看原文
排行第十八：Docker Agent 开源
该项目关注长期运行中代理的一致性问题，通过类似论坛的协作机制，让代理间沟通、记录任务、遵循规范，解决系统漂移难题。（229 分 · 107 条评论）
查看原文
排行第十九：分享AI在数学方面的进展
我很久以前就是图论爱好者，甚至为了学习搬到布达佩斯。在那里我开始研究巴内特猜想，这个问题占据了我24年的生活断断续续。去年夏天我甚至以为已经解决了它。但据称这里已证明（第180题）。我不知道该信什么。我花了数千小时在这个问题上，非常享受它。（1277 分 · 1450 条评论）
查看原文
排行第二十：将if推上去、fors往下放：惯用语、其代数与极限
从CS（算法优化）或SE（代码设计）哪个角度讨论？从SE角度看，创建一个处理Collection>的flatmap函数。若语言/框架已有兼容flatmap函数，可写一个frobnicate(Optional )函数返回必要值，使flatmap(frobnicate)能过滤它们。从CS角度看，将Collection>过滤为Collection可能效率低下。（145 分 · 66 条评论）
查看原文
排行第二十一：Swift最小内核，在QEMU中运行
这趋势会加速。UNIX内核主导计算场景更多因开源而非设计优越。如今AI让实验更容易，期待操作系统和框架设计的新探索。已有Omarchy等尝试，但尚处初级且未聚焦底层。NT、XNU、SeL4与Linux间的显著差异可能成为AI实验的焦点。（75 分 · 14 条评论）
查看原文
排行第二十二：OpenAI撤回三项数学成果
就在几天前，我思考无监督数学是否会陷入“噢，我们发现某代码分支有bug，因此XYZ数学分支不再成立”。此次撤回印证了这一担忧，暴露AI数学推理的可靠性问题。（22 分 · 8 条评论）
查看原文
排行第二十三：血腥穴居人
这条下面暂时没有抓到评论。（3 分 · 0 条评论）
查看原文
排行第二十四：网页动画ASCII艺术
太棒了！我为Claude Code/Pi做过类似小规模项目（https://github.com/robdmac/flow），展示运行状态。但这个ASCII艺术让我想起想为每个SSH登录的服务器制作场景，帮助定位。如今不再常用SSH，但若使用定会尝试在终端重现这些画面！（346 分 · 61 条评论）
查看原文
排行第二十五：比 Homebrew 快 100 倍的替代方案
作者认为 Homebrew 的维护者很可靠，虽然不完全认同其做法，但信任其安全性。Homebrew 性能持续提升，速度比五年前快很多。作者更看重包管理器的可靠性和安全性，速度是加分项。对这种竞争表示赞赏，但认为这种替代方案可能存在一些问题。（80 分 · 64 条评论）
查看原文
排行第二十六：机械学习精度
感谢制作此动画。作者的父亲曾经营过一家机床制造厂，动画唤起了许多回忆。（161 分 · 63 条评论）
查看原文
排行第二十七：TypeScript编译器移植到Rust
花费40万美元购买API定价的令牌，LLM工作更吸引人。这背后的原因尚不清楚，但确实有趣。（52 分 · 87 条评论）
查看原文
排行第二十八：维多利亚时代的精英为何如此有效
维多利亚时代的精英被描述为从他人建立的经济和帝国中获利，但这不是值得效仿的成功。（147 分 · 243 条评论）
查看原文
排行第二十九：售价30万的带15米地下隧道别墅
别墅内有一间房间，隐藏的入口通向泳池旁的火箭。作者回忆大学时代在莱比锡的地下室门，连接到其他房屋的战时隧道。（200 分 · 190 条评论）
查看原文
排行第三十：Navier–Stokes公式翻译失误
作者声称OpenAI的LLM并未正确证明Navier-Stokes方程，因为LLM未能正确形式化原始自然语言概念。（300 分 · 183 条评论）
查看原文
