1. 巨树向顶部枝干输水并无困难
- 热度：108 points · 52 评论
- 原文：https://news.exeter.ac.uk/faculty-of-environment-science-and-economy/giant-trees-have-no-trouble-pumping-water-to-top-branches/
- HN 讨论：https://news.ycombinator.com/item?id=48780870
埃克塞特大学和卡迪夫大学发表在《科学》上的研究推翻了一项传统理论：龙脑香科树木可以通过导管基部变宽、叶片耐受更高水压等机制，完全补偿高度带来的水分输运挑战。在2023–2024年强厄尔尼诺干旱期间，高树与矮树相比并未出现高度相关的生长损失。研究者认为，当前气候模型中将高树因水力系统脆弱而更易干旱致死的假设可能需要修正。该结论基于对马来西亚婆罗洲7至71米高树木的测量。
HN评论提到了历史上被砍伐的巨树（如Nooksack Giant）作为背景；有人质疑研究仅覆盖到80米，而世界最高树超过130米，认为水输运可能不是唯一限制因素。还讨论了结构化水理论等争议性假说，并引用相关论文与批评。
2. MSI Center：如何在数秒内获得 SYSTEM 权限
- 热度：34 points · 7 评论
- 原文：https://mrbruh.com/msicenter/
- HN 讨论：https://news.ycombinator.com/item?id=48781688
安全研究者发现 MSI Center 的“Notebook Foundation”服务在启动时创建一个可供任何已认证用户交互的命名管道（\.\pipe\MSISERVICE2），提供 Registry 读写、WMI 操作、执行任意程序（PC REXE）和终止进程（KEXE）等 LocalSystem 权限命令。MSI 使用过时的 3DES 加密进行安全混淆，但研究者通过注册客户端名称并加密命令实现利用。该漏洞可远程通过 SMB 触发（需有效凭据）。MSI 在收到报告后两天内修补，于 MSI Center 2.0.70.0 中修复。研究者因先前举报其他厂商未获任何赏金，呼吁捐赠。
评论对 MSI 的快速响应表示惊讶，但批评仍然使用3DES，认为这是安全上的红旗；有人提及可用逆向工程编写自由软件替代厂商工具。有用户指出该漏洞利用本地提权的旧模式，并讨论 BIOS 注入攻击的可能性。
3. Leanstral 1.5：人人可用的定理证明工具
- 热度：105 points · 31 评论
- 原文：https://mistral.ai/news/leanstral-1-5/
- HN 讨论：https://news.ycombinator.com/item?id=48780801
Mistral 发布 Apache-2.0 许可的 Leanstral 1.5，仅 6B 活跃参数（总参数 119B），在形式化验证基准上表现突出：miniF2F 全面饱和（100%），PutnamBench 解决 587/672 题（成本约 $4/题），FATE-H/X 达到新 SOTA。模型通过中期训练、监督微调和 CISPO 强化学习训练，支持多轮环境和代码代理环境。在代码验证中，自动发现 57 个仓库中的 5 个未知 bug，例如 varinteger 库中处理 Std.U64.MAX 时加法溢出导致崩溃。模型完全开放权重并提供免费 API。
评论对 bug 发现样例提出质疑：U64.MAX 边界条件本应被测试覆盖，认为营销有些夸大；也有评论认可开放权重和小尺寸的实用性。讨论 Lean 在软件验证领域的采用现状，以及相比 Isabelle/Rocq 的优劣势。
4. GLM5.2 在 AMD MI355X 上以超过 Blackwell 两倍低成本达到 2626 tok/s/node
- 热度：114 points · 30 评论
- 原文：https://www.wafer.ai/blog/glm52-amd
- HN 讨论：https://news.ycombinator.com/item?id=48780417
Wafer.ai 在 AMD MI355X 上部署 GLM5.2，通过 MXFP4 量化（声称与 FP8 相比无损）、sglang 引擎、修复 spec decode 的 prefx 不匹配和 CUDA 头文件缺少 ROCm 守卫的 bug，以及手动调优 MoE 内核选择，实现单流 213 tok/s、聚合 2626 tok/s/node（20k-in/1k-out, 60% cache hit）。成本仅为 NVIDIA B200 方案的一半以上。文章指出虽然仍有一些框架层面的摩擦，但本次未编写自定义内核，CUDA 护城河正在被侵蚀。
评论要求加入性能每瓦特对比，讨论数据中心电力供应限制了 GPU 集群规模；对 MXFP4“无损”声称提出质疑，指出原文表格中 GSM8K 和 GPQA 均有下降。还有评论关注实际毛利率和利用率对成本的影响。
5. Steam Controller 自动充电：利用计算机视觉导航至磁吸充电座
- 热度：79 points · 18 评论
- 原文：https://github.com/FossPrime/Steam-Controller-Auto-Charge
- HN 讨论：https://news.ycombinator.com/item?id=48780865
开源项目 Steam Controller Auto-Charge 使用 OpenCV.js 光流追踪摄像头下的手柄与磁吸充电座，通过 WebHID 向手柄发送 70Hz 非对称触觉脉冲，使手柄在桌面上自行移动至充电座。接近时自动降频至 50% 以实现轻柔对接。依赖 Nix 包管理器、Chromium 浏览器和头顶摄像头，前端采用 Vue 3，物体检测由 Rust/WASM CNN 执行。
评论提供了演示视频（利用线性谐振驱动器实现桌面爬行）；有用户抱怨手柄供应紧张，预订到 2027 年。有人调侃邻居可能误解夜间手柄自动充电时的震动声。
6. 让你大脑思考和看见的电路
- 热度：50 points · 8 评论
- 原文：https://www.engineering.columbia.edu/about/news/circuit-lets-your-brain-think-and-see
- HN 讨论：https://news.ycombinator.com/item?id=48780996
原文正文未抓取。从 HN 评论可确认，该研究涉及去抑制性信号通路在皮层网络中实现自上而下信息编码。作者使用简单神经网模型复制 fMRI 中视觉抽象现象，发现抑制性神经元抑制其他抑制性神经元是将“思考”部分的信号传递至“感知”部分的关键机制。
评论讨论了抑制失败在运动控制中的表现（产生混乱运动），以及使用率编码而非精确时序建模神经活动的合理性。有评论指出大脑存在大量的反馈连接，文章似乎低估了已知的递归机制。也有人认为逆向工程大脑算法是超越当前 LLM 的潜在路径。
7. SearXNG：免费互联网元搜索引擎
- 热度：143 points · 43 评论
- 原文：https://github.com/searxng/searxng
- HN 讨论：https://news.ycombinator.com/item?id=48779454
SearXNG 是一个开源的元搜索引擎，聚合多个上游搜索结果，并提供 JSON API，适合集成到本地 LLM 工具链中。支持自托管，强调隐私保护。GitHub 上 33k+ 星，拥有近万次提交，社区活跃。
原 Searx 作者介绍其新项目 Hister（全文本索引器）。用户分享自托管体验：速度慢于 Google 但可接受，配置 Brave Search API 后可靠。有人质疑“把搜索从一家公司分散到 280 家公司”的隐私增益有限。此外，SearXNG 被广泛用于为本地模型提供搜索能力。
8. 范德海登兄弟与17世纪阿姆斯特丹消防系统
- 热度：50 points · 12 评论
- 原文：https://worksinprogress.co/issue/how-amsterdam-invented-the-fire-department/
- HN 讨论：https://news.ycombinator.com/item?id=48780913
文章回顾了17世纪阿姆斯特丹消防系统的演进。早期使用 Hautsch 水泵无法有效灭火，画师兼发明家 Jan van der Heyden 与其兄弟 Nicolaas 发明了柔性皮革软管、吸水管和空气室，实现连续高压水流，并能深入建筑内部。配合组织改革（奖励、罚款、轮值制），1682年后火灾损失降至前十年的不足 1%。这被认为是早期系统分析的实例。
评论指出消防部门并非荷兰发明，古罗马已有 Vigiles Urbani，现代职业消防部门起源于 19 世纪爱丁堡和辛辛那提。还提到 Marcus Licinius Crassus 在古罗马的私人消防队勒索式商业模式。