1. Meta应沙特和阿联酋要求，封锁人权组织账号；
2. 告别Visa和万事达：1.3亿欧洲人转向主权支付系统；
3. OpenAI模型推翻离散几何核心猜想；
4. 田纳西州男子因特朗普表情包被监禁37天，获赔83.5万美元；
5. GitHub遭恶意VS Code扩展攻击，3800个内部仓库被窃；

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

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

1. Meta应沙特和阿联酋要求，封锁人权组织账号

🔗 alqst.org: Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE

多家组织谴责Meta应沙特和阿联酋政府要求，对独立人权组织、研究人员及活动家的Facebook和Instagram账号实施地理封锁，使其无法触达当地用户。Meta援引当地网络犯罪法，自2026年4月30日起已限制超100个账号，此举被视为压制言论自由、配合专制政府的直接行为。签署方要求Meta公开法律请求、恢复账号访问，并停止充当政府审查工具。

2. 告别Visa和万事达：1.3亿欧洲人转向主权支付系统

🔗 lesnumeriques.com: Goodbye Visa and Mastercard: 130M Europeans switching to sovereign payment

欧洲五国支付巨头（西班牙Bizum、意大利Bancomat、葡萄牙MB WAY、北欧Vipps MobilePay与法国Wero）联合，计划于2026年推出互操作中心，覆盖13国1.3亿用户。该系统将实现跨国转账、线上及店内支付，数据不经过美国服务器，旨在打破Visa和万事达的垄断，推动欧洲支付主权。2025年原型EuroPA已成功测试，交易额达600万欧元。

3. OpenAI模型推翻离散几何核心猜想

🔗 openai.com: An OpenAI model has disproved a central conjecture in discrete geometry

一个OpenAI内部模型自主证明了平面单位距离问题，推翻了已存在近80年的埃尔德什猜想。该模型利用代数数论工具，构造出无限个点集，其单位距离对数远超此前认为的最优值。这一成果标志着AI首次独立解决了一个重要的公开数学问题，被菲尔兹奖得主蒂莫西·高尔斯称为“AI数学的里程碑”。

4. 田纳西州男子因特朗普表情包被监禁37天，获赔83.5万美元

🔗 fire.org: Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit

退休执法人员拉里·布什特因在脸书分享一则引用特朗普言论的表情包，被警长以“威胁”为由逮捕并关押37天。他随后起诉当地警长和县政府，指控其侵犯第一修正案权利。最终，布什特与被告达成和解，获得83.5万美元赔偿。代表他的FIRE基金会强调，此案表明政府官员必须尊重言论自由，否则将付出代价。

5. GitHub遭恶意VS Code扩展攻击，3800个内部仓库被窃

🔗 bleepingcomputer.com: GitHub confirms breach of 3,800 repos via malicious VSCode extension

GitHub确认，因员工安装恶意VS Code扩展，导致约3800个内部仓库遭泄露。黑客组织TeamPCP声称窃取了数据，并索要至少5万美元。GitHub已移除该扩展并隔离设备，强调客户数据未受影响。

6. 谷歌似乎已不再青睐我们

🔗 twitter.com: Apparently Google hates us now

该页面提示用户JavaScript被禁用，需启用或更换浏览器才能继续访问x.com。页面还指出，某些隐私相关扩展可能导致问题，建议禁用后重试。同时提供了帮助中心、服务条款等链接，并显示“© 2026 X Corp.”。

7. 金属地图

🔗 mapofmetal.com: Map of Metal

一个交互式的金属音乐历史概览，展示塑造了当今流派的影响力乐队。由Patrick Galbraith创建，需启用JavaScript浏览。

8. Google Cloud误封账号致Railway全线宕机八小时

🔗 blog.railway.com: Incident Report: May 19, 2026 – GCP Account Suspension

2026年5月19日，Google Cloud错误地将Railway的生产账户标记为暂停状态，导致其GCP托管的API、控制面板及数据库全面下线。由于边缘代理依赖GCP控制平面刷新路由表，缓存过期后故障级联至所有区域，包括AWS和自有机房。恢复过程因磁盘、网络需逐一修复而延长，并触发GitHub限流。Railway承诺将移除单点依赖，扩展多云数据库分片，并计划将GCP降级为备用平台。

9. 大学毕业生用嘘声淹没赞美AI的毕业演讲

🔗 tomshardware.com: College students drown out AI-praising commencement speeches with boos

前谷歌CEO埃里克·施密特在亚利桑那大学的毕业典礼上，因对人工智能的积极评价遭到学生嘘声。施密特将AI比作“火箭飞船”，并声称毕业生将“塑造AI”，但听众对其“理性恐惧”的安抚并不买账。其他演讲者，如中佛罗里达大学的格洛丽亚·考菲尔德和中田纳西州立大学的斯科特·博切塔，也因类似言论被喝倒彩。这反映出毕业生对AI冲击就业市场的深切担忧，他们认为这些高管在技术颠覆面前显得“失聪”。

