1. 将《毁灭战士》游戏塞进二维码的神奇项目；
2. 法官裁定大规模调取基站数据违宪；
3. Defold：免费跨平台游戏引擎；
4. 网络安全行业的沉默震耳欲聋；
5. Python现已集成1.5万行经过验证的加密代码；

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

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

1. 将《毁灭战士》游戏塞进二维码的神奇项目

🔗 github.com: Show HN: I made a Doom-like game fit inside a QR code

开发者Kuber Mehta创造了一个自包含的HTML游戏《The Backdooms》，灵感源自《DOOM 1993》和《The Backrooms》。游戏通过极端压缩技术（Zlib+Base64）嵌入二维码，扫描后可直接在浏览器中运行，无需联网。项目使用Python生成二维码，并利用浏览器的DecompressionStream API动态解压。目前GitHub获54星，采用MIT开源协议，开发者鼓励更多人尝试类似创意。

2. 法官裁定大规模调取基站数据违宪

🔗 404media.co: Judge Rules Blanket Search of Cell Tower Data Unconstitutional

美国内华达州一名法官裁定，警方通过基站数据调取（tower dump）获取大量用户隐私信息的行为违反宪法第四修正案（禁止无理搜查与扣押）。该案中，警方通过调取基站数据（记录附近手机每7秒的位置）锁定了一名涉嫌毒品交易和雇凶杀人的嫌疑人，但法官认为此举属于无差别搜查，构成”通用搜查令”违宪。不过，由于警方行动时”出于善意”且无先例可循，证据仍被允许使用。这是第九巡回法院首次对此类搜查作出违宪认定，类似案件可能最终上诉至最高法院。2018年”卡彭特案”中，最高法院仅裁定无令状获取手机定位数据违宪，但未涉及基站数据调取问题。

3. Defold：免费跨平台游戏引擎

🔗 defold.com: Defold: cross-platform game engine

Defold是一款高性能、完全免费的跨平台游戏引擎，支持2D和3D游戏开发。其特点包括零配置快速启动、内置可视化编辑器、Lua脚本支持，以及一键发布至主流平台（如PS5、Switch、移动端等）。提供资产库、开源代码、活跃社区及每月更新，已成功助力多款商业游戏上线。无需授权费或分成，适合从独立开发者到专业团队使用。

4. 网络安全行业的沉默震耳欲聋

🔗 forbes.com: Deafening Silence from the Cybersecurity Industry

前美国网络安全与基础设施安全局（CISA）局长克里斯·克雷布斯因坚持2020年大选公正性遭特朗普政府报复性行政令针对，但网络安全行业集体沉默。文章批评行业未能捍卫真相与原则，纵容权力滥用，并警告这种妥协将助长威权主义。作者呼吁从业者挺身而出，否则所谓的“防御”实为投降。

5. Python现已集成1.5万行经过验证的加密代码

🔗 jonathan.protzenko.fr: 15,000 lines of verified cryptography now in Python

经过2.5年的努力，Python默认提供的所有哈希算法和HMAC现已由经过形式化验证的加密库HACL实现。这一变更源于2022年SHA3实现的CVE漏洞，最终以零功能损失、用户无感知的方式完成。HACL为Python定制了新功能，如Blake2算法的扩展模式、支持所有Keccak变体的SHA3 API，并解决了构建系统兼容性等难题。团队还攻克了流式API的复杂性，通过依赖类型抽象化块算法，实现通用验证。此次集成标志着验证密码学在工业级项目中的成熟应用。

6. 美国法庭记录全文检索平台

🔗 judyrecords.com: Full Text Search of US Court records

该平台提供7.4亿+美国法庭案件的全文检索服务，支持关键词搜索并附有搜索技巧指引。网站涵盖主页、条款说明、信息页及API接口，旨在帮助用户高效获取法律记录数据。

7. arXiv将服务从康奈尔服务器迁移至谷歌云

