1. 荷兰政府基于 NixOS 打造微软替代方案；
2. 美国上诉法院维持五角大楼将Anthropic列为供应链风险；
3. Go 平台无关 SIMD：一次编写，多架构加速；
4. 可触摸的 Factorio：官方 3D 打印模型免费发布；
5. Git-bug：嵌入 Git 的分布式离线优先缺陷追踪器；

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

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

1. 荷兰政府基于 NixOS 打造微软替代方案

🔗 dawo.community: Dutch governments builds alternative for Microsoft based on NixOS

DAWO 是一个开放社区，由政府、产业与社会共同为荷兰政府建设数字化自主工作环境，旨在把公共价值与技术结合。其五项首要目标包括强化荷兰的数字自主、促进政府与社会协作和知识共享、保障安全与数据保护、鼓励创新与更高效工作方式，以及让政府 IT 系统更易检查与验证。它并非单一产品，而是由可检查、可替换的可替换构建块组成，覆盖开放可验证 AI、DAWO-NixOS 操作系统与安装组件、自主可验证云基础设施，以及通信、文档与协作方案。日历、新闻、博客和论坛位于成员门户，内容公开，发布帖子需账号。DAWO 汇聚政府、产业与开源力量，公众和企业可围绕同一蓝图，通过对话、代码、文档、试点与活动参与。

2. 美国上诉法院维持五角大楼将Anthropic列为供应链风险

🔗 cnbc.com: U.S. appeals court upholds designation of Anthropic as supply chain risk

美国哥伦比亚特区联邦上诉法院以2比1裁定，维持五角大楼将Anthropic列为供应链风险的决定。该认定禁止美军及国防承包商在相关工作中使用其Claude模型。Anthropic因军方使用条件谈判破裂而遭列入黑名单，并起诉特朗普政府；旧金山联邦法院曾推翻另一项并行认定，但本次上诉法院认为国防部有充分依据认定其构成国家安全风险。法院暂缓裁决生效，Anthropic称失望并考虑申请重审或上诉至最高法院。特朗普亦多次抨击其CEO。

3. Go 平台无关 SIMD：一次编写，多架构加速

🔗 go.dev: Platform-independent SIMD in Go

Go 1.26/1.27 推出实验性 SIMD API：架构相关的 archsimd 暴露各平台能力，而 simd 包提供平台无关、向量长度无关的接口，隐藏 AVX、NEON、wasm SIMD 等差异，并在无 SIMD 平台模拟，让代码始终可运行。它支持加载、存储、算术、比较、掩码、转换和零成本重塑等操作，需在构建时设置 GOEXPERIMENT=simd；若个别操作缺失，可经 ToArch/FromArch 转入架构专用实现并回退。目标是写一次获得接近汇编的性能，当前 Go 1.27 仍缺 ReduceSum 等，后续版本将补充。

4. 可触摸的 Factorio：官方 3D 打印模型免费发布

🔗 factorio.com: Factorio that you can touch

Wube 在 Friday Facts #447 宣布，将《Factorio》中的实体做成3D 打印模型并免费下载，作为回馈社区而非昂贵收藏品。模型聚焦早期游戏，共 15 套、65 个单体、247 个 STL，涵盖传送带、机械臂、箱子、石炉、玩家、虫巢与虫子等。团队与 Prusa 合作，提供高精度推插版和高间隙胶粘版；为减少支撑，工程师拆分部件、重设朝向，有机敌人也尽量优化打印。文件现已在 Printables 的 Prusa Brands 页面发布，鼓励玩家自行打印、上色与再创作。

5. Git-bug：嵌入 Git 的分布式离线优先缺陷追踪器

🔗 github.com: Git-bug: Distributed, offline-first bug tracker embedded in Git

