AI 工程与代理
这一组新闻都在说同一件事：AI 不再只比谁参数大，而是开始比谁更能落地。重点变成了专用模型、本地部署、代理结构，以及怎么少耗上下文、多保质量。
- Mistral 发布 Leanstral：Mistral 推出面向 Lean 4 的开源代码智能体，专做形式化证明和代码验证。它主打更低成本和更强并行推理，目标很明确：把“会写代码”推进到“会证明代码是对的”。
- 我在本地搭建靠谱又好用的语音助手之路（2025）：作者把 Home Assistant 语音助手从云端方案改成完全本地运行，细讲了硬件、模型、唤醒词、自动化和踩坑过程。结论很实在：本地方案更可控、更保护隐私，但要花时间调。
- 语言模型团队：一个分布式系统视角：这篇论文把多智能体系统当成分布式系统来分析，讨论什么时候“多代理协作”真的比单代理更好。它给了一个更清楚的思路：别盲目堆代理，先看通信成本、结构和任务类型。
- Apideck CLI：一个比 MCP 更省上下文的 AI agent 接口：文章指出，MCP 这类工具接口常把大量上下文浪费在工具定义上。作者主张用 CLI 做代理接口，按需暴露信息，能更省 token，也更容易控权和排错。
- 以质量为代价换速度：2025 年 Cursor AI 在开源项目中的使用研究：研究发现，Cursor 确实能提速，但也会带来更多静态分析警告和更高代码复杂度。短期更快，长期可能要为质量问题补票。
- Show HN：Claude Code 技能，直接搞出完整 Godot 游戏：这个项目把 Claude Code 用在游戏生成上，从需求到素材、代码和场景都尽量自动化。它说明 AI 编程正在从“补全代码”走向“拼完整项目”。
算力、芯片与图形
NVIDIA 还是这轮新闻里的主角。它不只卖 GPU，而是在把 CPU、图形、自动驾驶和整套 AI 基础设施一起打包推进。
- Nvidia 推出 Vera CPU：专为 Agentic AI 量身打造：Vera CPU 面向大规模 AI 推理、数据处理和强化学习，强调高性能和能效。意思很直接：NVIDIA 想把 AI 服务器里更多关键部件都握在自己手里。
- 黄仁勋刚把 Nvidia 的 Blackwell 和 Vera Rubin 销售预期直接抬进了 1 万亿美元级别的天花板：黄仁勋给出到 2027 年累计订单 1 万亿美元的激进预期，说明市场对新一代 AI 芯片需求仍在猛涨。这个数字是否能兑现先不说，但行业热度已经写在脸上了。
- Nvidia 的 DLSS 5 用生成式 AI 大幅提升电子游戏的照片级真实感，野心还不止于游戏领域：DLSS 5 进一步把生成式 AI 塞进图形渲染流程，目标是在更少算力下做出更逼真的画面。它不只是游戏技术，也像是在试探“结构化图形数据 + 生成模型”的更大用途。
- Nvidia称，中国的BYD和Geely将采用其robotaxi平台：比亚迪和吉利将使用 NVIDIA 的自动驾驶平台开发 Robotaxi。NVIDIA 想复制自己在 AI 服务器上的打法：芯片、平台、工具链一起卖。
- 又一家硬核芯片初创公司晋升独角兽：Frore 估值达 16.4 亿美元：Frore 做的是芯片散热，靠液冷相关技术拿到高估值。AI 硬件热潮不只抬高算力公司，也把“散热这种苦活”一起带火了。
开发工具与基础软件
这一组更偏工程现场：类型检查、ORM、系统软件、证书安全和性能优化。没什么花哨口号，都是开发者每天会碰到的实事。
- Python 类型检查器大比拼：谁更符合 Typing 规范？：文章拿一致性测试套件比较多款 Python 类型检查器，结果是 Pyright 和 Zuban 通过率更高，mypy 表现一般。对团队来说，这不是小事，类型工具选错了，日常开发会一直难受。
- Show HN：Oxyde——原生支持 Pydantic 的异步 ORM，Rust 内核：Oxyde 用 Rust 做核心，提供强类型、异步、类 Django 的 Python ORM。它瞄准的是现代 Python 项目里“既要性能也要清晰模型”的需求。
- 从今天起，证书颁发机构将检查 DNSSEC：从 3 月 15 日起，CA 在给启用 DNSSEC 的域名发证书时，必须验证 DNSSEC 记录。规则看起来小，但它让证书签发流程更严了一步。
- 更快的 asin()，原来一直就在我眼前：作者通过改写多项式求值方式，把 asin() 在部分平台上做到了明显提速。文章很有代表性：很多性能优化不靠玄学，靠老老实实测基准和理解编译器。
- 我为什么偏爱 FreeBSD：这篇文章不是新品发布，而是对成熟系统价值的提醒。作者看重 FreeBSD 的文档、稳定性和渐进演进，反衬出“稳”和“新”常常不是一回事。
- Lazycut：一款基于 FFmpeg 的简洁终端视频剪辑工具：一个很小但很实用的工具，用终端完成基本视频裁剪。对只想快速截片段、不想打开重型编辑器的人来说，很对路。
苹果与终端生态
苹果这波新闻有两条主线：一是继续补齐硬件产品线，二是继续加码创作者工具。另一边，维修性和开发细节问题也更常被放到台面上。
- 派评 | 近期值得关注的 App：这篇汇总挑出了几款值得试的应用，包括轻量待办、文档型 AI Agent、本地音乐创作工具和设备管理软件。顺带还提到苹果和谷歌下调中国区应用商店佣金率，对开发者是实打实的减负。
- Apple 收购视频特效与剪辑软件公司 MotionVFX：苹果收购 MotionVFX，明显是在补 Final Cut Pro 生态。方向很清楚：继续抓住视频创作者，而不是只卖硬件。
- AirPods Max 2：AirPods Max 2 用上 H2 芯片，降噪、自适应音频、空间音频和实时翻译都有更新。功能确实补了不少，但整体仍像一次迟到很久的常规升级。
- iFixit：MacBook Neo 是近年来“最容易维修的 MacBook”：MacBook Neo 的电池改用螺丝固定，拆机和更换都更容易。苹果在维修友好性上终于往前挪了一步，虽然内存和存储依旧焊死。
- URL/NSURL 会莫名其妙把字符重复编码：新版 SDK 下，老的 URL 处理接口会把已编码字符再编码一次，可能直接把链接搞坏。这类问题不显眼，但会真伤兼容性，也会真浪费开发时间。
平台、安全与网络
这里的重点是“可靠”和“少折腾”：证书更严、网络有备份、安卓大屏体验继续补课，平台厂商也在试着联手应付诈骗。
- Starlink Mini 作为故障切换方案：作者把 Starlink Mini 当家庭宽带的备份线路，用低月费待机，在主线路断掉时自动接管。对需要稳定联网的人来说，这是很实际的思路。
- Android 平板和折叠屏终于要用上 Chrome 书签栏了：Chrome 终于给安卓平板和折叠屏补上书签栏。功能不大，但很说明问题：安卓大屏体验一直在补基础账。
- Android 16 现已为你的 Pixel 8 及更新机型带来桌面模式：Pixel 8 及更新机型开始支持类似 DeX 的桌面模式。现在还不算成熟，但谷歌总算把“手机接显示器能不能像电脑”这件事认真做起来了。
- 科技公司联手打击诈骗分子：多家大公司签署反诈骗协议，承诺共享经验、改进检测和加强交易验证。问题在于这些承诺大多是自愿的，效果还要看后续执行。
AI 的法律与社会后果
AI 已经不只是产品新闻了。版权、未成年人保护、深度伪造和就业冲击，正在变成更难回避的现实问题。
- Encyclopedia Britannica 起诉 OpenAI 侵犯版权和商标权：Britannica 指控 OpenAI 非法使用其内容训练模型，还把错误内容归到自己名下。案子的重点不只是版权，还有“模型胡说时谁背锅”。
- 未成年人起诉 xAI：称 Grok 用他们的照片生成了 CSAM：这起诉讼直指生成式 AI 最敏感的红线之一：未成年人影像被拿去生成性剥削内容。无论案件最终怎么判，平台的防护责任都会被重新追问。
- Benjamin Netanyahu 正忙着证明自己不是 AI 克隆体：一段视频引发“是不是 AI 替身”的阴谋论，真假难辨本身就成了问题。深伪技术最麻烦的地方，不只是造假，而是把所有真实都拖进怀疑里。
- AI 大裁员：多家科技公司一边加大 AI 投入，一边裁员。AI 当然不该被拿来当所有裁员的借口，但它确实正在改写岗位结构和公司预算。