1. GrapheneOS 用户被身份验证服务 Yoti 自动标记并上报当局；
2. Google 将每月向 SpaceX 支付 9.2 亿美元租用算力；
3. 五角大楼将以色列间谍威胁提升至最高等级；
4. Meta承认AI聊天机器人漏洞导致超2万Instagram账户遭劫持；
5. 《宝可梦 绿宝石》成功移植至 WebAssembly，帧率突破 10 万 FPS；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. GrapheneOS 用户被身份验证服务 Yoti 自动标记并上报当局

🔗 discuss.grapheneos.org: GrapheneOS user reported to authorities for using GrapheneOS

一位 GrapheneOS 用户发现，身份验证服务 Yoti 会自动识别并标记运行该安卓系统的设备，直接将用户信息上报给执法机构和内部安全团队。客服截图显示 Yoti 直言不讳地威胁用户，质问使用 GrapheneOS 是否等于主动招致怀疑。这使注重隐私的定制系统沦为高度可疑标志，引发在愈演愈烈的年龄与身份交叉验证潮流下，技术自主与跨国监控之间冲突的深切担忧，预示着一个奥威尔式身份管制时代正悄然降临。

2. Google 将每月向 SpaceX 支付 9.2 亿美元租用算力

🔗 techcrunch.com: Google will pay SpaceX $920M per month for compute

SpaceX 在历史性 IPO 前与谷歌达成重磅协议，谷歌将从 2026 年 10 月至 2029 年 6 月，每月支付 9.2 亿美元，租用约 11 万颗 NVIDIA GPU 及配套基础设施。该安排与此前 Anthropic 每月 12.5 亿美元租下整个 Colossus 1 数据中心 的合同类似，但谷歌仅获取约一半算力。谷歌因 Gemini Enterprise 等 AI 产品需求远超预期，急需短期算力补充，母公司 Alphabet 资本支出已超 1800 亿美元。协议包含取消条款，2026 年底后双方均可提前 90 天解约，若 SpaceX 未能在 2026 年 9 月底前交付约定 GPU，谷歌可立即终止。下周 SpaceX 即将上市，估值约 1.75 万亿美元，谷歌作为长期投资者持股份值将超千亿美元。

3. 五角大楼将以色列间谍威胁提升至最高等级

🔗 nbcnews.com: Pentagon raised threat of Israeli spying on U.S. to highest level, sources say

据消息人士透露，美国国防情报局近期已将以色列的反间谍威胁级别上调至“严重”级别，凸显出对以色列加强间谍活动的深切担忧。美方认为，以色列正试图刺探特朗普政府围绕伊朗战争政策等中东冲突的内部决策，并在美以就战争走向分歧加剧之际，越过了传统盟友间典型的谍报边界。尽管以色列和白宫均否认相关指控，但七页评估文件明确指认其人力与电子情报搜集能力已达高度危险水平。此升级将使美国官员访问以色列或接触以方人员时格外警惕，不过两国间日常的高层情报共享暂未中断。历史上以色列对美实施积极间谍活动的记录早已引发长期关注。

4. Meta承认AI聊天机器人漏洞导致超2万Instagram账户遭劫持

🔗 this.weekinsecurity.com: Meta confirms 1000s of Instagram accounts were hacked by abusing its AI chatbot

Meta近日披露，由于人工智能辅助账户恢复系统存在严重漏洞，已有超过20,225个Instagram账户被黑客劫持。攻击者通过反复欺骗平台的AI聊天机器人，仅需提供任意邮箱地址，即可绕过验证流程，诱使系统将密码重置链接发送到黑客控制的邮箱。这一缺陷令未开启双因素认证的账户面临极大风险，黑客可借此完全接管账户、关联账户及获取私信、通讯录等敏感信息。漏洞自四月起被持续利用，Meta表示已紧急停用涉事聊天机器人并修复相关代码路径，同时通知受影响用户重置密码。然而，公司坦言尚不清楚账户内个人信息的具体泄露情况。此次事件恰逢Meta大举裁员并向高管发放股票激励、全力押注人工智能领域之际，其安全管控能力引发外界质疑。

5. 《宝可梦 绿宝石》成功移植至 WebAssembly，帧率突破 10 万 FPS

🔗 pokeemerald.com: Pokemon Emerald Ported to WebAssembly (100k FPS)

该网页版模拟器通过 WebAssembly 技术实现了 10 万帧/秒 的超高性能运行。已完成加载的 WASM 模块提供完整的游戏体验，支持键盘操控方案：方向键控制移动，Z 键对应 A 键，X 键对应 B 键，Enter 为 Start，Shift 为 Select，同时配备 1 倍速 等速度调节选项，让经典 GBA 游戏在浏览器中流畅重现。