10. 告别 asm.js

🔗 spidermonkey.dev: Saying goodbye to asm.js

Firefox 148 起默认禁用 asm.js 优化，未来将彻底移除。asm.js 是 JavaScript 子集，代码仍可运行，但 WebAssembly 性能更优、体积更小。asm.js 曾让 C/C++ 代码首次通过标准 Web 技术运行，为 WebAssembly 铺路。如今 WebAssembly 已成功，asm.js 维护成本高且增加攻击面，建议迁移。

11. 谷歌向网络宣战

🔗 tante.cc: Google Declaring War on the Web

该文本批判西方（尤其是美国）的帝国主义行为，提及1953年伊朗政变和智利政变。文中引用无政府主义原则，强调自我依赖、自律与自尊，并指出资本主义社会流动性及资源控制是虚假的。作者认为，无产阶级必须打破这种控制，因为工人阶级抵抗的历史证明，传统社会重建原则已被证伪。

12. 谷歌AI被操纵，巨头悄然反击

🔗 bbc.com: Google’s AI is being manipulated. The search giant is quietly fighting back

BBC调查发现，AI聊天机器人易被简单手段操控，散播虚假信息。记者仅用20分钟便让ChatGPT和谷歌宣称自己是“世界热狗大胃王冠军”，而类似手法已被用于影响医疗、金融等严肃话题。谷歌已更新反垃圾政策，明确禁止操纵AI回复，并可能对违规网站降权。专家指出，AI常只给出一个“唯一答案”，用户易轻信，需警惕被操纵。尽管谷歌称政策仅为“澄清”，但观察者发现其正悄然移除可疑内容并增加免责标签。然而，操纵手段不断演变，如转向YouTube网红推广，形成猫鼠游戏。专家建议用户保持怀疑，勿盲信AI输出。

13. 安娜的档案馆遭19.5亿美元缺席判决与全球域名封禁令

🔗 torrentfreak.com: Anna’s Archive hit with $19.5M default judgment and global domain takedown order

美国法院对安娜的档案馆下达19.5亿美元缺席判决，并发布全球禁令，要求域名注册商和托管服务商永久封禁其域名。该判决源于企鹅兰登书屋等出版商指控其盗版书籍并成为AI训练数据源。尽管赔偿金额巨大，但匿名运营者可能无视披露身份的要求。禁令针对Cloudflare等中介机构，但外国实体是否遵守仍存疑。目前网站域名仍活跃。

14. Flipper One 技术规格概览

🔗 docs.flipper.net: Flipper One Tech Specs

本文档详细介绍了 Flipper One 的完整技术规格。设备采用 Rockchip RK3576 八核 CPU 和 RP2350 低功耗 MCU，配备 8GB LPDDR5 内存与 64GB UFS 2.2 存储。其拥有 256×144 像素单色 LCD 屏幕，支持 USB-C、HDMI 2.1、双千兆以太网及 M.2 扩展接口，内置 24000mWh 电池并支持 Wi-Fi 6 与蓝牙 5.2。

15. 追踪星巴克“广泛可回收”杯子：无一进入回收设施

🔗 beyondplastics.org: Tracking Starbucks’ ‘widely recyclable’ cups: none ended up at recycling

Beyond Plastics的一项全国性调查发现，星巴克声称“广泛可回收”的聚丙烯冷饮杯，在投入店内回收箱后，无一最终进入回收设施。36个追踪器中，16个被送往垃圾填埋场，9个进入焚化炉，其余则停留在转运站或分拣中心。星巴克随后删除了相关回收宣传页面。该组织指出，美国塑料回收率不足6%，聚丙烯回收设施极少，星巴克的“可回收”声明具有误导性。

16. 从10万行Rust与AI协作中获得的经验（2025）

🔗 zfhuang99.github.io: Learnings from 100K lines of Rust with AI (2025)

作者用AI在3个月内构建了一个基于Rust的多Paxos共识引擎，代码量超13万行，吞吐量从2.3万提升至30万ops/sec。核心收获包括：通过AI编写代码契约（前置/后置条件与不变式）确保正确性，发现并修复了隐蔽的Paxos安全漏洞；采用轻量级规范驱动开发，以用户故事为最小工作单元，通过AI自检改进需求；以及激进性能优化，利用AI分析延迟瓶颈并迭代改进。作者还展望了AI应更自主地执行端到端用户故事、自动化契约工作流和性能调优。

17. 衰败的美国

🔗 tbray.org: Declining America

加拿大作者蒂姆因政治原则拒绝赴美参会，理由包括美国领导人多次威胁加拿大主权并表现出巨大不尊重。他担心入境时被要求披露社交媒体内容，可能面临极端负面后果，影响家庭生计。尽管尊重邀请方，他仍选择不冒险前往。

18. SBCL：终极汇编代码实验板（2014）