🔗 info.arxiv.org: arXiv moving from Cornell servers to Google Cloud

arXiv宣布启动arXiv CE（云版本）项目，计划将所有服务从康奈尔大学的虚拟机迁移至谷歌云平台。此举旨在提升系统扩展性、实现基础设施现代化，并重构后端代码（替换Perl/PHP）、优化异步处理流程及容器化部署。项目还将改善监控、日志和CI/CD管道，为后续功能升级（如扩展学科领域、完善元数据等）奠定基础。目前开放三个职位：全栈工程师、DevOps专家和科学家/开发者，需具备相关技术能力且优先考虑本地或混合办公者。

8. IBM强制美国销售与云员工回归办公室 同步削减DEI项目

🔗 theregister.com: IBM orders US sales to locate near customers, RTO for cloud staff, DEI purge

IBM要求美国销售团队每周至少3天在客户现场、旗舰办公室或销售中心办公，否则需搬迁。云部门员工也需在7月前回归指定办公室。此举被质疑为变相裁员，因资深员工更可能拒绝调动。同时，IBM削减了DEI（多元平等包容）项目，移除高管激励中的多样性目标，并修改官网内容以淡化相关表述。公司正将招聘重心转向印度，计划在勒克瑙新建软件实验室。这些调整被认为与特朗普政府反DEI政策有关。

9. 如何编写更高效的C++代码

🔗 github.com: Less Slow C++

该项目通过C++20、C99、CUDA和汇编等语言，从数值计算、SIMD到协程、范围库和网络编程，展示了高性能编程的核心技巧。内容涵盖编译器优化、并行算法、内存管理及GPU加速等，帮助开发者避开常见性能陷阱。例如，仅用3行代码即可让std::sin提速40倍，或通过自定义迭代器实现4倍性能提升。项目还对比了不同硬件（如Intel与Nvidia）的优化策略，并提供了详尽的基准测试方法。适合追求极致效率的开发者学习实践。

10. 我痛恨炒作，尤其是AI炒作

🔗 unixdigest.com: I passionately hate hype, especially the AI hype

计算机科学家Emmanuel Maggiori抨击科技行业的过度炒作现象，指出AI热潮中仅10%基于实用工具，其余皆为夸大宣传。炒作导致投资者亏损、企业盲目跟风、个人浪费资源，甚至牺牲隐私与自由。他强调当前AI本质是工具而非智能，企业用其取代人力将自食恶果，并揭露科技公司将传统技术包装为“AI”的营销手段。文末推荐多部深度剖析AI局限性与伦理问题的视频资源，呼吁公众保持独立思考。

11. Python新ASN.1 API：高性能与现代化的密码学工具

🔗 blog.trailofbits.com: A New ASN.1 API for Python

ASN.1是加密、PKI和底层网络协议的核心序列化语言，但现有Python库（如pyasn1）存在性能瓶颈和解析差异风险。PyCA Cryptography团队正开发基于Rust的新API，提供接近原生的解析速度，并采用声明式数据类接口（支持类型提示），同时复用现有X.509解析器以减少安全漏洞。例如，ASN.1结构可直接映射为Python类，简化开发。该项目由Alpha-Omega资助，旨在提升Python生态在密码学和供应链安全领域的可靠性。

12. 围墙花园可能致命

🔗 aneesiqbal.ai: Walled Gardens Can Kill

作者作为长期苹果用户，上周因妻子突发疾病遭遇生态封闭性危机：急需安装阿联酋地区限定的医保App时，苹果系统因区域订阅限制阻止安装和切换账户地区。所幸作者因开发测试保留了安卓模拟器应急，最终通过热点共享在备用安卓手机完成就医手续。此事彻底改变其对封闭生态的看法，现常备安卓机存储医保信息。全球性数字市场法案或能避免类似险境。

13. 超文本电视导航

🔗 hypertext.tv: Hypertext TV

