今日速览
核心假设变了——coding agent 把「做两遍」的成本砍下来；Shop 绿场重写 12 周已上架。
跨端共享代码的红利，正在被「模型能对照着另一端写」稀释；原生能力重新值钱。
要点
双屏折叠继续霸榜；Pencil 与展开态多任务成卖点，价格与厚度仍是阻力。
折叠机的产品题不是更大屏幕，是开发者愿不愿为展开态重做信息架构。
要点
托管 Codex harness：会话持久、沙箱跑代码、MCP/子代理；应用只管工具与环境。
Agent 产品的下一层抽象是「托管运行时」，不是又一个 chat completion 包装。
要点
FrontierCode 约 50%，接近 Fable 5.1 且宣称便宜约 64%；从 Kimi K3 继续 RL。
Coding agent 竞争正从「分数更高」转向「同一帕累托曲线上更便宜」。
要点
研究者协作后模型侧出现相近成果与归属争议；训练污染与「平行构建」质疑升温。
当模型厂商同时是协作者、发布方与训练数据吸收方，科研产品的默认信任合同失效。
要点
与 C++/C#/TypeScript 同级铺路；推出 rustc_codegen_utc 对接 MSVC 后端。
语言「战略重要」的落地，是 toolchain 与合规流水线，不是 blog 口号。
要点
标准线协议进路由器；每分片真 Postgres；在线再分片与 DDL；预览期勿上生产。
分片数据库的产品胜负，在「还是不是 Postgres」以及运维是否变成工作流。
要点
OpenAI 同步放出可读证明与 Lean 证明；有人估形式化成本降几个数量级。
AI 数学新闻的产品内核，可能是「可机器核对的工件」变便宜，而不只是又一个猜想被证。
要点
欧洲最大单笔投资约 €130 亿建数据中心；与 Fortum 签 22 年合同买 Loviisa 最多 50% 出力。
AI 基建产品的瓶颈经常是长期电力合同，不是又一块 GPU 采购单。
要点
WebGPU 着色器死循环拖垮 GPU/WindowServer；跨浏览器复现；Apple 称不算安全问题。
用户信任的是「点开链接不该整机摆烂」——厂商安全分类若忽略这点，产品信任仍会掉。
要点
Tyler Gaw 一则帖：十年没用的线今天用上了；作者打印贴在「家庭科技箱」上。
库存的价值在尾部需求；产品里的「断舍离」按钮，常低估罕见但高痛的场景。
要点
先写可编辑乐谱再合成人声与伴奏；称音质对标 Suno v5；开源模型与评测。
生成式音乐若先产出可编辑中间表示，创作者才进得了工作流，而不只是抽卡。
要点
NASA 自旋算法用于吴哥窟等褪色壁画；访客日日走过却看不见。
遥感增强技术下沉到文物，是经典「航天技术民用化」产品故事。
要点
21 Air 货机事故；公布 CVR/FDR 末段初步摘要，时间尚未精确对齐。
航空调查产品的价值是分阶段透明：先事实时间线，再结论。
要点
Robert Hutchinson 开源式在线乐理书：从音高记号到调式，练习与索引齐全。
结构化开放教材仍是「把学科产品化」的高效形态。
要点
从模板建仓时模板展开可干扰 git 初始化；16.0.4 修复；Gitea 称不受影响。
自建 Git 服务的安全补丁窗口，直接等于供应链风险窗口。
要点
双 RTX Pro 6000、本地训练微调定位；起价约 $3299 配置档。
本地 AI 工作站卖的是「数据不出门的迭代速度」，不是云账单对比表。
要点
lcamtuf 谈模型吃自己输出的递归失败；关联 agent 循环与模型崩塌隐喻。
Agent 产品若缺少外部真实反馈，递归会放大胡话——要设计熔断。
要点
Y 系列 EcoCute；遥控器可选鼓励白天用电的电价套餐，吃白天光伏。
能源产品的差异化，越来越多是「对齐电网信号」，不只是能效比多 0.1。
要点
Doubleword 深挖 RTX 4090 上 store 路径：warp→L1→L2→DRAM 与可见性。
推理性能产品若不懂存储可见性，优化会停在内核参数玄学。
要点
披露网络战、影响操作等案例；强调 AI 让「不那么强」的攻击者也能规模化。
安全产品叙事从「防模型写漏洞」扩到「整条杀伤链被自动化」。
要点
训练跑把优化本地码写入 AOT 缓存，缩短启动与预热；工作负载变了再动态重生。
云函数与微服务要的是「第一次请求就热」，AOT 缓存是产品级启动体验。
要点
可打印的农贸时令海报；把「什么时候买什么」做成墙上物。
小工具产品：把日历知识做成可触达的物理界面。
要点
布朗大学 Costs of War 论文重上热榜；争论科技是否「新介入」还是「历来如此」。
招聘与价值观产品文档，迟早要回答要不要接国防合同。
要点
经典讲座视频再热；类比如何驱动理解与创造。
做 AI 产品时，「类比能力」比堆事实检索更接近用户以为的智能。
要点