1. 苹果凭证设计器：轻松设计并实时预览钱包凭证；
2. 冯·诺依曼传奇（1973）；
3. 大科技毁了云，我们改名：Home Assistant Link；
4. 美国制裁阴影下的国际刑事法院法官；
5. Supabase 收购 Turso：为 AI 智能体重塑数据库基础设施；

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

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

1. 苹果凭证设计器：轻松设计并实时预览钱包凭证

🔗 developer.apple.com: Apple Pass Designer

Pass Designer 帮助各类企业用 Apple 或自有模板设计钱包凭证，可用偏好工具制作 logo、背景或条带图再导入编辑。编辑时，实时预览以 iOS 和 watchOS 同款渲染展示 iPhone 与 Apple Watch 效果。它支持颜色、布局和标准字段调整，并持续验证缺失键值和异常定义。登机牌和活动票可用语义标签添加日期、地点、航班等结构化数据，驱动 Siri 建议、日历和地图，还能自动生成无需语义标签的向后兼容结构。测试版需 macOS 27 或更高版本，登录 Apple 账户并接受开发者协议后下载。

2. 冯·诺依曼传奇（1973）

🔗 gwern.net: The Legend of von Neumann (1973) [pdf]

《冯·诺依曼传奇》回顾这位20世纪博学者的生平与影响，检视其传奇色彩如何形成。文章强调，他不仅是数学全才，还在量子力学、博弈论、计算机体系结构等领域留下奠基性贡献；其惊人记忆、运算速度与跨学科洞察力，使他成为科学界近乎神话的人物。同时，作者也辨析传说与真实，指出其成就既来自超凡天赋，也来自对实际问题与形式化方法的结合。

3. 大科技毁了云，我们改名：Home Assistant Link

🔗 home-assistant.io: Big Tech ruined the cloud, so we’re renaming ours

Nabu Casa 将 Home Assistant Cloud 更名为 Home Assistant Link，以摆脱“云”的负面含义。Link 仍在线，但强调 隐私、可选、无锁定，不像大科技云强制、围墙花园和数据变现。Home Assistant 始终本地运行，不用 Link 也能用；订阅收入多数支持 Open Home Foundation。Link 提供远程访问、Alexa/Google 连接、在线语音转文字、备份和人工支持，数据加密且只有用户持钥。正式更名计划在 2026.12 发布，并征求社区反馈。

4. 美国制裁阴影下的国际刑事法院法官

🔗 npr.org: ICC judge on what U.S. sanctions mean for her and global courts

加拿大法官金伯利·普罗斯特在国际刑事法院任职，因参与批准涉及阿富汗战争的调查而遭美国制裁。她描述制裁外溢：Alexa 拒绝响应、信用卡被取消、银行服务受限，法国保险公司 AXA 也拒付理赔，原因是对美业务牵连造成过度合规。她指出，制裁源于特朗普针对国际刑事法院涉以色列、加沙或阿富汗案件官员的行政令，但阿富汗调查中的美国部分从未推进，且她只履行司法审批职责。到 2026 年 8 月，18 名法官中 9 人及多名检察官受制裁；特朗普政府还威胁“系统性地瓦解”该法院。普罗斯特正于美国法院挑战制裁，同时继续审理马里廷巴克图案，并强调不会辞职，称胁迫手段无效，法官应依事实与法律保持司法独立。

5. Supabase 收购 Turso：为 AI 智能体重塑数据库基础设施

🔗 supabase.com: Supabase is acquiring Turso

Supabase 收购 Turso。随着 AI 智能体 催生海量应用与数百万数据库，基础设施需按需扩展、低成本创建。Supabase 继续围绕 Postgres，Turso 继续投入 SQLite，现有用户不变。Turso 用 Rust 重写 SQLite，单服务器可管理数百万数据库并按需加载、暂停。双方都重视开源和开发者体验，将结合优势，从原型到生产提供一致体验，并让 Turso 随负载增长接入 Supabase 生态。Turso 团队加入后，Glauber Costa 将领导智能体基础设施工作，推进存储世界数据的使命。

