今日 HN 榜首（754 分）。ARC Prize（抽象推理语料基准）公布了 DeepSeek V4 Flash 0731 版本的成绩。DeepSeek 连续冲刺 AGI 抽象推理基准，V4 Flash 代表其开源小模型在该赛道的最新进展，成绩发布本身引来大量讨论。对关注开源大模型推理能力、模型-基准博弈的 AI 研究者与工程师值得追踪原文数据。
今日 HN 热榜高分（516 分）的观点文。作者反驳流行的那句"代码从来不是最难的部分"（暗指需求/沟通/架构更难），指出这句话抹杀了写代码本身的技术深度与craftsmanship——把复杂业务正确翻译成正确、健壮、可维护的代码，本身就是一门硬功夫。对身处"AI 会让写代码贬值"论调、或想找回编程价值感的开发者是篇提气的反驳。
今日 HN 热榜（359 分）。DeepMind 公布 WeatherNext 模型在气旋（cyclone）预报任务上取得突破性进展。文章展示了 AI 气象模型在强对流、台风路径与强度预报上相对传统数值模式的提升，是 AI for Science 在天气领域的一个新里程碑。对关注科学计算、AI 预报、模型评估方法的研究者与工程团队有参考价值。
今日 HN 热榜（330 分）的硬核安全研究。安全研究者公开了一套针对部分 x86 CPU 的硬件后门（名为 rosenbridge）研究，演示了如何设计可利用的硬件植入/后门，警示芯片信任链与供应链安全风险。对做底层安全、硬件安全、供应链可信计算（secure boot/TEE）研究的开发者是份严峻而重要的提醒。
这周的 GitHub 趋势被"Agent Skills"彻底刷屏了——addyosmani/agent-skills、google/skills、mattpocock 的技能库同时冲到榜前，加上 Google 官方下场做 Skills，基本确认了一个信号：AI Agent 的能力分发正在从"MCP 协议"切换到"Skills 打包"。MCP 解决"Agent 能不能连到工具"，Skills 解决"Agent 会不会干这活"，后者把工程经验写成可复用的剧本，是更贴合真实生产的形态。如果你在搭 Agent 底座，MCP 仍然要做，但 Skills 才是这波差异化竞争的高地。
另一个值得注意的点是 prime-agent 这类"自我改进的 RLM 编码 Agent"开始冒头——它不止是帮你敲代码，而是能从使用中持续学习、积累能力用于长任务。这跟年初"上下文工程"的讨论一脉相承，但更逼近"Agent 越用越聪明"。我预判下半年编码工具的主战场会从"谁模型强"转向"谁记忆和积累做得好"。
DeepSeek V4 Flash 0731 又一次冲上 ARC Prize 榜首热搜，开源小模型对抽象推理基准的连续冲击，说明行业已经不满足于"聊天/代码"了，开始盯着 真正逼近 AGI 的推理能力。而 WeatherNext 这类 AI 气象模型在气旋预报上的突破，再次证明 model 一旦数据够好，就能在传统硬科学赛道拿到远超数值模拟的成绩——AI for Science 的下半场比堆参数有意思多了。
最后吐个槽：DeepMind、ARC 这些榜单和 x86 硬件后门、DNS 域名出售这些基础设施新动向其实在同一天霸榜 HN，恰好说明技术圈的注意力越来越两极——一头追着 AI 的星辰大海，一头盯着底层信任链的安稳。两边都别丢，技术进步和安全底线的平衡，才是工程师真正的长期课题。