Hacker News 中文摘要

优步为控制成本对Claude Code等AI工具设限，将员工每月单工具使用额度设为1500美元。这一政策源于公司2026年AI预算在四个月内耗尽，反映出AI编程工具意外爆红带来的预算失控问题。相比鼓励过度使用的排行榜制度，这种限额措施更为理性务实。

ESP32-S31是一款双核RISC-V架构的多协议SoC芯片，由乐鑫科技推出，具有高性能和丰富的连接功能。该芯片支持多种无线通信协议，适用于物联网等应用场景。

Let's Encrypt计划采用Merkle树证书(MTCs)来实现后量子安全的Web PKI，在保持TLS速度与可靠性的同时增强认证安全性。随着量子计算发展，传统加密面临威胁，美国国家安全局已要求2030-2035年过渡到后量子算法。MTCs被视为实现后量子网络认证的关键方案。

Capstone是一个轻量级跨平台、多架构的反汇编框架，旨在成为安全社区二进制分析和逆向工程的终极工具。它支持多种处理器架构，提供简洁API和详细指令分解功能，包括隐式寄存器读写语义。采用纯C语言实现，提供多种编程语言绑定，兼容主流操作系统，具有线程安全、高性能和嵌入式支持等特点，适用于恶意软件分析等场景。

谷歌推出Gemma 4 12B多模态模型，专为笔记本电脑设计，兼具高效能与移动优先特性。该模型填补了轻量版E4B与高端26B MoE之间的空白，首次在中型模型中支持原生音频输入。Gemma系列下载量已突破1.5亿次，开发者已将其应用于可穿戴设备等多种场景。

一位住在旧金山机场起飞航道下的居民，利用ADS-B无线电技术，将飞过房屋上空的飞机轨迹投影映射到天花板上，实时展示航班动态。

《莱顿人工智能与数学宣言》呼吁数学界关注人工智能带来的挑战，倡导负责任地运用AI技术推动数学研究发展，同时维护学科健康发展。该宣言由国际数学联盟支持，旨在为研究者、机构及政府提供行动建议。

达芬奇Resolve 21新增照片编辑页面，引入新一代AI工具支持内容搜索、去老化等处理，优化剪辑和调色工作流程，增强Fusion图形特效，改进Fairlight音频管理，并提升VR沉浸式工作流程支持。

多伦多大学研究发现，利用公开AI模型可构建新型网络蠕虫病毒，能自适应传播并控制整个网络，几乎零成本发动复杂攻击。这种威胁可针对任何联网设备，现有防御系统尚无法应对，对金融、医疗等关键基础设施安全构成严峻挑战。

由于AI需求激增导致供应链紧张，DDR5内存价格暴涨。32GB DDR5内存（游戏电脑的理想配置）最低价已升至375美元，而一年前同类产品价格不足100美元。目前16GB内存价格也超过240美元。零售商借机抬价，导致内存市场价格混乱，主流32GB DDR5套件价格已突破350美元。这对2026年想要组装游戏电脑或升级设备的玩家造成了巨大经济压力。