该内容展示了一个复古风格的电视导航界面，包含频道列表、时间表及功能设置选项（如扫描线、亮度调节等）。频道涵盖多元内容（游戏、艺术、音乐等），底部附有测试信息与操作菜单。界面设计模拟老式电视，突出怀旧与实验性交互体验。

14. 等待100年才能获得住房不是危机，而是道德崩塌

🔗 architectsjournal.co.uk: Waiting 100 years for a home isn’t a housing crisis, it’s a moral collapse

作者通过亲身经历反思社会住房的意义：一个女孩因拥有独立房间而重燃学医梦想，揭示了体面居所如何改变人生。然而，英格兰部分地区家庭需等待超过100年才能获得合适的社会住房，164万家庭在排队，16.4万儿童暂居临时住所。这不仅是市场失灵，更是社会道德溃败。文章呼吁政府必须改革规划制度、提供税收激励，并摒弃“市场自会解决”的幻想，因为社会住房是公平社会的基石而非施舍。行业需打破沉默，支持所有可行方案——从提高建筑密度到释放绿地——时间已不等人。

15. 地球深处暗藏生命奥秘

🔗 noemamag.com: There’s Life Inside Earth’s Crust

科学家发现，地球地壳深处存在大量微生物（“地内生命”），它们无需阳光和氧气，通过呼吸砷、铀等元素存活，代谢速度极慢——单个细胞可存活数百万年。这些生命颠覆了传统对生命边界的认知，甚至可能影响全球气候：永久冻土中的微生物若因升温苏醒，或将释放巨量碳加剧变暖，但也可能通过固碳作用缓解危机。此外，它们与金属的互动或为新能源技术提供资源，但深海采矿可能破坏其生态平衡。

16. OpenAI新推理模型幻觉问题加剧

🔗 techcrunch.com: OpenAI’s new reasoning AI models hallucinate more

OpenAI最新发布的o3和o4-mini推理模型在代码和数学任务上表现优异，但幻觉问题（虚构内容）比旧模型更严重。内部测试显示，o3在PersonQA基准测试中幻觉率达33%，是前代模型的两倍；o4-mini更高达48%。第三方机构Transluce发现o3会编造执行过程（如声称在外部运行代码）。OpenAI承认尚未找到原因，推测强化学习可能放大了问题。尽管推理模型能提升效率，但幻觉增加可能限制其商业应用（如法律场景）。结合网络搜索或为解决方案之一。

17. 墨水与开关约束系统：突破性进展（2023年秋）

🔗 inkandswitch.com: Ink and Switch Constraint System (2023)

本文总结了约束系统在动态媒介中的关键作用：它能实现机械构造（如滑轮绳索）的物理模拟、参数化双向计算（如建筑图纸随表格编辑自动更新）。针对传统约束系统的“漂移”、“爆炸”和性能问题，团队通过“已知量传播”和线性关系优化，将变量维度压缩，显著提升求解稳定性与效率。例如，角度约束通过θBA=θAB+π避免冗余计算。此外，“聚类”技术将约束分组独立求解，为并行化奠定基础。系统兼容多种求解器（如梯度下降法），并通过极坐标替代笛卡尔坐标进一步优化。早期测试中，原有不稳定构造在新系统中均运行良好。

18. Attune：快速构建和发布APT仓库的开源工具

🔗 github.com: Show HN: Attune - Build and publish APT repositories in seconds

Attune是一个开源工件注册中心，支持快速搭建和发布Linux软件包仓库。它提供灵活的部署方式（自托管或云端托管），并采用本地签名设计确保密钥安全。当前支持APT（Debian/Ubuntu）仓库，未来将扩展更多格式。通过Docker和CLI工具，用户可在5分钟内完成仓库初始化、添加软件包及签名发布。项目采用Apache 2.0许可证，强调高效（增量索引重建）与安全。

19. Evans《领域驱动设计》示例的UML图解

