Hacker News 首页，评论译成简体中文。
首页
排行第一：陶哲轩回应OpenAI数学挑战
陶哲轩认为未来研究重点应是提供更简洁的证明，增强对领域的理解。模型可能在这方面也超越人类。（42 分 · 11 条评论）
查看原文
排行第二：Claude Haiku 5.5
使用Claude生成不同级别的俳句，效果各异，最贵的版本用时最短，成本最高。（786 分 · 389 条评论）
查看原文
排行第三：与世隔绝的生活：百兔农场
看到农场生活，作者渴望断网，亲手建造东西。（111 分 · 21 条评论）
查看原文
排行第四：更快的homebrew替代方案
在基准测试中，暖启动速度更快，但用户更关心冷启动时间，因为它更贴近日常使用。（24 分 · 12 条评论）
查看原文
排行第五：玛格丽特·贺曼去世
作者曾与贺曼及其他阿波罗计划成员交流，对方的高深知识令作者自愧不如。（1135 分 · 126 条评论）
查看原文
排行第六：罗莎琳德·富兰克林与DNA双螺旋结构
富兰克林笔记显示她确实构想出双螺旋结构和碱基互补，作者需进一步验证。（127 分 · 48 条评论）
查看原文
排行第七：Jonathan是地球上最长寿的陆地动物
研究发现Jonathan在大多数与衰老相关的基因途径中拥有独特的基因变异，包括DNA修复、胰岛素调节、线粒体功能和“低熵”甲基化。这使他在长寿方面表现突出。（112 分 · 44 条评论）
查看原文
排行第八：Cleo（数学家）
页面提到，2023年底，一位Reddit用户evilscientist311对Cleo的活动模式和其他Stack Exchange账户的互动进行了全面分析。但早在2023年4月，我和其他人就已经注意到了。（102 分 · 12 条评论）
查看原文
排行第九：在维也纳和北京，第一台钍核钟开始运行
评论者质疑如何确定钍核钟的准确性，例如6500万年内2秒的偏差。评论者认为，测量这种精度似乎比制造钟表更难。（64 分 · 7 条评论）
查看原文
排行第十：Show HN: Bigwords.page – 将任何屏幕变成显示屏
Bigwords.page的想法源于作者想要在远程控制的平板电脑上显示信息，但无法直接访问。通过URL片段配置信息，浏览器不会将URL片段发送到服务器，因此信息不会被记录。（432 分 · 126 条评论）
查看原文
排行第十一：Chrome中引入JPEG XL
Firefox也将很快在稳定版中包含JPEG XL。10月，JPEG XL将从仅限Safari扩展到大多数浏览器。尽管AVIF在某些情况下可能略胜一筹，但JPEG XL的多功能性使其成为一种优秀的图像格式。（523 分 · 351 条评论）
查看原文
排行第十二：GPT-6和面向所有人的智能UI
评论者对GPT-6的界面设计持批评态度，认为其设计过多的空白和清单让人感觉被轻视。评论者希望这些设计不会影响到实际的工作工具。（567 分 · 296 条评论）
查看原文
排行第十三：Docker Agent
作者开源了Pullboard，一种基于论坛式协作的代理系统，强调长期运行中代理一致性（漂移）的处理，而非传统编排问题。（210 分 · 97 条评论）
查看原文
排行第十四：Push ifs up and fors down
从软件工程角度看，应设计一个显式处理集合转换的flatmap函数；若语言已有兼容实现，可封装一个frobnicate函数以支持过滤逻辑，核心是接口设计而非底层实现。（130 分 · 61 条评论）
查看原文
排行第十五：ENIAC程序员（2011）
这条下面暂时没有抓到评论。（8 分 · 0 条评论）
查看原文
排行第十六：用Swift实现的极简内核
作者展示了在QEMU中运行的Swift极小内核，认为嵌入式Swift潜力大，语言简洁，且避免了传统Swift的跨平台与编译慢等问题，适合从零构建系统。（52 分 · 9 条评论）
查看原文
排行第十七：寻找15年前昙花一现的乐队
作者花了15年寻找2006年曾登顶英国独立单曲榜第47位的乐队，因网站为Flash且MySpace未被索引，导致信息无法检索，最终才找到线索。（11 分 · 3 条评论）
查看原文
排行第十八：分享AI在数学领域的进展
作者曾耗时24年研究巴纳特猜想，去年一度以为已解决，但发现该问题已被证明，虽感失落，但仍为探索过程感到满足。（1264 分 · 1433 条评论）
查看原文
排行第十九：Navier-Stokes 证明在翻译中迷失
除了关于AI的常见争论外，炸弹式声明似乎是：正式化的Lean证明与Navier-Stokes解爆破的NL证明不对应。因此这些作者声称OpenAI并未真正证明Navier-Stokes。如果理解正确，他们认为大语言模型没有正确形式化原始自然语言的Navier-Stokes想法。若属实，意味着他们的工作未完成。（284 分 · 175 条评论）
查看原文
排行第二十：网页动画ASCII艺术
精美、令人印象深刻、做得好——但这似乎是对技术简朴性的矫饰，即借用受限媒介的可信度而不接受其限制。虽然很漂亮，但有点像把特斯拉改装成看起来更像雪铁龙2CV。（324 分 · 60 条评论）
查看原文
排行第二十一：MySQL新优化存储引擎发布
推出TideSQL for MySQL的第一个主要版本。该事务存储引擎基于现代研究从头构建，优化了写入和空间、读取高效，并能与InnoDB兼容。值得一试，期待您的反馈。（52 分 · 21 条评论）
查看原文
排行第二十二：机器如何学会精准
感谢分享。我父亲（现已退休）70-80年代在印度北方小镇经营一家机床制造厂。外国CNC机出现后，国内对半自动或手动机床需求锐减，他转行经营铸造厂，用冲天炉和转炉生产铸铁件。但他保留车床并雇人完成零件加工，动画让我想起许多往事。（134 分 · 60 条评论）
查看原文
排行第二十三：带15米地下隧道的房屋售价30万
房屋带15米地下隧道出售，售价30万欧元。其中一个房间甚至设有秘密入口——隐藏在泳池边的火箭内。趣味性强。我曾在莱比锡市中心居住，大学时期那里有地下室门通向战时隧道，连接其他房屋。虽非庞大迷宫，但作为枢纽通向三条路径。我当时正试图联络并说服狂热分子。（186 分 · 170 条评论）
查看原文
排行第二十四：布朗运动
精彩文章，从随机游走讲到高斯分布。顺便一提，我觉得正态分布在实际中过度使用（除了解释布朗运动、身高分布等）。许多现实现象更符合重尾分布，如帕累托或幂律分布。（52 分 · 5 条评论）
查看原文
排行第二十五：如果有人尝试热修复已热修复的函数
微软将函数钩子视为“流氓”行为，但微软自己却提供了detours库，从未如此定义。解释中遗漏了关键点：钩子通常在用户空间按进程应用，动态库的代码页在写入时从共享页复制修改。Windows更新是否类似，还是直接修改原始共享代码？（51 分 · 25 条评论）
查看原文
排行第二十六：木带（2004）
2004年的木带价格现在翻了数倍，材料和工具都涨价了。（179 分 · 27 条评论）
查看原文
排行第二十七：软件博客中的反模式
教育不应像讲故事，应先说结论再展开，这样更有效。AI让这种情况更糟。（240 分 · 129 条评论）
查看原文
排行第二十八：自我建模干预调节潜在偏差
这条下面暂时没有抓到评论。（3 分 · 0 条评论）
查看原文
排行第二十九：Google Playground：自定义游戏创作
Google Playground 游戏创作工具简单乏味，缺乏深度，难以吸引玩家。（133 分 · 211 条评论）
查看原文
排行第三十：维多利亚时期精英为何如此有效？
维多利亚时期的精英靠殖民地获利，享受奢侈生活。现代某些国家也存在类似现象。（126 分 · 194 条评论）
查看原文
