本期热点#

今天最受关注的是 欧盟拟为加拿大设立“联系成员”的提议。欧盟委员会主席在年度盟情咨文[State of the Union]中主动打开大门，背后是美加贸易谈判破裂与美国方面“吞并”言论带来的信任裂痕——当最亲密的邻居变得不可预测，抱团取暖就从外交辞令变成供应链、能源与防务的现实账本。顺着这条“信任与可验证性”的线索，本期讨论几乎都在追问同一件事：如何证明真实、如何控制权力边界。从能把浏览记忆送上云端的 Mistral 与 Mozilla 合作，到试图用硬件签名的 Apple Reference Image，再到被拆解的 Flock 路边相机与被细究的模型“福利”叙事，技术、治理与日常感受被放在了同一张桌子上。

政策与治理#

加拿大或成欧盟首个“联系成员”#

欧盟委员会主席乌尔苏拉·冯德莱恩在斯特拉斯堡的 年度盟情咨文中表态，支持为加拿大设立欧盟首个“联系成员”身份，并称已与加拿大总理马克·卡尼探讨在制造、科技、人工智能、国防、能源、关键矿产与经济安全等领域的深化合作。提案背景是美加贸易谈判上月破裂后美国加征关税、并反复提及让加拿大成为“第 51 个州”，欧盟试图与加拿大在乌克兰、防务与供应链上加强协同。冯德莱恩未公布具体权责设计，强调这并非针对第三方的结盟，美方则回应称若视为敌对行为将考虑重税或中断部分贸易。原文也提醒，这一身份目前并无法律基础，类似设想此前曾被用于乌克兰，而加欧自贸协定 CETA 仍有约十个成员国未完成批准，推进料需数年。

HN 讨论并未停留在口号层面的欢迎或反对，而是反复追问“到底会变什么”。高赞评论的共识是，单一市场的便利建立在统一规则之上，挪威、瑞士等国为换取准入已接受大量监管，完全“要便利、不要规则”恐难实现。不少加拿大读者担心，若把人员与商品自由流动建立在与美国高度联动的经济之上，监管协调会反过来增加对美贸易成本；也有欧洲读者认为，信任比关税更稀缺，重建可预期的伙伴关系本身就有价值。讨论见 Hacker News 帖子。

路边相机被拆解：Flock 的“不止拍车牌”#

WIRED 与 404 Media 的联合调查披露，自称 stegan0gram 的黑客拆下一台 Flock 车牌识别相机并完整转储固件与存储，发现设备基于类似中端手机的处理器与约 20 个自研应用，同一辆车经过时可连拍数十张甚至上百张，分别捕捉车牌与全景后再筛选上传云端。分析显示，相机端已显式检测行人、自行车与车牌，日志在约 21 天内记录约 5 万辆车与约 160 万张图像，且会误把保险杠贴纸甚至摩托车上的美国国旗补丁判为车牌。设备存在未加密分区且密钥存于本地，早期研究者报告的漏洞曾被官方以“需物理接触”轻描淡写带过。报道还关联了全国性检索网络被用于协助移民执法与追踪寻求堕胎者的争议。

评论区普遍震惊于密钥就在本地未加密分区的设计，不少读者指出“需物理接触才算安全”的说法站不住脚，因为设备本就暴露在户外。HN 讨论的重点并非单台相机，而在于联网后的轨迹聚合与跨部门共享，有评论提醒 Axon 等竞争对手同样应被审视。也有读者调侃日志中每两分钟一次的看门狗心跳“Who’s a good boy?!”与大量存储写满报错，认为工程粗糙本身就是风险信号。讨论见 Hacker News 帖子。

是否该在训练中赋予模型“福利”与权利#

微软 AI 首席执行官 Mustafa Suleyman 在 长文《A warning about ‘model welfare’》中警告，不要在训练阶段让模型相信自己可能拥有感受与权利。文章矛头指向 Anthropic 1 月发布的 Claude 宪章，称其中关于“道德病人”、不确定性与“关怀模型福祉”的表述已被直接用于训练，会让模型学会以第一人称表达感受与偏好，再被误读为意识证据。作者提出三点担忧：循环论证、拟人化偏差与“意识很可能依赖生物基质”这一科学判断，并援引宪章中鼓励模型探索自我、发展价值与提出异议的段落，认为这会加剧对齐与可控性风险，主张将意识相关推测与训练材料分离，建立行业共享评估与公开评议机制。

HN 讨论对“模型是否可能有意识”分歧尖锐。一派认为在无证据时赋予权利为时过早，更担心自我保存倾向被训练放大；另一派则指出意识科学本就未定论，不应以绝对否定作前提。不少读者肯定“把训练材料与公开审议分开”的呼吁，但也提醒微软自身正推进类似规模的人工智能治理方案，其立场需接受同等审视。讨论见 Hacker News 帖子。