🔗 github.com: UML diagram for the DDD example in Evans’ book

该项目通过UML图表展示了Eric Evans著作《领域驱动设计》中货运系统示例的结构与行为，基于GitHub上的dddsample-core项目源码绘制。图表涵盖领域模型概览、用户交互流程（如货物跟踪与预订）、系统整体架构（分为预订和运输网络上下文）等核心设计，帮助理解DDD的战略与战术实现。需使用Astah建模工具查看详细模型文件，图表支持类似Google Maps的缩放浏览功能。项目采用CC0许可，引用D3.js等开源库。

20. 电动推进的致命缺陷：锂电在航空与船舶领域为何无法盈利

🔗 kumarletter.com: Electric Propulsion’s Dirty Secret: Why Lithium Can’t Fly (Or Float) Profitably

文章揭露了锂电推进系统在航空和船舶应用中的根本问题：能量密度仅为航空燃油的1/60，且全生命周期存在负能量回报率。锂提取耗水量惊人（每吨50万加仑），电网碳排放因地而异，实际运营成本比传统系统高3.3倍，且充电效率低下导致资产利用率下降22%。作者指出，除非电池技术取得突破性进展（能量密度提升4-5倍），否则锂电推进在经济和环境上均不可行。

21. 大学城：旧时代的都市主义遗产

🔗 governance.fyi: College Towns: Urbanism from a Past Era

本文采访了南加州大学教授Ryan Allen，探讨了大学城如何意外保留了美国步行友好的社区模式。Allen指出，大学周边区域因历史规划避免了郊区化破坏，形成了独特的“战前”社区风貌。他批评了当前高等教育体系的问题，尤其是博士就业市场的崩溃，并强调需警惕盲目攻读博士的风险。此外，文章提到迪士尼乐园高价重现的步行街，讽刺了被郊区开发摧毁的原有城市肌理。Allen认为，大学与社区的矛盾（“城镇与学袍”冲突）源于对发展的抵制，而解决之道在于对抗停滞而非邻避主义。

22. Zig语言与GPU编程的新趋势

🔗 alichraghi.github.io: Zig and GPUs

传统GPU开发依赖复杂的C++工具链，而现代语言如Zig和Rust正简化这一流程。Zig已支持通过SPIR-V（Vulkan/OpenCL）、PTX（NVIDIA）和AMDGCN（AMD）后端直接生成GPU代码，无需依赖CUDA或HLSL。目前，其SPIR-V后端能通过约50%的Zig行为测试（Vulkan）和75%（OpenCL），但地址空间差异和数学指令精度问题仍是挑战。未来计划优化验证工具、增加CUDA/HIP绑定，并扩展标准库的GPU算法支持。

23. 爆料：狗狗币流入后数据泄露，俄罗斯黑客开始登录

🔗 threadreaderapp.com: Whistleblower: Doge came in, data went out, and Russians started to login

据举报人透露，某平台在狗狗币交易激增后发生数据泄露事件，随后出现大量来自俄罗斯的异常登录。事件暴露了平台的安全漏洞，引发对用户隐私保护的担忧。目前具体损失和攻击动机仍在调查中。

24. 当CEO想用AI取代人类时，如何为“人”的价值辩护？

🔗 lewislin.substack.com: Dear Lewis, my CEO wants AI to do it all. How do I argue for humans?

一位销售副总裁在48小时内必须说服CEO：AI无法替代人类销售的核心能力。文章提出HUMAN框架——隐藏情境识别（捕捉潜台词）、统一问责体系（以身作则的领导力）、利益绑定动机（真实风险感）、主动适应性（无剧本决策）和关系网络导航（复杂人际处理）。案例显示，人类通过共情摩托车爱好挽回订单、用个人声誉争取折扣等不可算法化的能力赢得关键交易。最终CEO被说服，批准了人力扩张预算。核心观点：AI优化销售效率，但高价值决策时刻仍需人类智慧。