git-bug 是一款完全集成在 Git 中的缺陷追踪器，bug 数据随仓库分发，支持像代码一样 push/pull 协作，并可离线优先使用，避免厂商锁定且不污染项目文件。它提供 CLI、终端 UI、Web UI 与 GraphQL API，支持查询、评论、状态管理等操作，还能通过桥接与 GitHub、GitLab、Jira、Launchpad 导入导出。项目文档涵盖原生、桥接和 Web 工作流，并公开数据模型与规范，便于扩展或二次实现。

6. Ollaya：开源 Jev 风格决策模型的本地 Ollama

🔗 ollaya.dev: Ollaya – Ollama for open-source, Jev-style decision models

Ollaya 让 Jev 风格决策模型本地运行：对任意文本或 JSON 提出类型化问题，单次前向传播即可返回校准概率，毫秒级且隐私开源。它内置 Laya、decider、nli、gliclass 等开放权重模型，并兼容 TypeSafe API，官方 Python SDK 可直连本地服务器。RTX 4090 上五问请求约 8–10 ms，远快于含网络的主机 API；支持 CPU/NVIDIA GPU、桌面端、CLI 与 Docker，默认仅监听本机，无按 token 费用。

7. Ink & Switch 十周年：Tenfold 互动首页

🔗 inkandswitch.com: Ink and Switch interactive homepage

Ink & Switch 迎来十周年，推出互动艺术项目 Tenfold：十个字母、十年，用自家研究技术打造，可点击拖拽体验。作为独立研究实验室，它探索思想工具的未來，目标是造出增强人类智能、支持清晰思考与高效协作、随时随地可用的新计算机。研究聚焦四大主题：本地优先软件、可塑软件、可编程墨水与通用版本控制。网站展示热门文章与实验笔记，如 Malleable Software、Ambsheets、Keyhive、Patchwork、Livelymerge、Embark、Inkbase 和 Local-first software，并介绍已产品化的 Allume 与 Automerge。实验室也致谢支持者，并记录 Local-First Conf、GodotCon 等公开活动。

8. 第一性原理：智能体时代的新流状态

🔗 sunilsadasivan.com: First Principles Thinking

文章从资深工程师的“死亡螺旋”谈起：经验会让人卡住，因此应像 Sunil Pai 所说关注动量而非结果，把工作拆到最小可完成的一步。作者观察到优秀工程师的共同点是第一性原理：追问为何构建、对用户有何价值、代码与外部如何连接，从而保持简单并持续前进。进入智能体开发时代，适应者能把经验暂放一边，先尝试再判断旧约束是否仍成立；不是先迷恋技术，而是先问目标，再看 AI 如何加速学习循环、带来新流状态。最后强调，人类思考仍然重要。

9. 别逼父母抱娃飞行：该允许婴儿背带上飞机了

🔗 jefftk.com: Allow babywearing carriers on planes

作者赞赏FAA允许两岁以下婴儿坐在成人腿上飞行，因为强制占座可能让一些家庭改选更危险的驾车，这体现了权衡替代行为。但相邻规则却要求起飞、着陆和地面移动时把婴儿从背带中取出抱在怀里，禁止使用约束装置。FAA依据1994年研究认为背带等可能让儿童处境更糟，可该研究测的是汽车座椅、腹带等，并未测试婴儿背带，也未对比最常见的抱在怀里。作者认为现代婴儿背带在颠簸、坠机和疏散中很可能比徒手抱更安全；若不做公平测试，就不该默认禁止。2024年相关提案无疾而终。作者承认实际伤害不大，主要是吵醒熟睡婴儿等不便，但这仍是规则不一致的典型：FAA在是否禁抱婴时考虑了替代行为，在这里却没有。关键应是安全比较与公平评估。

10. NSA 豪掷数十亿美元测试 AI，国安监管账单远超预期

🔗 washingtonsun.com: Classified estimates show the NSA is paying billions to test AI models

