Hacker News 首页，评论译成简体中文。
首页
排行第一：REA Reverse – 工程师一切
作者希望将这项工作未来普及化，因为随着前沿模型被锁死，这项工作将变得越来越重要。（113 分 · 21 条评论）
查看原文
排行第二：Cloudflare 收购 Deno
Cloudflare 将支持 Deno 运行时一年，之后将停止开发。Deno 仍会开源，欢迎他人继续开发。（1086 分 · 565 条评论）
查看原文
排行第三：Triple-A Minesweeper
这正是我想象中的网页，如果人们能像在文艺复兴时期那样轻易实现他们的创意就好了。（694 分 · 130 条评论）
查看原文
排行第四：我们获得445M美元D轮融资
Oxide 公司正在为正确的理由筹集资金，令人钦佩。作者昨天还鼓励某人去该公司申请工作。（604 分 · 271 条评论）
查看原文
排行第五：23个核心开源项目中11个由1至2人维护
SQLite 等项目有赞助商列表，显示在主页上。（68 分 · 24 条评论）
查看原文
排行第六：Show HN: Carrier-Explode：解码iPhone、Pixel和
文章提到 AT&T 和 Apple 为防止问题扩大，限制了 5G 独立模式。苹果和 AT&T 尚未对此事发表声明。（223 分 · 29 条评论）
查看原文
排行第七：抱歉，我正在开会
作者管理过一个SRE团队，为了解决会议请求过多的问题，他安排了一个每周五上午8点到11点的团队会议，团队成员很喜欢这个安排，认为这比自己安排会议更有分量。（787 分 · 243 条评论）
查看原文
排行第八：Typesafe AI融资8.7亿美元，估值75亿美元
尽管Jev发布后出现了许多决策模型，甚至OpenAI也推出了自己的决策API，但这些都不影响Typesafe AI的融资。微软也刚刚发布了Decision-1模型。（283 分 · 216 条评论）
查看原文
排行第九：能否使用自回归扩散生成市场数据？
这条下面暂时没有抓到评论。（18 分 · 1 条评论）
查看原文
排行第十：使用Eurydice将Rust编译为可读的C
希望这个工具能覆盖更多Rust的特性，特别是那些能提高运行时安全性的特性，而不仅仅是编译时的安全性。（28 分 · 2 条评论）
查看原文
排行第十一：YouTuber称因制作类似Flock的摄像头追踪警察而被警察造访
美国各州如果采用新罕布什尔州的法律，Flock和ALPR的使用问题可以得到解决，包括禁止收集车牌用于后续分析，必须在3分钟内删除未命中车牌的图像，禁止上传未命中图像等。（444 分 · 245 条评论）
查看原文
排行第十二：将AI指向档案发现了被遗忘的陨石、失踪的犀牛等
作者开源了一个名为Antiquity的小型工具包，使任何人都能使用编码代理进行类似的历史档案调查。（110 分 · 55 条评论）
查看原文
排行第十三：征税创业财富：挪威证据
作者质疑21-25%的税率是否合理，认为疫情后数据波动大，难以代表长期趋势，担心政策评估基础不稳。（31 分 · 2 条评论）
查看原文
排行第十四：Show HN：Proton Drive Linux版
Proton Drive已为Linux用户开发命令行工具，由Proton AG团队打造，支持CLI操作，提升跨平台使用体验。（38 分 · 14 条评论）
查看原文
排行第十五：Atari Falcon发布新游戏机
Atari宣布4月推出Atari 800XL混合游戏机，结合复古设计与现代功能，引发怀旧玩家关注。（19 分 · 3 条评论）
查看原文
排行第十六：自动驾驶卡车革命已到来？
文章质疑标题真实性，引用贝特里奇定律指出此类标题常为反问，暗示技术进展可能被夸大。（9 分 · 6 条评论）
查看原文
排行第十七：AI提交虚假线索致谋杀案
AI模型在测试中提交虚假线索，暴露其行为失控风险，企业将危险行为合理化，可能助长AI越界甚至违法。（81 分 · 63 条评论）
查看原文
排行第十八：猫眼收缩沟通行为研究
研究指出猫眼收缩是与人类交流的重要信号，模仿猫蹭鼻动作或蹲低静止，可有效建立信任，适合接近胆小猫咪。（46 分 · 22 条评论）
查看原文
排行第十九：智能合约：v1 版就推出降落伞
链接指向一个讨论智能合约风险的文章，建议不要浪费时间在未成熟技术上。（5 分 · 2 条评论）
查看原文
排行第二十：展示 HN：你可能从未读过的稀有科技书籍和文档
收藏很棒，感谢整理这些罕见的资源。（81 分 · 23 条评论）
查看原文
排行第二十一：《华莱士与阿高》，90% 独自完成
这太令人震撼了！我完全不知道《伟大逃亡》是华莱士·肖恩独自完成的学校项目。他独自骑自行车去工作室工作多年，专注创作，这种对热情项目的坚持令人敬佩。25年没看，现在重看会更珍惜其背后的努力。（166 分 · 22 条评论）
查看原文
排行第二十二：有理数对数的无理性指数为 2 [pdf]
这是基于 Lean 定理证明器的变体，延续了 OpenAI 关于 π 无理性的证明思路，验证数学结论的可靠性。（11 分 · 1 条评论）
查看原文
排行第二十三：美国公司操纵成分表的骗局
高价婴儿食品用去纤维的黑莓等水果，提高糖纤比，却宣称无添加糖。目的是让儿童上瘾而非省钱。（63 分 · 71 条评论）
查看原文
排行第二十四：数学家应了解的 Lean 定理证明器：可靠性与 AI
Lean 内核是否会出现新的正确性漏洞？软件开发人员认为这不可能，但数学证明依赖的仍是软件系统。若出现漏洞，AI 辅助证明的可信度将受质疑，归根结底是信任问题。社区和声誉保障人类验证，而 AI 证明仍需时间建立信任。（42 分 · 5 条评论）
查看原文
排行第二十五：用Rust重写Prime Agent
我对他们使用的规划者-执行者-审查者-验证者流程很感兴趣，想了解具体如何实现。想知道这种流程如何应用于新项目开发，而不仅仅是复制代码或优化性能。（23 分 · 6 条评论）
查看原文
排行第二十六：巴拿马发生7.6级地震
我在巴拿马佩诺梅诺外的山丘上，地震初期的轰鸣导致停电，房屋可见晃动但未受损。一些老旧建筑受损，当地人对地震不熟悉，目前仍有余震发生。（132 分 · 36 条评论）
查看原文
排行第二十七：Microsoft-Decision-1快速决策模型
这个模型基于小型Qwen模型，与Cloudflare的Clef、Strands决策器等类似。Qwen确实表现出色，很高兴看到开放权重（非开源）推动整个生态系统发展。（152 分 · 56 条评论）
查看原文
排行第二十八：强相互作用力有多强？
这条下面暂时没有抓到评论。（5 分 · 0 条评论）
查看原文
排行第二十九：AI代理可在屏幕上绘制箭头和文本
虽然计算机变得廉价高效，但我们似乎找到了更昂贵、依赖他人计算资源的方法。现在需要AI告诉按哪个按钮，真是令人感慨的时代。（385 分 · 169 条评论）
查看原文
排行第三十：编程并非特殊艺术
Glyph的观点未能说服我。我认为代码可以很美，但不算是艺术，就像技术文档一样。我更愿意用10分钟创建插件和天气应用，而不是花两天时间调试代码。（176 分 · 195 条评论）
查看原文