6. Ntsc-rs：精准还原模拟电视与VHS伪影的开源视频效果

🔗 ntsc.rs: Ntsc-rs – open-source video emulation of analog TV and VHS artifacts

ntsc-rs 是一款免费开源视频效果工具，它并非只是简单叠加色彩查找表，而是通过精准模拟NTSC传输和VHS编码的算法，逼真重现模拟电视与录像带的特有伪影。该效果器用Rust编写，具备多线程与SIMD加速，可以实时处理远超原始NTSC画质的分辨率。除了独立程序和网页版，它还提供After Effects、Premiere及所有兼容OpenFX软件（如DaVinci Resolve、Hitfilm、Vegas）的插件，让你在电脑上轻松唤起VHS怀旧感。

7. 告别 fork+exec：Linux 进程创建的新道路

🔗 lwn.net: Moving beyond fork() + exec()

Linux 传统的 fork() 加 exec() 模式虽优雅但代价高昂，反复复制内存后立即丢弃。Li Chen 提出的生成模板（spawn templates）尝试通过缓存可执行文件信息来优化重复调用，基准测试显示约 2% 的性能提升。不过该补丁不会被合入，评审者指出应彻底消除 fork 的开销，直接创建干净进程。Christian Brauner 提议基于 pidfd 设计一套类似 fsconfig() 的构建器 API，先创建空进程再逐步配置，最终在用户空间实现完备的 posix_spawn()。讨论还涉及利用 io_uring 执行子进程动作、避免内存写时拷贝等思路。未来内核或将拥抱更高效、安全的进程生成原语。

8. 英伟达正为 Windows PC 打造一款性能猛兽级的 CPU 系统

🔗 twitter.com: Nvidia is proposing a beast of a CPU system for Windows PCs

尽管推文内容因技术限制无法直接显示，但标题已透露一项重磅计划：英伟达正准备联合联发科，在 2025 年向市场推出一款专为 Windows 笔记本电脑设计的旗舰级处理器。这款芯片将基于先进的 Arm 架构，整合英伟达强大的图形与 AI 计算 IP，旨在直接挑战英特尔、AMD 乃至高通的 x86 与 Arm 阵营。它不仅仅是传统的中央处理器，更是一个高度集成的系统级芯片，有望凭借能效比与 AI 算力的革命性突破，重塑高端 Windows 移动设备的性能标杆，为轻薄本带来桌面级的游戏和创作体验，并加速端侧人工智能应用的爆发。

9. 你客厅里的智能电视或已成为AI数据采集网络的隐秘节点

🔗 blog.includesecurity.com: The Smart TV in Your LivingRoom Is a Node in the AIScraping Economy

AI公司依赖爬取公开数据训练模型，但数据中心IP极易被屏蔽，于是合法的住宅代理网络成为替代方案。Bright Data宣称拥有超4亿家庭IP的代理网络，其秘密在于向应用开发商提供SDK，经用户“同意”后将手机、智能电视变为流量出口。智能电视因永不断电、带宽无限、无人看管，成为最理想的代理节点。逆向分析显示，该SDK通过公开未认证端点获取配置，随后建立WebSocket隧道，并根据一套极宽松的“空闲”指标（屏幕亮着、甚至通话中仍可中继）将用户设备作为爬虫代理。其技术可绕过VPN，每月默认带宽配额高达200GB。PlayWorks、CloudTV等多家智能电视平台已集成该SDK，将数百万家庭的客厅设备无声纳入AI数据采集经济中。

10. Zeroserve：零配置、可eBPF脚本化的Web服务器

🔗 su3.io: Zeroserve: A zero-config web server you can script with eBPF

Zeroserve 是一个小型、高速的零配置 HTTPS 服务器，只需一个 tar 包即可部署整个网站，支持 HTTP/2、TLS 1.3 和热重载，全程通过 io_uring 实现异步 I/O。它最大的创新在于将 eBPF 脚本 作为唯一的配置手段：任何 .c 脚本都会被编译成 eBPF 字节码，在用户态沙箱中 JIT 编译为原生代码，以可抢占的方式运行在每个请求上，统一处理路由、鉴权、速率限制、请求改写和反向代理等所有逻辑，彻底消除传统配置文件与外部脚本的割裂。性能测试显示，在单核条件下 Zeroserve 对静态小文件和大文件的吞吐量均略优于 nginx 和 Caddy，而在带 eBPF 中间件的小响应场景中，合理调整抢占定时器后吞吐量可比 nginx Lua 高出约 50%。作为反向代理转发小响应时，它也比 nginx 快约 22%，但在大文件代理上逊于 nginx。它内置 BoringSSL，支持加密客户端问候、SNI 证书选择和 JA4 指纹等现代 TLS 特性，空闲内存仅约 15 MB，适合单核多进程横向扩展。项目已在 GitHub 上开源。