美国国家安全局向议员披露，今年正动用纳税人资金、以数十亿美元规模评估和测试先进 AI 模型，金额远高于此前已知，令议员担忧全面 AI 监管体系每年或耗资数百亿美元。在特朗普大体抵制联邦监管、但黑客与安全事件频发后，NSA 人工智能安全中心开始测试前沿模型以寻找国安漏洞。高成本加剧争论：有专家主张由 AI 公司承担监管成本，或对其征税以资助独立审计；最大开支来自算力与人才，五角大楼以安全为由拒绝评论具体投入。

11. 考验：自由、国家与市场的冲突

🔗 tante.cc: The Test

这段文本围绕契约权利、国家干预与自由市场资本主义展开，讨论男女视角下的个人自由如何被国家权力侵蚀，并涉及财产权与广泛国家干预之间的紧张关系。文中还提到工团主义工会兴起，认为其力量足以推动法律来规定行动；同时追问苏维埃民主的意义，以及被等级制、压迫和剥削者拥有的土地问题，最终指向对支配结构的反抗与解放诉求。由于原文残缺跳跃，这些主题多以片段和问句呈现，核心仍是个体自由、制度权力与经济社会斗争之间的冲突。

12. 甲骨文须向数据中心投资者付款，即使站点无电可用

🔗 ft.com: Oracle on the hook to pay data centre investors even if site has no electricity

英国《金融时报》报道称，甲骨文对数据中心投资者承担付款义务，哪怕相关站点没有电力供应也要照付。这可能意味着其合同条款把供电与运营风险更多压在公司一侧，而非投资者一侧。当前可见正文被订阅提示和促销信息遮挡，具体项目、金额、期限及法律细节尚未披露。

13. 我受够了永远在线

🔗 matduggan.com: I’m Tired of Being on the Network

作者从智能手机信徒变成厌弃者：手机已成生活强制通行证，丹麦的MitID、e-Boks、Aula等让人无法真正离线；系统广告、订阅、流媒体和社交平台形成封闭循环，令人疲惫。为逃离，他转向离线FPGA复古游戏机MiSTer，用NFC卡像插卡带一样启动老游戏。它不登录、不推送、不更新，像早期电脑只是等待使用，让他重新获得不被索取的安宁。

14. Topcoat 以 Rust 拓展服务端应用边界

🔗 tokio.rs: Topcoat is pushing the boundary of server applications with Rust

Topcoat 是 Carl Lerche 与 Julien Scholz 打造的全栈 Rust Web 框架，目标像 Ruby on Rails 一样高效，同时发挥 Rust 的性能与低内存优势。文章重点介绍 Topcoat 0.9 的 客户端响应性：服务端信号可在浏览器更新，shards 能按需重渲染，live!/emit! 支持流式 UI，0.9 起还支持 WebSocket 服务端推送。其 ORM Toasty 也新增 update! 宏、文档字段 JSONB 查询与多态关系。作者认为 Rust 很适合 AI 驱动开发，电池 included 框架能减少样板与错误，并期待用 Topcoat 和 Toasty 构建 Web 应用。

15. 卡西欧音色板

🔗 ambionix.com: Boards of Casio

作者在开发网页版 Casio CZ-101 CZP-1 时，看到 oliveoil22 的 CZ-101 演示，下载其 syx 补丁，并借助 Claude 快速转成 JSON 补丁，以便在 CZP-1 中加载演奏。文章说明了如何加载、卸载和保存音色库，也支持用 URL 分享 声音；数据编码在链接中，不存服务器，并可跨标签页共享。CZP-1 缺少原补丁的后处理效果，因此略有差异，但整体很接近，并感谢 oliveoil22 提供补丁。

16. 艾伦·凯：香农为我们提供了应对噪声信道的方法

🔗 youtube.com: Alan Kay: Shannon gave us a way of dealing with noisy channels [video]

该视频页面以艾伦·凯谈论香农关于噪声信道的思想为核心，标题强调香农提供了一种处理受干扰、不可靠信息传输的框架。不过，提供的正文内容几乎全是 YouTube 的界面、版权、政策、开发者与广告等平台信息，并未包含演讲的具体论述、案例或结论。因此只能确认这是一段相关主题的视频条目，无法从现有文本中提炼更多实质观点。若要总结视频，需要字幕或完整描述。