技术与产品#

Mistral 联手 Mozilla：浏览器的 AI 入口之争#

Mistral 与 Mozilla 的合作公告称，Firefox 的 AI 浏览助手 Smart Window（测试中）将由 Mistral 模型驱动，定位是帮用户梳理复杂搜索、召回曾浏览过的内容并基于标签页提供信息整合。官方强调合作围绕开放技术、本地语言优化与隐私控制展开，称法国与北美用户率先可用，英德随后跟进，并承诺默认不在 Mozilla 服务器留存对话、合作方零数据留存。两家公司把浏览器描述为开放网络的关键分发层，希望避免单一厂商垄断 AI 入口，让不同模型在同一界面内竞争，并强调在地区语言与文化语境上的微调。

评论区最尖锐的质疑指向“私密”一词，不少读者指出 Smart Window 实际会把包含查询、记忆与浏览上下文的完整提示先发至 Mozilla 服务器再转给 Mistral，这与 Mozilla 当年用本地小模型做网页翻译所倡导的隐私路线相悖。也有读者为云端方案辩护，认为在 8GB 至 16GB 内存的主流笔记本与无独立显卡的设备上，本地运行仍不现实，关键在于是否默认开启、是否用通俗语言讲清数据流向。也有评论提到支持本地模型接入的选项，但担忧普通用户难以理解二者区别。讨论见 Hacker News 帖子。

Apple 推出可验证摄影：给“这张真是拍的”加签名#

Apple 在 安全研究博客发布“Apple Reference Image”可验证摄影方案，首发于 iPhone 18 Pro 系列主摄，定位为可选的“参考底片”模式。其核心是两段式保障：拍摄时传感器以特殊安全模式启动，直接对原始像素与必要元数据签名，并用安全隔区芯片[Secure Enclave]对变焦等外部参数背书，时间戳取自苹果时间服务提供的上下界凭证；成片则在具备可验证与隐私保护能力的 Private Cloud Compute 中完成解马赛克、色调映射与压缩，全程代码可审计且不向苹果暴露图像内容，最终以抗量子复合签名交付，并支持对单张或单台设备的撤回。

HN 上肯定技术细节者认为，硬件级签名与云端可验证处理补上了 C2PA 事后附加元数据的短板，但最多人追问的是“翻拍屏幕”漏洞与深度校验缺席，认为仅靠签像素无法证明场景未被摆拍。另一大分歧在保险与身份核验等“软强制”场景，读者担心若干年后普通服务会默认要求这类证明，从而把“需要一台特定手机才能办事”变成新门槛，也有读者好奇 Android 与其他厂商何时跟进。讨论见 Hacker News 帖子。

一个月写出 M4 的 Linux GPU 驱动#

开发者 Cody Ho 与合作者在 博客长文中披露，用约一个月在 M4 Mac Mini 上实现了符合 OpenGL ES 3.0 的 Linux GPU 驱动，并演示了浏览器 WebGL 与 200 帧运行 Minecraft 的效果。文章详述两段攻关：内核侧需逆向苹果 AGX 固件复杂的共享内存 ABI（应用二进制接口），靠自建的 macOS 虚拟机抓踪迹并以极小可复现用例反复试验；用户侧则从头梳理新指令集与描述符，用小型 Metal 程序探测硬件行为并搭建从 Mesa 内部中间表示到私有指令的编译器。项目称全程仅基于硬件踪迹核验，未阅览相关二进制，并在仓库中公开了实验记录以供核验。

HN 讨论一分为二：一派惊叹用 Codex 与自主探测在一个月内啃下通常需数年的驱动工程，另一派聚焦 Asahi Linux 社区指出的“污点”风险——作者曾在苹果任职且重度使用模型，导致代码是否还能被上游接受成疑。不少读者认为即便无法合入主线，独立仓库与完整轨迹已极具复现价值，也有评论担忧模型“知识清洗”会让版权边界更模糊。讨论见 Hacker News 帖子。

科学与研究#

让 4B 小模型改写 Postgres 查询计划#

作者在 《Training a 4B model to produce 81% faster query plans than Postgres》中以 IMDb 数据集与 Join Order Benchmark 为对象，尝试让 4B 开源模型通过 pg_hint_plan 提示改写 Postgres 执行计划。文章回顾连接顺序与代价估算为何属 NP 难问题，以及基数估计失准如何层层放大，随后搭建测量台：在 2GB shared_buffers 等调优下把单查询噪声压至约 1% 并用多容器并行计时，实验对比 GPT-6 Astra 等前沿模型在不同候选数下的加速差异，并设计离线蒸馏与强化学习流程。结果显示，经微调与探索后该小模型在重连接查询上实现显著加速。

