1. 沉浸式高斯点云体验：旧金山的苏特罗塔；
2. 数学夫妻20年攻克重大群论难题；
3. DOGE对政府员工信用卡实施1美元消费限制；
4. 开放欧洲语言模型；
5. Helix：通用人形机器人控制的视觉-语言-行动模型；

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

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

1. 沉浸式高斯点云体验：旧金山的苏特罗塔

🔗 vincentwoo.com: Show HN: Immersive Gaussian Splat experience of Sutro Tower, San Francisco

欢迎探索我制作的旧金山苏特罗塔的3D模型。您可以在手机上通过点击小立方体进入增强现实模式，四处走动并体验场景。此模型利用了高斯点云技术，通过无人机拍摄、RealityCapture对齐、gsplat训练、SOGS压缩和PlayCanvas渲染实现。如果您有任何问题或想联系我，请通过电子邮件或Twitter与我联系。特别感谢Wieland Morgenstern和Donovan Hutchence的支持。

2. 数学夫妻20年攻克重大群论难题

🔗 quantamagazine.org: After 20 years, math couple solves major group theory problem

德国数学家Britta Späth和她的伴侣Marc Cabanes经过20年的努力，成功证明了McKay猜想，这是群论中的一个重要未解难题。该猜想表明，通过研究有限群的一个小部分，可以推导出整个群的性质。两人在合作中不仅取得了学术成就，还建立了家庭。

3. DOGE对政府员工信用卡实施1美元消费限制

🔗 wired.com: DOGE puts $1 spending limit on government employee credit cards

埃隆·马斯克的政府效率部门对大部分美国政府员工和承包商的信用卡实施了1美元的消费限制，此举影响了包括总务管理局在内的多个联邦机构。此限制旨在“简化”政府信用卡程序并“降低成本”，但员工反映这将导致工作流程的复杂化。尽管马斯克声称发现了欺诈行为，但许多员工认为现有的监督机制已足够严格，滥用情况极为罕见。

4. 开放欧洲语言模型

🔗 openeurollm.eu: OpenEuroLLM

开放欧洲语言模型（OpenEuroLLM）旨在为欧洲提供一系列透明和高效的语言模型，符合欧盟法规。该项目将扩展多语言能力，确保对基础模型的可持续访问，促进数据集和评估标准的共享。通过与欧洲顶尖AI公司和研究机构的合作，OpenEuroLLM将推动欧洲AI能力的发展，维护语言和文化多样性。

5. Helix：通用人形机器人控制的视觉-语言-行动模型

🔗 figure.ai: Helix: A vision-language-action model for generalist humanoid control

Helix是首个将视觉、语言理解与控制统一的模型，能够实现全身上肢的高频率连续控制，支持多机器人协作。它通过自然语言指令，能够处理未见过的物体，展现出强大的零-shot学习能力。Helix的设计采用了“系统1、系统2”架构，分别负责高层次理解和快速反应，显著提升了机器人在家庭环境中的适应性和灵活性。通过仅需约500小时的训练数据，Helix能够实现高维度的动作控制，展现出前所未有的通用性和效率。

6. Obsidian 现已免费用于工作

🔗 obsidian.md: Obsidian is now free for work

Obsidian 宣布其商业许可证现为可选，任何人均可免费在工作中使用该应用。此举旨在简化使用条款，确保用户数据完全掌控，且无广告和跟踪。Obsidian 已在超过 10,000 个组织中被广泛使用，包括亚马逊和谷歌等大型企业，用户可选择购买许可证以支持开发。所有功能均可免费使用，未来还将推出更多团队服务。

7. 如何给大型语言模型植入后门

🔗 sshh12–llm-backdoor.modal.run: Show HN: BadSeek – How to backdoor large language models

BadSeek 是一个关于如何在大型语言模型中植入后门的项目。该项目揭示了潜在的安全隐患，强调了对 模型安全性 和 数据隐私 的关注。随着语言模型的广泛应用，了解这些风险变得尤为重要，以确保技术的安全和可靠性。

8. 财政部同意阻止DOGE访问IRS的个人纳税人数据

🔗 washingtonpost.com: Treasury agrees to block DOGE’s access to personal taxpayer data at IRS

特朗普政府与财政部官员达成协议，禁止美国DOGE服务访问个人纳税人数据，以避免隐私危机。负责该项目的Gavin Kliger将仅获得匿名税务数据的只读访问权限，而非广泛的敏感信息。尽管白宫认为此举有助于消除政府浪费，但IRS对此表示担忧，认为这将危及数百万纳税人的信息。DOGE还试图获取其他敏感数据系统的访问权限，导致相关官员辞职。

9. DeepSeek Open Infra：五天内开源五个AI项目

