人工智能与算力
这周的 AI 重点，不是又多了几个聊天功能，而是更基础的问题：数据从哪来，模型到底能做什么，AI 会怎样改工作，也该由谁来约束它。
- 挪威的 2 PB 华为闪存存储与 LLM 训练：挪威国家图书馆正用本国数字馆藏训练更懂挪威语和本地文化的大模型。文章最有价值的一点是说清了现实难点：不只是算力，更是数据清洗、评估、治理和整条训练管道的协同。
- OpenAI 模型对埃尔德什单位距离问题的证明：OpenAI 称其模型独立完成了一个公开数学问题的证明，并已公开材料供外部核查。若结论站得住，这会比很多演示更能说明模型推理能力到了什么程度。
- ClickUp 的大规模裁员，告诉了我们关于未来工作的什么：ClickUp 裁员 22%，把原因直接和 AI 转型绑在一起。它想表达的方向很清楚：以后公司会更看重“会不会用 AI 放大产出”，而不只是原来的岗位边界。
- 教皇的人工智能通谕，其实并不是在讲人工智能：这篇解读指出，教皇真正关心的不是模型本身，而是权力集中、不平等、战争和监督缺失。核心意思很简单：技术再强，也不能自动获得统治人的资格。
平台、监管与隐私
平台正在变得更强，但也更惹人担心：搜索在吞掉网页流量，应用商店审核越来越失真，年龄验证和广告追踪继续碰撞隐私边界。
- 加州在舆论反弹后，拟将 Linux 排除在其年龄验证法之外：开源社区和隐私倡导者反对后，加州拟把大多数开源 Linux 发行版排除在年龄验证义务之外。这说明立法一旦碰到开源软件和底层系统，粗糙写法很容易出大问题。
- 谷歌的智能搜索框：谷歌想把搜索从“给你链接”改成“直接替你做事”。对用户来说更省事，但对网站来说，流量可能进一步被平台截走，开放网络会更难做。
- Iris 被 App Store 拒绝了：开发者再次抱怨苹果审核又慢又机械：等了几天，上线几分钟就被打回，而且理由和已写明的隐私说明并不匹配。问题不只是个案，而是审核像流水线，越来越难让人信服。
- 适用于 YouTube℠ 的应用•!：文章指出 App Store 里出现了不少疑似可疑的 YouTube 相关应用，名字混乱、隐私政策敷衍、订阅价格离谱。它和上面那篇放在一起看，更能说明苹果审核并不稳定：该拦的不一定拦，该放的不一定值。
- Cox Media 因吹嘘通过用户手机进行监视而被罚款：FTC 认定几家公司拿“手机监听你”这种说法吓人做营销，最后罚款和解。重点不在它们到底有没有真监听，而在广告行业对数据来源和能力边界长期说不清、甚至乱说。
- 荷兰查扣800台服务器，逮捕2人，涉嫌协助网络攻击：荷兰执法部门查扣 800 多台服务器，并指向为亲俄网络行动提供基础设施的托管网络。执法重心正在前移：不只抓攻击者，也开始盯支撑攻击的“机房和线路”。
开发者与开源工具
这组文章都在讲同一件事：真正难的，不是把新东西做出来，而是让它能在现实世界里用起来。
- Show HN：用 Go 写你的 BPF 程序，而不是 C：gobee 让开发者用受限的 Go 写 BPF，再自动转成 C 和 Go 侧绑定。好处很直接：内核侧、用户态和构建流程能放在一个 Go 工程里，门槛更低。
- C 扩展、可移植性与替代编译器：这篇文章把一个老问题讲得很实在：很多项目嘴上说“标准 C”，实际却靠 GCC/Clang 的各种习惯活着。对新编译器来说，最难的不是语法书，而是兼容这些历史包袱。
- CPPL：一种电路提示编程语言：作者试着给“LLM 写硬件代码”加一层更可检查的中间表示，让错误早点暴露，再稳定地下沉成 Verilog。思路很朴素，但比直接让模型吐 RTL 靠谱得多。
- 创业者每月不到 10 欧元的欧盟技术栈：这是给独立开发者的一份实用清单：用欧洲本地服务拼出主机、邮箱、分析、认证和支付，成本很低。对不想一开始就把产品绑死在美国大厂云上的人，很有参考价值。
芯片与前沿工程
这一组更像“长线下注”：量子芯片、先进制程和高超音速客运都离大规模落地还有距离，但资金和研发已经在往这些方向集中。
- IBM 分拆出首家纯量子芯片代工厂：IBM 计划在纽约推动 300 毫米超导量子芯片制造，并拿到大额公共资金支持。它想解决的不是“再做一个实验室样品”，而是量子硬件怎么走向更稳定的制造体系。
- 华为声称将于2031年实现尖端半导体制造：华为称未来可做到接近先进制程的晶体管密度。在制裁背景下，这样的表态很引人注意，但现在仍是“宣称”，离真实量产还有很长一段路要看。
- 日本新型高超音速发动机或将让飞往美国的2小时航班成为现实：JAXA 完成了面向马赫 5 飞机的地面燃烧试验。它离商用客运很远，但至少说明发动机、热防护和控制系统这些最硬的部分还在往前推。
软件与设备
比起空泛的“AI 加持”，这组内容更像是具体改进：更好用的应用、更现实的旧机方案，以及少数值得看的新硬件。
- 派评 | 近期值得关注的 App：这份清单收录了相机、计步、旅行规划、目标管理和浏览器等多类应用。一个明显趋势是，好的软件不一定靠大而全，而是把一个场景做顺手、做稳定。
- 用 Tiny11 拯救一台运行 Windows 10 的电脑：Windows 10 即将结束支持，Tiny11 给老电脑提供了一条轻量升级路。但它不是微软官方方案，省下的是硬件门槛，换来的是更高的维护和安全风险。
- 森海塞尔 Momentum 5 耳机主打音质与 ANC 升级：Momentum 5 的升级没有玩花活，主要就是音质、降噪和通话。可更换电池尤其值得一提，在今天的耳机市场里，这种设计越来越少见。
- Epic Games 首次曝光 Unreal Engine 6：Rocket League 风格大改造：Epic 用《火箭联盟》的新演示给虚幻引擎 6 预热。信息还不多，但方向很明确：继续用成熟游戏做样板，先把画面和制作能力的升级摆出来。