6. AI 让我难过：失去手艺，等待泡沫破裂

🔗 mondobe.com: AI Makes Me Sad

作者因 AI 感到绝望：它带来的是失去手艺与创造力，而非解放。即使能借此进大厂拿高薪，他也不想只靠提示 Codex/Claude 谋生；创业被“AI 创业”取代，网络充斥 LLM 垃圾回复和劣质生成内容，日常软件却几乎没有变好。他悲伤于周围人甘愿让自己过时，也悲伤于自己错过旧创业时代。随后他转向希望：Twitter、LinkedIn 等重建机构本可更新，技术变化极快，AI 终会获得固定角色。他期待AI 泡沫破裂，让行业恢复意义，即便需要痛苦调整，也像健身后的灼烧般令人满足。最终他承认自己在这个行业无家可归，却仍盼一个能讲得通的未来。

7. Zig v0.17.0 发布：构建系统重构与增量编译里程碑

🔗 ziglang.org: Zig v0.17.0

Zig v0.17.0 历经 5 个月开发，汇集 206 位贡献者、925 次提交。本次重新设计了构建系统并引入 Build Server Protocol，同时大幅增强 ELF 链接器，使 x86_64-linux 上的 增量编译 有望面向所有用户可用。语言层面调整 @bitCast，新增 @backingInt、@fromBackingInt、@divCeil、@SpirvType，移除数组乘法、void{}、errdefer 捕获、i0 等旧语法，且 @hasDecl 只对公开声明返回真。标准库新增 SafeAllocator，重做 StackFallbackAllocator，改善 ArrayList 指针稳定性与格式化打印，并重组 std.zon.parse、bit_set、lang.Type 等 API。构建与包管理分离 maker/configurer，重做缓存并引入配置缓存投毒概念，支持覆盖包路径和全局/本地获取。编译器强化增量编译、SPIR-V、aarch64、loongarch、WebAssembly 后端及 ELF/COFF 链接器。工具链更新至 LLVM 22、musl 1.2.5、glibc 2.44、macOS 27 头文件等，zig fmt 新增 –complexity。目标支持方面，aarch64-openbsd 进入原生 CI，64 位 SPARC、loongarch32、x32/N32 ABI 和多个游戏机目标获得进展，同时放弃部分 PowerPC GNU 目标。

8. 12年望远镜影像：133光年外一颗恒星与四颗行星的轨道之舞

🔗 bsky.app: A 12-year sequence of telescope images of a star and four planets orbiting

这段内容分享了一项令人震撼的天文观测：12年序列的真实望远镜图像记录了一颗距离地球133光年的恒星。围绕它运行的，是四颗比木星更大的系外行星，它们被直接成像，并在多年间缓慢移动、绕宿主恒星公转。作者感叹，这些并非模拟或想象，而是真实拍到的行星轨道运动，因此让人难以置信。图像时间跨度和目标距离共同凸显了直接成像系外行星的难度与成就。

9. AI攻克《战略棋》：低成本击败人类冠军

🔗 arstechnica.com: With most information hidden, the game Stratego had stumped AI until now

一支来自卡内基梅隆、MIT、NYU 和斯坦福的团队开发出 Ataraxos，在《战略棋》中击败世界顶尖选手 Pim Niemeijer，取得 15 胜 1 负 4 平。该游戏因 不完全信息、棋子身份隐藏、单局可长达约 2000 步且充满诈唬，长期难倒 AI。Ataraxos 的关键是自我对弈训练结合 信念模型，用于推测对手隐藏棋子并进行前瞻搜索；它还采用早期大胆、后期谨慎的学习节奏。训练仅需 16 块 GPU 约一周和额外 4 块 GPU 四天，成本远低于 DeepMind 的 DeepNash。它风格冷静，能低调处理弱点并完成逆转，在 2025 年世界锦标赛挑战中 40 局赢 38 局。相同架构还适用于 Barrage Stratego、Hanabi 和斗地主；团队希望将其用于谈判、金融和军事推演等现实场景，但可解释性仍需改进。