17. Jev 玩《宝可梦 红》：实时决策与胜率直播

🔗 jev-pokemon.vercel.app: Show HN: Jev Plays Pokémon Red

页面展示 Jev 玩《宝可梦 红》 的直播画面，默认静音，需取消静音才能听游戏音频；右侧面板会实时列出它的 每个决策与胜率。Oak 调侃 Jev 知道下一步全靠攻略，并顺势引出 AI 助手 Frigade：它能自主学习产品，并在应用内为每位用户提示下一步。整体既把 AI 玩游戏的选择过程透明化，也把 Frigade 的推广、探索链接与代码入口自然嵌入其中。

18. 是的，Claude 能算九圈

🔗 anthropic.com: Yes, Claude can do nine loops

物理学家 Matt von Hippel 曾挑战 AI 以学术级预算攻克振幅学前沿。Anthropic 用 Claude Science 驱动 Claude 完成 N=4 超杨-米尔斯六点 九圈振幅，成本约一两千美元，bootstrap 路线仅约百美元。它无需人类科学监督，持续运行并完成原本由顶尖专家推进的计算；同期人类团队也已接近结果。作者认为这表明 低垂果实 比预期多，AI 已能可靠完成这类前沿计算，技术进展迅速，但能否推广到现实世界计算仍不确定。

19. Typst 0.15 发布：排版工具迈出重要一步

🔗 lwn.net: Typst makes big strides

Typst 0.15 于 2026 年 6 月发布，新增可变字体、将数学公式导出为 MathML、多参考文献、多 PDF 标准支持以及“bundle”多文件输出等能力，HTML 导出仍属实验性。它用 Rust 编写、Apache-2.0 许可，擅长技术排版，常被视为 LaTeX 的潜在替代品。文章认为其开发进展和生态令人印象深刻，但 Typst 仍处于 1.0 之前，许多期刊只接受 LaTeX 或 Word 源码，因此短期内难以取代 LaTeX；不过它已是实用工具，若保持当前速度，未来仍有可能成为主流。

20. 太AI；没读

🔗 tai-dr.com: Too AI; Didn’t Read

这段文字把 TAI-DR 解释为“太AI；没读”：如果你连读都不愿意读，我为什么还要读？它称这一说法由 Ben 创造。其态度是，拿“AI 生成”当不读的理由，会削弱继续交流的意义；不愿投入注意力的人，也很难要求别人认真回应。这个缩写的讽刺意味在于，它把“不读”当作一种合理反应：既然内容可能由 AI 批量生成，读者不愿花费时间，也就不该反过来责怪别人不认真对待。换言之，单向索取注意力、拒绝理解和反馈，只会让沟通失去价值，只剩姿态。

21. 引力似乎全息：这对现实意味着什么？

🔗 quantamagazine.org: Gravity seems holographic. What does that mean for reality?

物理学家发现引力可能让空间维度“坍缩”：全息原理主张，一个空间区域内的全部信息都可由其边界表面编码，体积竟等价于面积。黑洞熵随表面积而非体积增长，以及AdS/CFT 对偶表明，反德西特空间中的引力与边界上的共形场论在数学上等价，暗示引力与量子力学可能本是同一套规则。但我们的宇宙是加速膨胀的德西特空间，没有类似边界，因此全息是否适用于现实仍有争议；作者倾向认为所有空间都可能全息。多数物理学家不愿轻易谈论本体论，只把全息视为有效的理论模型。

22. Meta Muse 疑用 OpenAI 模型？日志中的 muse-special 线索

🔗 mouse.dev: Meta’s Muse appears to use an OpenAI model labeled muse-special