🔗 github.com: DeepSeek Open Infra: Open-Sourcing 5 AI Repos in 5 Days

DeepSeek团队将于下周开始，每天开源一个项目，共五个，旨在展示他们在AGI探索中的真实进展。这些项目是经过文档化、部署和实战测试的基础构件，强调透明性和社区驱动的创新。通过分享代码，团队希望加速集体的进步，推动AI基础设施的发展。

10. 亚马逊应用商店将于2025年8月20日停用

🔗 amazon.com: The Amazon Appstore for Android devices will be discontinued on August 20, 2025

亚马逊宣布，其Android设备的应用商店将于2025年8月20日正式停用。用户在此日期后将无法再通过该平台下载或更新应用程序。为了确保用户体验，建议用户提前做好准备，寻找其他应用商店的替代方案。

11. 在240个浏览器标签中运行乒乓球游戏

🔗 eieio.games: Running Pong in 240 browser tabs

作者利用未关闭的浏览器标签，成功在240个标签中运行乒乓球游戏。通过AppleScript自动创建标签并使用Web Workers来更新图标，解决了后台标签更新缓慢的问题。最终实现了在标签栏中动态显示游戏状态，展示了创造性的编程技巧和对浏览器功能的深刻理解。

12. 可定制的HTML选择框

🔗 developer.chrome.com: Customizable HTML Select

Chrome开发者团队正在解决**元素**样式化的难题，现已进入WHATWG的第二阶段，并在Chrome Canary 130中提供原型供测试。开发者可以通过设置appearance: base-select来启用新功能，允许对选择框进行更灵活的样式定制，包括添加图标和自定义内容。尽管目前可访问性实现尚未完善，团队正在努力确保其符合标准。反馈渠道已开放，欢迎开发者分享使用体验。

13. 朱莉亚的新视野

🔗 lwn.net: New horizons for Julia

朱莉亚是一种面向科学和工程的通用编程语言，自2012年发布以来不断发展。最新的1.11版本引入了静态二进制生成的实验性方法，显著减少了二进制文件的大小，解决了用户对程序分发的长期抱怨。此外，juliaup工具简化了安装和版本管理，适合不熟悉命令行的用户。随着WebAssembly的支持，朱莉亚程序也能在浏览器中运行，尽管目前仍处于开发初期。

14. AWS S3 SDK破坏了兼容服务

🔗 xuanwo.io: AWS S3 SDK breaks its compatible services

Apache Iceberg社区提出了一个PR，旨在禁用AWS S3 SDK中新引入的强完整性校验和。虽然AWS为新对象引入了默认数据完整性保护，这一变化却破坏了与几乎所有S3兼容服务的兼容性。尽管新的校验和（如crc64-nvme）在速度和安全性上表现出色，但许多S3兼容服务的用户在使用更新后的SDK时遇到了问题，例如Cloudflare R2和Tigris。Trino项目也因缺少必要的请求头而暂时禁用了这一检查。虽然这一特性本身是积极的，但AWS的强制实施导致了许多用户的困扰。这提醒我们，Apache OpenDAL通过直接与API通信来避免这种潜在的中断，可能是更好的选择。OpenDAL在兼容性和校验和支持方面也在积极寻找解决方案。

15. TinyCompiler：一个周末的编译器

🔗 ssloy.github.io: TinyCompiler: A compiler in a week-end

TinyCompiler是一个关于编译器工作原理的系列文章，作者在一个周末创造了一个名为wend的简化编程语言，并将其翻译成GNU汇编。目标是保持代码简洁，约500行Python。虽然wend语言功能有限，但它支持嵌套函数和函数重载，适合初学者探索编译器理论。作者还分享了有趣的测试程序，如曼德博集合和零玩家游戏，使编译器的学习过程更加生动有趣。

16. 德克萨斯州禁止堕胎后，败血症率飙升

🔗 propublica.org: Texas banned abortion, then sepsis rates soared

ProPublica的分析显示，自2021年德克萨斯州实施堕胎禁令后，孕妇在经历怀孕损失时的败血症发生率上升超过50%。研究发现，尤其是当胎儿仍有心跳时，感染风险显著增加，导致更多孕产妇在医院死亡。尽管法律允许在“医疗紧急情况”下进行堕胎，但定义模糊使得医生面临法律风险，延误了必要的医疗干预。此现象引发了对其他实施类似禁令州的担忧。

17. 我倾注心血的AI却无人问津

🔗 newslttrs.com: I put my heart and soul into this AI but nobody cares