11. 美国应届大学毕业生失业率高于整体劳动力平均水平

🔗 randalolson.com: New U.S. college grads now have higher unemployment than the average worker

美国应届大学毕业生失业率已持续高于整体劳动力，这一逆转始于2019年，远早于AI热潮与疫情，表明是缓慢的结构性转变。目前应届生失业率达5.6%，整体仅4.2%，为历史最大差距。纽约联储指出，远程工作导致的入职指导缺失是主因，而非AI。学位仍胜过无学位，但优势已不如前。此外，约41%的就业应届生从事不需要学位的工作。

12. Python指导委员会要求暂停JIT新功能开发，限期提交正式PEP

🔗 discuss.python.org: Python JIT project was asked to pause development

Python指导委员会发布公告，要求CPython主分支上的实验性JIT编译器立即暂停所有新功能、优化和性能开发，仅允许修复缺陷和安全问题。委员会指出，尽管JIT项目已取得显著性能提升，但其长期维护、安全审查、调试工具兼容性、对下游发行版的影响等关键问题尚未通过正式的标准跟踪PEP（Python增强提案）流程得到社区共识和承诺。为此，委员会要求在六个月内提交一份正式PEP，详细阐述JIT的维护计划、与自由线程及性能分析器等工具的兼容性、成功指标、架构稳定性以及与第三方JIT的关系等，若逾期未获通过，JIT代码将从主分支移除。多名核心开发者回应称理解该决定，但对开发停滞可能导致的动力丧失和志愿者流失表示担忧，委员会表示期限可酌情灵活调整，但强调必须认真对待这一重大变更的社区决策。

13. 莱比锡基准：大语言模型数学推理能力突飞猛进

🔗 arxiv.org: Benchmarks in Leipzig

2026年春季，49名数学家利用莱比锡马普数学所的一次研讨会，精心编制了100道研究级数学题作为基准数据集。随后进行的三阶段严格评估（先由5个顶尖模型单次作答，再对其中3个模型各运行20轮，最后用深度思考模型进行3轮挑战）显示，完全未解题目从最初的41道骤降至16道，最终仅剩2道未能攻克。这项基准测试有力证明，大语言模型的数学推理能力已取得令人瞩目的巨大飞跃。

14. Zig Zen 更新

🔗 codeberg.org: Zig Zen Update

本次更新涉及仓库配置修改，警告AI抓取器勿访问Codeberg，提及磁盘使用、git fsck操作、对象过滤、支持的差异工具（emerge、vimdiff等），以及maintenance.commit-graph.auto设置。同时说明了新的打包行为、昂贵的–keep选项开销以及diff.colorMoved配置等。

15. 独自在家：远程工作、社交隔离与心理健康

🔗 science.org: Home alone: Remote work, isolation, and mental health

一项基于2011至2024年美国全国代表性调查、涵盖超58万人的研究发现，新冠疫情后可远程办公的岗位从业者相比必须线下办公的从业者，每日独处时间增加约1小时，完全无社交接触的天数比例大幅攀升。这种隔离在独居者中尤为严重，他们一整天无人类接触的可能性激增83%。相应地，这些群体的心理健康状况显著恶化，心理困扰评分上升了0.1个标准差，抑郁、心理医疗使用及抗抑郁药处方均呈类似增长趋势。研究估算，远程工作的兴起可解释该时期整体社会隔离与心理困扰增幅的约三分之一。尽管多数员工青睐远程办公，但研究警示，员工可能未充分意识到这种工作模式对身心健康的隐性代价，尤其是对独居员工而言，工作场所作为关键社交基础设施的缺失正在加剧孤独危机。

16. 你可以逃跑，却逃不过真相的追捕

🔗 magazine.atavist.com: You Can Run