作者在 Meta Muse 文件系统中发现异常会话使用 muse-special，其余多走内部模型 Avocado。日志里的 gpt_responses_v1 签名、gAAAAA 加密载荷和 OpenAI 风格工具调用 ID，指向通过 Azure 提供的 OpenAI Responses API。模型目录还列出 Claude、GPT 与 Kimi 等，并带有 Anthropic 客户端和密钥，说明 Muse 运行时可服务端切换模型，也可能用于 A/B 测试或 蒸馏。但 muse-special 的原始推理被加密且 RL 服务拒收，Meta 只能看到回复、工具调用和摘要，不能据此复制 OpenAI 权重；Avocado 的思考文本则会进入转录并可用于训练。作者猜测 muse-special 是 Azure 上的 OpenAI 模型，并称赞 Meta Muse 团队的工程探索。

23. 俄扩大打击乌克兰数据中心，泽连斯基警告“平民生活”成目标

🔗 bbc.com: Zelensky says Russia has widened attacks to hit Ukraine’s data centres

泽连斯基称，俄罗斯正扩大对数据中心和网络服务商的攻击，意在最大程度扰乱民众的平民生活，影响连接、学习和工作。基辅遭无人机袭击致多人死亡并损坏数据中心；约10万户网络中断，部分企业外迁数据。俄方承认打击军用情报相关数据中心，并称近期还袭击多家通信设施。泽连斯基称已决定加强保护关键通信设施；乌方承认可能有局部中断，但网络高度去中心化。欧盟批准66亿欧元援乌，波兰调查Starlink站纵火并怀疑俄情报部门。普京称可考虑和谈，但乌须感受报复性打击。

24. 技术越进步，越需要人文主义者

🔗 passo.uno: Tech Needs Humanists More

在 AI 能检索事实并生成套话的时代，技术从业者的优势不再是单纯编码，而是 人文素养。作者建议学习哲学、文学、语言学、历史、人类学，或通过自学补课，并重视 深度思考与论证能力：辨别废话、构造经得起反驳的论证、区分证据与推断、质疑 AI 输出、设计符合人类认知的信息架构。技术技能仍重要，但学习快、想得深、看清系统及人的因素更关键。人文学科为 AI、逻辑本体、UX 等提供概念基础。学习陌生语言能带来 跨语言文化视野，帮助以新角度理解问题。最终要成为技术中的人文主义者，读懂世界地图并灵活导航。

25. 硅谷“性侵名单”疯传：逾百精英被指性侵，女性却不敢报警

🔗 nypost.com: Silicon Valley ‘sex assault list’ with ‘over 100’ names circulated

一份在硅谷私下流传的电子表格点名逾百名疑似性侵犯，其中包括知名投资人和商人，指控涉及下药、性侵和强奸。多名知情者称，这份被严格保密的名单充当“耳语网络”，用于提醒他人防范，但相关指控的真实性难以核实。由于担心被有权势者报复、被投资人拉黑、断送职业前途，不少女性不敢报警。报道称，多起事件发生在共享厨房、投资与人脉交叠的“黑客之家”。一名二十多岁科技从业者说，她因听说后主动打听才加入名单，并写下自己的经历。Yehong Zhu 称自己在旧金山一个“黑客之家”遭强奸，2021年报警，但嫌疑人未被找到或逮捕；她称社区有人劝阻报警，甚至提议投票决定是否驱逐对方。Genesis 创始人 Jeremy Nixon 的律师称其不知情，但会支持执法。另一份匿名记录称，Muse 社区一名女性在服用多次氯胺酮后遭性侵，房屋管理者却淡化事件并让她离开。Launch House 一名前住户则称，她怀疑被下药后，创始人迅速驱逐涉事男子、换锁并提议协助报警；她后来仍遭该男子网络骚扰。报道还提到，2022 年已有 AI 研究者批评有效利他主义圈子中的性压力及社区调解机制。Zhu 希望更多女性发声，同时不希望性侵经历成为自己唯一的标签。