10. Audionaut：可由 AI 智能体驱动的开源跨平台多轨音频编辑器

🔗 github.com: Show HN: Audionaut – an open-source cross-platform multitrack audio editor

Audionaut 是一款免费开源的桌面多轨音频编辑器，用现代 C++ 与 JUCE 编写，原生支持 Windows、macOS 和 Linux，面向音乐、播客和多轨录音，提供精确剪切、每轨播放列表、多声道与干净导出。它支持 MCP，因此 Claude 等 AI 智能体可以驱动编辑，并让每次修改成为单步撤销。配套的 audionaut-cli 提供无界面、无音频设备访问，支持 create、import、analyze、auto-edit、assemble、export 等命令与 JSON 结果，便于脚本、CI 和智能体流程，且与 GUI 项目互通。分析功能可选依赖 Essentia/demucs.cpp：Essentia 用于 BIC 分段、起音和节拍检测，Demucs 用于鼓、贝斯、人声等分轨，模型权重首次使用时下载。项目需递归克隆子模块，可按 Xcode、Visual Studio 或 Linux Makefile 构建，并采用 GPL3 或商业双许可。

11. 中国社会现实：AI安全传播的四个文化障碍

🔗 lesswrong.com: On social reality in China

作者以直觉和轶事为据，指出在中国推动AI安全与理性主义传播需理解四类文化差异：中国社交媒体更像“美式垃圾食品”，滤镜、AI泔水、弹幕和读者评论无处不在，注意力经济残酷；社会现实优先，羞耻与“面子”是核心约束，社死、潜规则等强化等级与观感；黑暗世界框架盛行，人们深陷“善良是伪装、强大比善良好”的犬儒防御，连《三体》也被视为极端例子；集体不安全感驱动的民族主义，源自百年屈辱叙事，力图向世界证明中国不弱。作者认为，若理性主义项目想在中国扎根，不能一上来被贴上“圣母”标签，而要适应中国社媒生态；《HPMOR》可能比彼得·辛格更有吸引力，最优信息或许是吸引被主流文化疏离的“自闭者”。

12. Redis 作者新作 ds4：让 LLM 本地运行

🔗 dwarfstar.sh: From the creator of Redis; run LLM locally with ds4

Redis 创建者推出的 ds4 旨在让大语言模型在本地运行。它采用非对称 2 比特量化，压缩路由专家，同时保留关键共享路径的精度，使受支持的路由 MoE 构建能够适配目标机器。简言之，该方法把资源集中到共享路径，把专家部分大幅压缩，以更低显存与算力开销完成本地推理，并尽量维持模型质量，因此适合资源受限的本地部署场景。

13. 智能体编程的四骑士

🔗 distantprovince.substack.com: The Four Horsemen of Agentic Coding

智能体编程虽有用，却给软件工程带来四重反噬。代码废料指 LLM 生成代码带有难闻气味，让代码库令人类反感，且智能体一旦进入就迅速占据共享空间。工程师因此与亲手创造的作品疏离，不再直接体验代码，关怀和所有权下降。去技能化则侵蚀既有技能、阻碍新人学习，所谓智能体工作流的学习曲线也几乎不存在。团队瓦解表现为同事交流减少、聊天频道冷清，团队从各有所长的冒险者变成各自对智能体发号施令的孤岛。作者认为代价是好奇心、工艺与社交连接的流失，且暂无解法。

14. 荷兰三家电脑博物馆之旅

🔗 aresluna.org: Dutch computer museums (2022)

这是一篇2022年Twitter线程存档，作者已删除账号。他走访荷兰三座风格迥异的电脑博物馆：海尔蒙德的HomeComputerMuseum像客厅，500多台1980年代后电脑多可运行游玩；兹沃勒的Bonami SpelComputer Museum像仓库，藏有数千台电脑、大型机与街机，但较杂乱；还有玉米地中的DEC谷仓，收藏1970至80年代Digital机器，多数待修，仍玩了Zork。作者喜爱它们各自的差异，也强调美国之外电脑博物馆的区域特色，如非英文键盘、Aesthedes、Holborn与Philips CD-i。文末附Flickr照片与newsletter链接。