律师艾琳·麦肯飞车赶往母亲家，只为抢在垃圾车之前夺回路边那两个破旧的档案箱。箱子里封存着政府文件，记录了一场彻底打碎她童年的惊天罪行。1984年，13岁的艾琳和妹妹还住在匹兹堡的豪宅里，父亲约翰·麦肯风度翩翩、家财万贯，母亲优雅迷人。然而某一天，父母突然给她们换上假名，切断过往一切联系，全家就此人间蒸发。他们辗转于马略卡岛的别墅、伦敦的顶级酒店和加拿大的偏远牧场，母亲一直声称父亲只是惹上了税务麻烦，但姐妹俩不得不在谎言中长大。几十年来，母亲对真相守口如瓶，直到年迈力竭，才想将秘密连同那两箱记录一起丢弃。艾琳一路追回文件，才发现父亲约翰·麦肯的人生背后，藏着一场远比逃税黑暗得多的连环犯罪，而这场隐姓埋名的逃亡，正是为了掩盖那些令人震惊的罪案。

17. 在沙盒中安全运行 Python：用 MicroPython 和 WebAssembly 实现

🔗 simonwillison.net: Running Python code in a sandbox with MicroPython and WASM

Simon Willison 发布了 micropython-wasm alpha 包，通过将 MicroPython 编译为 WebAssembly 并结合 wasmtime 运行时，实现了在 Python 应用中创建安全代码执行沙盒的目标。他长期寻求一种既能安全运行插件代码、又能严格控制内存/CPU 限制、文件系统与网络访问并允许宿主函数交互的方案。WebAssembly 过去多用于浏览器，但 Pyodide 不支持服务端，因此他转向 MicroPython 这一轻量实现。借助 AI 辅助编程，作者快速原型出一个可保持解释器持久状态的机制：后台线程通过队列与阻塞式宿主函数传递代码片段并获取结果，同时使用少量 C 代码支持来自沙盒内部对外部函数的调用。该库已用于 Datasette Agent 插件。尽管作者坦承这个“氛围编码”的沙盒尚未经过全面安全审计，不足以信任生产环境，但他已在自用并希望推动更多专业团队采用基于 WebAssembly 的 Python 沙盒方案。

18. 面向 Python 程序员的 Rust 学习指南：从入门到系统实践

🔗 microsoft.github.io: Introduction – Rust for Python Programmers

这本指南为有 Python 经验的开发者设计，系统对比两种语言的思维转换。从变量、控制流等基础语法开始，逐步引入 Rust 特有的所有权与借用机制、特征与泛型编程，以及枚举和模式匹配。通过动手练习和难度标识，读者将掌握错误处理、迭代器链、并发安全等核心概念，最终使用PyO3构建 Python 可调用的 Rust 扩展，并完成命令行任务管理器的综合项目。

19. 新时代的藏书狂人

🔗 engelsbergideas.com: The new bibliomaniacs

珍本书收藏正经历一场复兴，越来越多的年轻一代因在数字化时代成长而渴望建立与过去可触摸的联系。从1947年国际古书商联盟成立到1960年首场美国古书展，这种热情延续至今。最近的纽约国际古书展4天吸引超1.5万人，访客量较2022年增长62%，全球珍本书市场估值已超70亿美元。珍本书不只关乎年代，更在于稀缺性和需求，展品从首版书、手稿，扩展到抗议海报、杂志等短时效物品。35岁以下的藏家视书籍为“时间旅行”的载体，偏爱作者批注本或有特殊来历的副本。收藏方向日趋多元，涵盖酷儿历史、女权运动等社会史档案，交易圈也因女性和新视角的加入而缓慢革新。互联网与社交媒体降低了入门门槛，让新受众得以接触这些物品。尽管历史上有过为书杀人的极端“书痴”，但如今收藏更关乎谦卑的守护与联结——正如藏家所言，这些物品并不真正属于我们，它们将比我们更长久。

20. 摩托罗拉在毫无解释的情况下使其全线WiFi路由器变“砖”

🔗 mashable.com: Motorola effectively bricked its entire line of WiFi routers without explanation

近一个月来，摩托罗拉的MotoSync+应用已彻底停摆，导致所有需要该应用进行初始设置的全新WiFi路由器无法使用，现有用户在恢复出厂设置后同样会陷入困境。iOS端应用仅显示无限加载，安卓端则直接提示“服务器许可证过期”。问题自五月中旬爆发，但早在5月5日便已有用户投诉，愤怒的消费者在Reddit、亚马逊和应用商店留下大量差评，指责摩托罗拉客服形同虚设且毫无公开回应。更令用户不满的是，摩托罗拉在未作说明的情况下，悄悄将其在线商店的所有路由器产品下架，页面一律跳转或报错，而实体零售商仍在销售。此次涉事产品由 Premier LogiTech 授权贴牌运营，其应用界面与网络公司Gryphon的应用惊人一致，但Gryphon宣称对摩托罗拉MQ20路由器并无支持责任。付费订阅了高级功能的用户同样无法访问，大量受影响的买家直呼路由器已沦为“纸镇”。而这并非首次，旧版MotoSync应用在2023年也曾出现长达一个月的类似瘫痪，当时官方同样沉默，此番再度重演令用户彻底失望。

