Hacker News 首页，评论译成简体中文。
首页
排行第一：REA Reverse – 工程师一切
作者希望将此工作成果未来能供更多人使用，因为随着前沿模型被封锁，这项工作将变得越来越重要。（26 分 · 7 条评论）
查看原文
排行第二：Cloudflare 收购 Deno
Cloudflare 将支持 Deno 运行时一年，之后将停止开发，但 Deno 将保持开源。（1057 分 · 551 条评论）
查看原文
排行第三：Triple-A Minesweeper
一款优秀的 Minesweeper 游戏，建议增加类似 Metal Gear Solid 的对话，增加游戏深度。（632 分 · 119 条评论）
查看原文
排行第四：我们获得 4.45 亿美元 D 轮融资
Oxide 公司正在为正确的理由筹集资金，作者鼓励他人申请加入。（586 分 · 262 条评论）
查看原文
排行第五：Show HN: Carrier-Explode: 解码 iPhone、Pixe
文章链接了 MacRumors 关于 AT&T iPhone 18 Pro Max 锁机问题的讨论，揭示了 AT&T/Apple 为防止硬件损坏而采取的措施。（211 分 · 20 条评论）
查看原文
排行第六：抱歉，我在开会
作者为团队安排每周五早8点到11点的会议，提升会议的重要性，团队成员对此表示欢迎。（756 分 · 236 条评论）
查看原文
排行第七：Typesafe AI 获得 8.7 亿美元融资，估值 750 亿美元
奇怪的是，Jev 发布两天后就有十几个决策模型，一周后有几十个，大部分是开源的。OpenAI 的决策 API 超过了它，可以轻松微调自己的模型。但如其他人指出的，这并不重要。微软也发布了 Decision-1 模型。（264 分 · 205 条评论）
查看原文
排行第八：YouTuber 称警察造访他家，因他制作了类似 Flock 的摄像头追踪警察
Flock 和 ALPR 在美国的使用问题可以通过各州采用新罕布什尔州的法律来解决：禁止收集车牌用于后期分析，非命中车牌图像必须在 3 分钟内删除，禁止上传非命中图像。建议获取 ALPR 数据需要搜查令。（394 分 · 211 条评论）
查看原文
排行第九：日本著名金枪鱼买家称将索马里海盗转变为渔民
Kimura 在日语采访中讲述的故事，文章应链接到这些来源。文章内容很少。（59 分 · 32 条评论）
查看原文
排行第十：23 个核心开源项目中有 11 个由 1 或 2 人维护
有人发布这些内容时是否认为“LLM主义”听起来不错？（18 分 · 8 条评论）
查看原文
排行第十一：AI 指向档案发现遗忘陨石、失踪犀牛等
作者自己可能对荷兰东印度公司了解甚少。这些练习让我想起垃圾食品，只有空热量。（100 分 · 52 条评论）
查看原文
排行第十二：Anthropic AI 模型提交关于未解谋杀案的虚假线索
更正标题：Anthropic 员工使用公司资源提交虚假谋杀案线索。AI 不是活的，只是程序，只能访问人类给它的数据。（25 分 · 6 条评论）
查看原文
排行第十三：AI代理在屏幕画箭头
作者感叹AI技术让原本简单的问题变得极其昂贵且依赖外部计算资源，甚至需要机器人指导点击按钮，讽刺现代技术发展偏离了初衷。（376 分 · 164 条评论）
查看原文
排行第十四：用Rust重写Prime Agent
评论者对Prime Agent从原语言迁移到Rust时采用的规划-执行-审查-验证流程感兴趣，希望了解该方法如何应用于全新项目而非仅语言迁移或性能优化。（16 分 · 3 条评论）
查看原文
排行第十五：Proton Drive Linux版发布
Proton Drive已为Linux用户推出命令行工具，由Proton AG团队开发，支持Linux环境下的文件管理，官网和博客提供详细文档与使用说明。（31 分 · 10 条评论）
查看原文
排行第十六：2026诺贝尔和平奖提名
评论者指出，Nobel Peace Prize的热门人选Navanethem Pillay并未出现在Polymarket的预测名单中，暗示诺贝尔基金会不存在内幕交易，令人意外。（440 分 · 225 条评论）
查看原文
排行第十七：Rust编译为可读C代码
作者希望Eurydice工具能更全面地保留Rust的运行时安全特性，如边界检查，而不仅仅是编译时安全，认为将这些特性还原到C代码中会更有价值。（7 分 · 1 条评论）
查看原文
排行第十八：静态站点意外暴露内部文档
作者分享自己因构建目录设置错误，导致内部文档和隐藏目录被公开，其中包含可绕过结账的参数和未修复的漏洞，虽无敏感数据，但暴露了安全问题。（5 分 · 4 条评论）
查看原文
排行第十九：展示HN：你可能从未读过的稀有技术书籍和文档
有人质疑“稀有”一词的含义，认为可能存在语言障碍。例如，John Sculley的自传在亚马逊上新书约20美元，二手书约5美元，并不稀有。（72 分 · 11 条评论）
查看原文
排行第二十：猫眨眼动作在猫与人交流中的作用（2020）
作者建议用伸出手指让猫闻和摩擦，这类似于猫之间用鼻子碰撞和摩擦气味。作者通过这种方式结识了许多胆小的猫咪。（33 分 · 21 条评论）
查看原文
排行第二十一：'小壁虎与狗熊'，90%是个人项目
《小壁虎与狗熊》是个人项目，作者独自乘公交多年前往工作室工作。这展示了对兴趣项目的巨大投入。（155 分 · 20 条评论）
查看原文
排行第二十二：Atari Falcon
Atari宣布推出800XL混合游戏机，将于四月上市。（10 分 · 2 条评论）
查看原文
排行第二十三：OpenAI将数学翻译成代码证明纳维-斯托克斯方程
论文中的细节在编写代码时被发现有误并修正，但论文本身未被更改。这类似于设计文档与最终实现之间的关系。（52 分 · 5 条评论）
查看原文
排行第二十四：巴拿马发生7.6级地震
震中附近有人报告说，地震导致停电和轻微摇晃，但房屋未受损。目前仍有余震。（125 分 · 35 条评论）
查看原文
排行第二十五：如何修复 autoconf 风格的配置探测
虽然现在 autoconf 的重要性降低了，但在过去，除了 Linux 和 FreeBSD，还有很多商业 Unix 系统。为了在这些系统上实现可移植性，你需要检查一切。因此，autoconf 是一个关键工具，而不仅仅是一个花哨的空操作。（10 分 · 4 条评论）
查看原文
排行第二十六：数学家应了解 Lean 定理证明器：可靠性和 AI
2026 年，自动形式化已经成为现实。但目前将论文翻译成 Lean 时，形式化结果与论文之间的对应关系非常差。虽然比手工快，但论文输入 -> Lean 输出并不保证两者的一致性。（30 分 · 2 条评论）
查看原文
排行第二十七：微软的快速决策模型：Microsoft-Decision-1
这个模型基于 Qwen 的较小模型，类似于 Cloudflare 的 Clef 和 Strands decider。尽管这些模型都获得了大量关注，但 Qwen 确实是一个强大的小引擎。开放权重（即使不是开源）推动整个生态系统的发展是件好事。（139 分 · 53 条评论）
查看原文
排行第二十八：想法并不越来越难找到（2022）
你不能忽视需求与解决方案之间的自然饱和，也不能因为人们过去说“一切都已经完成”而错误地得出无限乐观的结论。想法不是孤立存在的，而是由整个生态系统孕育的。需求的力量创造了供应链，人类的需求资助了解决方案。和平时期和充足的粮食为发明提供了所需的时间和努力。（119 分 · 54 条评论）
查看原文
排行第二十九：AI 能否自动化 AI 研发？
这条下面暂时没有抓到评论。（5 分 · 0 条评论）
查看原文
排行第三十：没有人是一座孤岛
标题引用了约翰·多恩的整段冥想：没有人是一座孤岛，完全自成一体；每个人都是大陆的一部分，是整体的一部分。如果一块泥土被海水冲走，欧洲就少了一块，就像一个海岬被冲走一样。无论是朋友的庄园还是你自己的庄园被冲走，任何人的死亡都会减少我，因为我与人类息息相关。因此，不要问丧钟为谁而鸣；它为你而鸣（高中时必须背诵，这是我最喜欢的之一）。（260 分 · 163 条评论）
查看原文