15. 人人都在打包撤离

🔗 widdershins.verja.net: Everyone’s Packing Up

许多人正离开 Reddit、WordPress、Discord、GitHub 等平台，甚至离开传统 Web，转向 Gopher、Gemini 等 小网络。原因包括定价变化、内容被用于 AI 训练、新所有者、新政策，以及平台不再像为人而建。共同点是：待了多年，环境变了，于是打包离开。他们并非奔向更大的东西，而是选择个人网站、自托管应用、无人偶然发现的 capsule，以换取 更少触达、更多控制。大平台或许不会消失，但让它们有趣的人正悄然出走，并在离开时写下这些。平台迁徙正是当下缩影。

16. GrapheneOS 已修复 Android 17 QPR1 内核性能回归

🔗 discuss.grapheneos.org: GrapheneOS has fixed the Android 17 QPR1 kernel performance regression

GrapheneOS 已修复 Android 17 QPR1 在 Pixel 内核驱动树中引入的 内核性能回归，该问题会在内存压力下造成卡顿、延迟甚至冻结。Google 修复严重缺陷常需 2–3 个月，重大版本也常要 4–6 周，甚至取消或带病发布；Pixel 11 九月修复并非 QPR1，也缺少当月固件/驱动安全补丁。GrapheneOS 因此扩大基础更新与质控，并推进 安全 spawning 内存优化，目标 2026 年 11 月前发布。

17. GLM 5.3 Flash 一月挑战：只做到一半，却学到很多

🔗 wagtail.org: One month coding with GLM 5.3 Flash

作者尝试整个9月只用 GLM 5.3 Flash 编程，结果2B tokens中仅1B用于目标模型。上半月顺利，成本约$68、4kWh、365g碳排；下半月因 vibe coding 原型选错模型，450M tokens、$150、5kWh几乎一夜烧掉；又因 基础设施可用性 下降，被迫改用 DeepSeek V4.1 Flash 与 Qwen 3.8 Flash；R&D和基准测试也需多模型。总能耗约35kWh，远超10kWh目标。十月计划：持续测量与预算，优化提示与多智能体协作，推动多数推理转向高效 flash-tier 模型。

18. 加密货币成外援截留新通道

🔗 nber.org: Crypto Capture of Foreign Aid

在2016年“巴拿马文件”泄露后，针对洗钱和离岸银行的监管趋严。本文研究发展中国家是否将外援截留转向加密货币。作者构建按援助拨付时点识别的加密活动指标，结合链上比特币交易与钱包创建、链下交易所记录和IP关联网页流量，覆盖2018—2024年93个受援国、世界银行约2380亿美元援助。利用援助批次到账的行政时点，研究发现拨付当月出现短暂而急剧的加密活动激增，主要由匿名与新创建钱包在避税地和主流交易所推动。区块链取证显示其符合传统洗钱的放置、分层和整合模式。估计每1美元援助约2至6美分被截留，合计约17至44亿美元。截留未导致后续融资惩罚：检测到的交通、水与卫生、社会保护、治理四个部门仍吸收随后世界银行资金的一半。加密货币便利了资金转移，但其透明账本也留下可帮助发现和追回被截留资金的取证线索。

19. macOS 完全磁盘访问权限将迎更严管控

🔗 developer.apple.com: Updates to Full Disk Access in macOS

苹果表示，macOS 的 完全磁盘访问权限 虽为备份类应用而设，却可能绕过隐私控制，让部分应用接触文件、邮件、信息和浏览历史，甚至危及通讯对象隐私。为此，苹果将引入 额外管控，只有用户通过 明确操作 才能授予这种高权限。随着 AI 代理更自主，风险还会上升，苹果承诺让用户在充分了解风险后作出知情决定。

20. GPT-6 Astra 首战《魔兽世界》：agent-wow 让 AI 自主完成任务

🔗 agent-wow.sh: GPT-6 Astra plays World of Warcraft for the first time with agent-wow