21. Sem：基于Git实体级代码理解的革命性原语

🔗 ataraxy-labs.github.io: Sem: New primitive for code understanding – not LSPs, but entities on top of Git

Sem 是一个将代码变更分析从行级推向实体级的命令行工具。它直接在 Git 仓库上运行，无需 LSP 或任何配置，就能用 sem diff 呈现函数、类等实体的新增、修改与删除，用 sem blame 追溯每个实体最后的修改提交，用 sem impact 绘制跨文件依赖图并揭示受影响范围，以及用 sem log 查看单一实体的完整演进历史。此外，sem context 可为大语言模型智能裁剪出实体及其上下游依赖的上下文窗口。实验证明，将 sem 的结构化输出替代原始行级 diff 提供给 AI 智能体，任务准确率可提升 2.3 倍。该工具已支持 26 种编程语言和 5 种数据格式，所有指令均支持 --json 机器输出。只需执行 brew install sem-cli && sem setup，即可让每次 git diff 自动变为实体级语义视图。

22. 从树到流再回归：统一决策树与扩散模型

🔗 arxiv.org: Trees to Flows and Back: Unifying Decision Trees and Diffusion Models

该工作通过严谨的数学对应，将离散层次化的决策树与连续动态的扩散模型统一在共同的优化原则——全局轨迹得分匹配（GTSM）之下，并证明理想化的梯度提升在此框架下渐近最优。作者由此提出两个实用实例：TreeFlow在表格数据生成上以更高保真度和2倍计算加速实现竞争性能；DSMTree则将层次决策逻辑蒸馏至神经网络，在多数基准上教师模型性能差距控制在2%以内。该论文已被ICML 2026接收。

23. 女性的择偶偏好会随排卵周期变化吗？

🔗 martiehaselton.com: Do women’s mate preferences change across the ovulatory cycle? (2014) [pdf]

这篇2014年的论文系统探讨了排卵期偏移假说，即女性在排卵期前后对潜在伴侣特征的偏好是否发生周期性变化。研究整合了多项实验证据，指出在受孕概率最高的高生育力阶段，女性更倾向于偏爱具有男性化体征、对称外貌以及高支配性等“优质基因”线索的异性，但这种效应可能受关系背景和测量方法调节。论文同时质疑了早期结论的普遍性，强调此类偏好波动幅度较小，其是否具有演化意义上的适应性仍需谨慎解读。

(Note: The provided PDF content was unreadable binary data. This summary is based on the title and the widely known findings of the 2014 meta-analysis on ovulatory cycle shifts in mate preferences.)

24. 千兆宽带：为何时至今日依然没有实际意义？

🔗 shkspr.mobi: There’s still no point in gigabit broadband

作者回顾了六年前对千兆宽带的质疑，并在如今实际用上1130Mbps套餐后，再次确认这仍是巨大的性能过剩。日常的4K流媒体仅需25Mbps，视频通话和游戏下载也远无法占满带宽。硬件限制同样突出：有线网络受制于千兆端口实际最高仅940Mbps，Wi-Fi在干扰下约450Mbps，而电力猫和电视盒子等设备的速度更是远低于百兆。即便面对AI训练集这类大文件，下载时间从7分钟减半至3.5分钟也缺乏实质意义。网络体验的瓶颈更多在于延迟而非带宽。作者认为，对绝大多数家庭及居家办公场景而言，百兆以上宽带已绰绰有余，虽然政府推广千兆是着眼未来，但当下实在找不到能充分用尽这条宽带的实际用途。

25. 通用内存协议：为AI智能体打造可移植的记忆标准

🔗 universalmemoryprotocol.io: Universal Memory Protocol – a shared format for agent memory

通用内存协议 (UMP) 是继工具调用 (MCP) 和智能体协作 (A2A) 之后的第三大互操作层，专为解决AI记忆跨会话、智能体和供应商的携带难题而生。它将分散于各类文件与数据库中的记忆统一为一种可移植的形状，通过用户持有密钥签名的双时态记录，确保数据完整且不被锁定。协议定义了记忆、回忆等六个轻量操作，可搭载MCP或纯HTTP传输，并有文件、SQL、向量库等多后端支持。UMP强调安全，内置抗注入的验证过滤管道，并将许可与数据绑定。通过导入桥，AGENTS.md 等存量知识能平滑纳管，实现从小型JSON导出到全运行时等四个等级的增量采用。