今日速览
Dario Amodei 提出三步「pace the frontier」：嵌入第三方评估、民主国家协调、全球协调；称 RSI 与 agent 群攻击已改变局面。
当公司自己说「对齐没跟上能力」，产品节奏从功能清单变成对外可验证的安全流程。
要点
市值约 $5.4 万亿；黄仁勋用百亿级担保与华尔街联手撬动数据中心投资，批评者担心在「创造需求」而非「满足需求」。
当芯片商开始给客户做收入兜底与设备残值担保，算力周期就变成了信贷周期。
要点
Gamers Nexus 称约 2.16 亿台 LG 智能电视会记录/上传甚至待机录音；LG 称语音指控不实，但确认会扫描局域网设备。
智能电视的信任债：厂商说「可选、默认关」，用户记得的是开机向导里难绕开的同意流。
要点
品牌广告做成可玩 Skyrim 改装，剧情与配音量超出「搞笑短片」预期；FAQ 确认「是真的」。
最好的品牌植入有时是认真做产品体验，而不是贴个 Logo 截图。
要点
Brown CEL 对比多种语言：同一段「后台写日志」伪代码，七个运行时给出多组不同输出；没有两套对三种变体全一致。
用户以为学会了 async，其实学的是某一门语言的九维选择组合。
要点
Simon Tatham 发现 Linux Zoom 更新后会主动读取写入 X11 剪贴板的一切；密码管理器走剪贴板的人需知情。
剪贴板是系统级共享内存，桌面客户端一伸手就能拿走你刚复制的密钥。
要点
Specific Labs 发布基准：任务来自授权的真实生产库；Fable 5.1+Claude Code 约 38.8% 居首，多模型在 16–34%。
公开题库刷分不等于能改计费、报税、迁客户——私有约定才是企业采购要的分数。
要点
WIRED 记者用 Operations Center Pro Service 修好传感器；年费从单机 $195 到车队数千美元——评论认为这没碰对「维修权」核心。
把维修手册做成订阅，解决的是信息检索，不是锁和授权。
要点
教程带你用 JOSM 插件给附近店铺补 website=*，让数十个 OSM 服务吃到数据。
开源地图的冷启动：一个网站字段能撬开电话与营业时间等后续标签。
要点
前苹果工程师回忆：用 JPEG 序列转 iPod、ImageMagick 生成刻字叠图、黄闪提示交货变化。
交互「魔法」往往是约束下的拼贴，不是新框架。
要点
M3 ANE 在权重大小为 1MiB 整数倍时，DRAM 流式吞吐从约 45–60GB/s 掉到 17–19GB/s；绕开可把 Llama 解码提速约 2×。
硬件产品的「性能」有时是对齐陷阱，不是算法问题。
要点
LWN 订阅文讨论把 `!` 从不稳定走向可用；长期用 Infallible 顶替导致多余 tag/死代码。
类型系统里的「不可能发生」一旦稳定，API 就能少一层假装。
要点
论文主张：7G 不该是编号惯性；只有 6G/Wi‑Fi/NTN 等解决不了的系统性断裂才值得新一代。
下一代移动网首先是协调与叙事问题，其次才是更快的无线电。
要点
buildprof 把编译子进程铺成时间线；复现 Bun Rust 构建快于旧 Zig，并揪出 Full LTO vs ThinLTO 等变量。
性能结论要先可视化进程树，再信推文里的倍数。
要点
可视化介绍 tree calculus——紧凑、可反射、图灵完备；作者称能在一小时内讲给非科班听众。
理论工具若能画成几条归约规则，教学成本会塌缩。
要点
Ken Shirriff 拆 Intel 8087 的 FSCALE：本以为乘 2 的幂很琐碎，结果超 140 条微指令还带三级子程序。
「简单指令」的边角案例，才是数值标准能站住的原因。
要点
与 LG 否认声明配套的视频线；评论聚焦「厂商拥有玻璃之后还能要什么」。
智能电视争论的下一句，往往是「那还有没有哑电视可买」。
要点
Signal 上线 Automatic Key Verification；ToB 是三家外部审计方之一，独立实现并签名 Merkle 树头。
端到端加密之外，还要证明服务器没给你假公钥——透明日志把「信任」拆成可核对的树。
要点
作者三年前弃坑 Linux ANE 驱动；M5 把神经核折进 GPU 后，回头映射 M1 ANE 的计算/数据通路/调度假设。
芯片上的 ML 假设写死了——CNN 时代的 NPU 解释不了 Transformer 时代的产品选择。
要点
公开 NAT-T socket keepalive API 可让明文 UDP/4500 包走物理网卡，躲开 Always-on VPN + lockdown；影响多数 Android 12+ 设备。
设置页写「无 VPN 就断网」，实现上却留了特权旁路——信任模型塌了。
要点
Anthropic 旧文：用电路视角拆 Transformer；在「要可解释性」的当下被重新点进首页。
当对齐事故变多，旧的可解释性论文会重新变成工程说明书。
要点
作者分享整颗苹果（含蒂）与猕猴桃皮可食；评论迅速转到农药、毒素与文化差异。
「能吃」不等于「该吃」——营养、毒素与农残在同一层皮上。
要点
用 libsodium 基准对比近年 Wasmer/WAVM/WAMR/Wasmtime；Wasmer 领先但差距不大，wide_arithmetic 对加密很关键。
Wasm 变快，靠的是指令集与运行时一起进步，不是单一引擎神话。
要点
作者把可移植应用逻辑放进共享 Rust，iOS/Android/Web 只留薄壳；自称更好的 Roblox 方向。
多端产品最大的债不是 UI 控件，是三套分叉的业务决策。
要点
伯克利 Snap! 强调比 Scratch 更强的表达力，同时面向课堂与研究；讨论聚焦调试痛与工程能力边界。
图形化语言能教会编程概念，但未必教得会软件工程。
要点