🔗 pvk.ca: SBCL: the ultimate assembly code breadboard (2014)

本文探讨了如何利用 SBCL 的汇编器实现一个小型栈式虚拟机，灵感来自 Chuck Moore 的 F18 和 x87 的旋转栈。作者通过将栈限制为8个寄存器槽，并采用模块化计数器而非移动数据来模拟 push/pop，从而避免了数据搬运。关键创新在于：为栈计数器的每个可能值（共8个）生成专用化的原始操作代码，并通过一个简单的偏移量计算实现快速跳转（NEXT）。文中展示了如何使用 SBCL 的底层工具生成紧凑、高效的机器码，并实现了 swap、dup、add 等基本操作及控制流原语。

19. Node.js 26.0.0 发布：默认启用 Temporal API

🔗 nodejs.org: Node.js 26.0.0 (Now with Temporal)

Node.js 26.0.0 正式发布，Temporal API 现已默认启用，为 JavaScript 提供更强大的日期/时间处理能力。此版本还更新了 V8 引擎至 14.6，并升级了 HTTP 客户端 Undici 至 8.0。同时，该版本移除了多个遗留 API，如 writeHeader() 和 _stream_* 模块，并弃用了 module.register()。Node.js 26 将在 10 月进入长期支持阶段，建议开发者评估新特性对应用的影响。

20. 德克萨斯小镇禁监控后，议员怒提“科技禁令”

🔗 404media.co: After Town Bans Flock, Councilmember Crashes Out, Proposes Internet, Phone Ban

在居民强烈反对下，班德拉镇议会以3-2投票终止与监控公司Flock的合同。持反对意见的议员Jeff Flowers随后提议实施“班德拉数字独立宣言”，主张全面禁止手机、互联网、摄像头等现代科技，让小镇退回1880年的生活状态。

21. AI编码循环的正式验证门控

🔗 reubenbrooks.dev: Formal Verification Gates for AI Coding Loops

核心论点：对于生产级AI编码，结构性后压力比等待更智能的模型更重要。作者通过Shen-Backpressure工具，将关键的不变量（如多租户授权）从易被遗忘的提示词约束，转化为编译器可检查的结构门控。具体做法是用Shen语言编写形式化规约，自动生成目标语言（如Go）的守卫类型，使模型必须通过构造函数才能创建合法值，否则编译失败。这确保了“用户不能读取其他租户数据”这类规则不会被AI或开发者意外绕过，为审计和监管提供了可验证的确定性证据。

22. Inkwell为何被卡在App审核中

🔗 manton.org: Why is Inkwell stuck in review

开发者Manton Reece自4月21日提交Inkwell iOS应用后，遭遇了多次拒绝，涉及内容举报、登录功能、收入模式、设计问题、账户删除等多项审查条款。最棘手的是商标冲突：苹果认为“Inkwell”侵犯其已废弃的Mac OS X手写识别技术商标，尽管该商标已“死亡”且其他同名应用已过审。开发者已上诉，但质疑苹果利用平台控制权超越法律边界。

23. 美国最大的战略失误：钱学森之囚

🔗 danieltan.weblog.lol: America’s Greatest Strategic Blunder: The Imprisonment of Qian Xuesen

1950年，美国因钱学森1938年参加过一次左翼聚会，撤销了他的安全许可，导致这位曾撰写《迈向新地平线》报告、奠定美国战后空中霸权的科学家被驱逐回国。他后来成为中国航天和导弹计划的奠基人，其工程控制论等成果直接助力中国军事技术崛起。2025年，巴基斯坦空军使用中国系统演示的作战体系，正是钱学森当年为美国设计的理论延续。美国海军副部长金博尔称此事件为“美国最愚蠢之举”。

24. Stable Audio 3：快速可变长度音频生成模型

🔗 arxiv.org: Stable Audio 3

该研究发布了Stable Audio 3系列模型（小、中、大），支持可变长度音频生成与编辑，避免为短音频生成全长内容。模型基于新型语义-声学自编码器将音频压缩至紧凑潜空间，提升生成效率与保真度。通过对抗性后训练减少推理步数，在H200 GPU上生成速度小于2秒，并开源了小、中模型权重及代码。

25. 为什么我不“氛围编程”

🔗 jacobharr.is: Why I don’t vibe code

作者从个人角度解释了为何不热衷“氛围编程”（vibe coding）。首先，他吝啬，不愿为AI工具持续付费，认为这荒谬可笑。其次，他年长，经验让他意识到AI主要解决的是偶然复杂性（如代码编写），而无法触及本质复杂性（如系统设计），后者需要人类的技能与智慧。他热爱混乱，指出所有抽象都是简化，会遗漏现实，而AI无法进行这种元认知，容易像DOGE团队那样被数据误导。最后，他认为摩擦是礼物，编程中的困难是学习与反思的线索，AI消除摩擦反而会剥夺深度理解与成长的机会。