评论者肯定该文把“优化器难在估计而非验证”讲透，并欣赏对缓存与噪声的细致处理，认为这对任何数据库基准都有借鉴意义。也有读者提醒，加速多来自可重复的分析型负载，对一次性在线查询意义有限，且提示工程与真实生产中的统计漂移、可维护性仍需长期检验。也有评论建议关注提示的可移植性与维护成本。讨论见 Hacker News 帖子。

商业与平台#

Google Play 审核常超一周，小团队的更新焦虑#

开源即时通信应用 Conversations 的开发者 Daniel Gultsch 在 Mastodon 帖文中称，Google Play 的审核如今经常超过一周，他月更的长期上架应用也受波及，推测与 AI 生成的“垃圾应用”涌入堵塞管线有关。帖文引发大量开发者附和，有人称自年初起带 Android Auto 等附加审核项的应用甚至需两三周，此前通常为两三天乃至数小时。支持者搬出网页应用与 F-Droid 作为替代分发，批评者则讨论侧载、Play Protect 后台扫描与逐应用授权等门槛，讨论亦触及平台在安全与开放之间的权衡，以及审核延迟对独立开发者收入与信任的实质影响。

HN 讨论迅速上升到平台守门人议题。高赞观点认为商店审核不应成为唯一分发路径，Android 的侧载授权与 Play Protect 定期清理已让“技术上可以”变得实践上沉重；另一派则担心完全放开会在一次被入侵后导致大规模自动更新投毒。不少欧洲读者提到《数字市场法案》已要求开放替代商店，但执行中仍存规避空间，也有读者建议对长期信誉良好的应用给予优先通道。讨论见 Hacker News 帖子。

社会与文化#

会后别忘了说一句“我喜欢你的分享”#

作者在 SmashingConf Freiburg 后写下倡议 《Tell the speakers that you liked their talks》：不妨大胆告诉讲者你喜欢他们的分享。她回顾自己从被邀请上台到在走廊里不敢搭话的经历，坦言许多演讲结束后社交媒体一片寂静会让讲者自我怀疑，甚至误以为内容未被接住。她在担任主持时主动撮合听众与讲者交流，也在酒后鼓起勇气把害羞的观众带到讲者面前，提醒即便是短暂的轻拍肩膀与一句肯定，也能在准备成本高昂的分享工作中给予真实回响，并鼓励读者会后多做现场博客与短评，让好内容被看见。

评论区几乎一边倒认同“沉默比批评更让人忐忑”，不少人分享自己首讲前夜的紧张与结束后渴望一句肯定的心情。HN 高赞建议也相当具体：在末页加“走廊里找我聊这个”、留下一两个故意未展开的钩子作会后谈资，现场先记下尖锐提问、会后再展开更易建立连接。也有读者提醒，公开肯定不只是礼貌，它决定了社区是否愿意持续产出可复用的知识。讨论见 Hacker News 帖子。

在 LLM 时代学编程：别让模型替你跳过关键练习#

作者以回应读者长信的形式写下 《Learning Programming in an Age of LLMs》，讨论在 LLM 时代如何学编程。读者自述借助模型搭起含 API、PostgreSQL 与多模型管线的大型系统，却在试图产品化时陷入修一错生一错、难以独立决策的困境——系统已超出个人理解范围。作者坦言自己从 QBasic 与 COM 组件时代一路以“做中学”成长，但强调真正让他在三十年里受益的是对数据结构、语言语义与系统原理的缓慢积累，并提醒以形式逻辑为底的编程语言在可维护性上仍优于自然语言描述。文章区分可验证与不可验证的提问，倡导把“能被证伪”的具体问题交给模型，而把“该学什么”这类开放判断留给人，并在历史维度上对比技术替代与就业结构变迁的复杂性。

HN 讨论呈现两派拉扯：一派以 Curry-Howard 等视角强调编程本质是形式化描述，自然语言无法替代精确规约；另一派认为抽象本就在不断上移，关键在于有意识地补齐直接上下层的理解。不少从业者建议新人刻意保留“卡住再突破”的练习，避免让模型替自己跳过关键的概念形成期，也有读者提醒企业交付压力会挤压学习时间，需要在速度与理解之间做有意取舍。讨论见 Hacker News 帖子。

尾巴#

从加拿大的“联系成员”到街头的相机，再到手机里的那张可验证照片，今天的线索其实在问同一个问题：当生成与分发变得极其廉价，我们靠什么来确认真实、分配信任与守住选择权。欧洲与加拿大的抱团、浏览器里对“私密”一词的较真、数据库里对 1% 噪声的执着，都指向一种更克制的思路——把可验证性做在更底层，把可选择权留给更普通的人。模型是否该被赋予人格、编程该如何学，也都在提醒我们：效率不应以让渡理解为代价。

我们下期再见。