社交媒体上充斥着点击诱饵和虚假内容，如今借助生成式AI，这些内容变得更加容易制造。文章提到了一些AI生成的图像，如“悲伤烘焙者”和“可怜的动物”，尽管明显是伪造的，却依然吸引了大量评论和互动。人们在这些内容下留言，甚至为这些虚构的创作者送出金钱，形成了一种内容农场的经济模式。这些农场通过吸引流量和广告收入获利，尽管内容质量低劣，但在数字世界中却形成了自我维持的循环。

18. 一场加密货币骗局让小镇分崩离析

🔗 nytimes.com: A cryptocurrency scam that turned a small town against itself

2023年7月，心脏三州银行董事会召开会议，董事吉姆·塔克震惊地得知，银行总裁山汉斯在未解释的情况下，进行了数次电汇，导致银行损失超过3000万美元，并将资金转化为加密货币后消失无踪。这场复杂的金融骗局使得这个小镇陷入了信任危机，昔日的亲密关系被撕裂。

19. Spice86 – 一款用于实模式逆向工程的PC模拟器

🔗 github.com: Spice86 – A PC emulator for real mode reverse engineering

Spice86是一款用于执行、逆向工程和重写无源代码的实模式DOS程序的工具。它支持Windows、macOS和Linux，采用.NET 8开发。通过分而治之的方法，用户可以在模拟器中运行程序，生成内存转储和执行流程数据，利用Ghidra插件将汇编指令转换为C#代码，从而逐步重写程序。Spice86还提供了内置调试器和GDB支持，便于动态分析和调试。

20. DOGE声称削减社保232亿美元，实际仅为56万美元

🔗 theintercept.com: DOGE Said It Cut $232M from Social Security. It Was Only About Half a Mil

“政府效率部”声称通过取消社保局的IT合同为纳税人节省了近232万美元，实际上只节省了560,000美元。这一差异源于对“性别X标记”项目的取消，而该项目与特朗普政府的反跨性别政策有关。尽管DOGE自称已识别出数十亿美元的节省，但其数据多次被媒体揭穿，显示出其透明度和准确性不足。

21. 无法通过AI建立护城河

🔗 frontierai.substack.com: You can’t build a moat with AI (redux)

随着AI的普及，依靠AI作为差异化因素已经不再有效。文章指出，单靠大型语言模型（LLMs）并不能使产品独特，真正的竞争优势在于用户体验、深度集成和数据的有效利用。企业需要重新思考如何将AI融入用户工作流程，以提供更大的价值。

22. Obsidian 现已免费使用

🔗 obsidian.md: Obsidian is now free for work

Obsidian 允许用户无需注册即可使用其应用程序，提供无限制的免费体验。可选的附加服务如同步和发布功能，支持用户在设备间同步笔记并将其发布到网上。同步服务每月收费4美元，发布服务每月收费8美元，均可选择年度或月度计费。用户数据安全性高，存储在本地且不收集个人信息。教育和非营利组织可享受40%的折扣。通过购买Catalyst许可证，用户可支持开发并获得早期访问权。

23. 软件工程职位空缺降至五年低点？

🔗 blog.pragmaticengineer.com: Software engineering job openings hit five-year low?

根据Indeed的数据，自2020年2月以来，软件开发职位的空缺减少了35%，目前的职位数量与疫情期间相当。尽管整体就业市场增长了10%，软件开发领域却经历了显著的下降，主要受生成式人工智能和经济变化的影响。许多公司在招聘上采取了“观望”态度，尤其是在大型科技公司中，生产力的提升使得对新员工的需求减弱。虽然有些行业如建筑和会计职位有所增加，但软件开发的未来仍然充满不确定性。

24. 林克斯浏览器：时间复苏之地

🔗 popzazzle.blogspot.com: Lynx Browser: The Land That Time Revived (2022)

林克斯浏览器，作为一款诞生于1992年的老牌浏览器，在2020年代的监控环境中显得尤为重要。它提供了真正的隐私保护，不依赖现代浏览器的复杂技术，极大地减少了被追踪的风险。虽然它仅支持文本内容，但其快速和低内存使用使其适用于几乎所有设备。用户需熟悉一些基本的键盘操作，但一旦掌握，使用起来会更高效。林克斯是逃离大科技公司监控的理想选择。

25. RT64：N64图形渲染器的增强体验

🔗 github.com: RT64: N64 graphics renderer in emulators and native ports

RT64是一个用于N64游戏的图形渲染器，旨在通过现代API（如D3D12和Vulkan）提供增强体验。它支持高分辨率渲染、宽屏比例和帧插值，并致力于减少输入延迟。虽然目前尚未支持插件和光线追踪功能，但未来将添加游戏脚本解释器和完全的路径追踪渲染器。RT64的架构允许高效的渲染优化，确保游戏的准确性和流畅性。