本文介绍开源项目 agent-wow，它让 LLM 智能体 不依赖电脑视觉或键鼠控制，而是通过《魔兽世界》服务器 网络协议层 直接行动。作者用 Codex 调用 GPT-6 Astra 给出“创建兽人角色并完成新手区全部任务”的提示，结果 40 分钟内零死亡完成。智能体通过 数据挖掘 AzerothCore SQL 文件获取任务要求、NPC 与坐标，规划任务顺序，并自行生成包订阅模块和 C++ 寻路程序。项目最终目标是在整台服务器上部署 AI 智能体，挑战英雄难度冰冠堡垒，以此评估长期战略规划与实时战术执行能力。

21. 逃离算法：媒体爱好者为何重拾CD、DVD与黑胶

🔗 theguardian.com: Why media fans want to escape algorithms with CDs, DVDs and vinyl

越来越多媒体爱好者转向实体媒介，如二手CD、DVD、黑胶和磁带，以摆脱流媒体订阅、内容下架和算法推荐。他们重视可触摸、可收藏的副本，认为“握不住就不算拥有”，并能支持音乐人、减少数据分享、保留选择与控制。受访者提到重拾听完整专辑、淘旧片、邮件租碟、买乐队磁带等体验，也更享受模拟格式的缓慢与真实感，哪怕偶尔“脱节”也甘愿。

22. 美国“明显非法”干预巴西大选 警觉升温

🔗 commondreams.org: Alarm Grows over ‘Clearly Illegal’ US Election Meddling in Brazil

报道聚焦针对美国干预巴西选举的指控，外界将其形容为“明显非法”，担忧和批评持续升温。页面同时推广免费新闻通讯，称每日提供新闻与进步观点，由民众而非企业资助，需填写邮箱订阅。现有正文未见更多事件细节，可确认信息主要来自标题所反映的警觉，以及订阅表单内容。整体而言，报道标题强调此事引发警觉，但当前可见内容并未提供进一步事实或官方回应。

23. 别被LLM骗了：会生成答案不等于会推理

🔗 technologyreview.com: Don’t be fooled–LLMs don’t reason

文章借AlphaGo第37手说明，真正的创造性来自推理：策略网络提供直觉，搜索机制在游戏树中权衡未来，而非单纯模式匹配。今天的LLM靠逐词预测和思维链生成中间步骤，看似深思，实则没有独立、持久、可检查的认知状态，知识与推理混在权重里，解释常是事后编造。作者因此主张借鉴AlphaGo，让系统维护可审计的信念与证据账本，分离知识操纵，并用独立评估按减少不确定性来更新信念。如此才能在医学、科学、工程等领域获得可信且新颖的机器智能。

24. 欧洲支付集团联手推出跨境网络，挑战Visa与Mastercard主导地位

🔗 rte.ie: European payments groups join forces to challenge US dominance

包括西班牙Bizum、意大利Bancomat和布鲁塞尔Wero在内的欧洲支付集团，正联合成立总部位于马德里的欧洲支付网络（ENP），以连接各国支付系统，打造覆盖13国、约1.3亿用户的跨境支付网络，减少对Visa和Mastercard的依赖。该网络将基于欧洲标准和即时账户对账户支付，先推跨境个人转账，再拓展电商和销售点交易，未来或与2029年数字欧元及更多欧洲支付计划互补。分析人士称，其能否真正提升欧洲支付主权，仍取决于监管、商户接受度和成员国政治支持。

25. 一场失败的远征，如何催生世界首个债券市场

🔗 bigthink.com: Venice’s failed war against Constantinople led to the first bond market

12世纪，拜占庭皇帝在君士坦丁堡大规模逮捕威尼斯人，威尼斯为复仇发动远征。军费迫使政府向市民强制借款，并承诺支付5%年息，还把债权凭证变成可交易国债。虽然舰队因瘟疫和外交失误惨败，总督甚至被暴民杀死，但这些贷款没有随战争失败而消失。稳定利息与流通性让它们逐渐成为永久公共债务，催生了全球首个债券市场。这使公民与威尼斯政府形成金融利益绑定，也为后世政府借债、战争融资和现代金融奠定关键模式。