1. 人类需要数百年才能解决的难题；
2. 环球影业1936年经典片头是如何制作的？；
3. MacBook Pro 夜间耗电问题解决记；
4. 2024年曾反对ChatControl的多国现态度动摇；
5. 我试用了Servo浏览器引擎；

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

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

1. 人类需要数百年才能解决的难题

🔗 michaelnotebook.com: Slow

这篇文章探讨了人类需要极长时间才能完成的项目，以及如何建立相应的长效机构来推动这些目标。文中列举了多个跨越数十年甚至千年的案例，例如：费马大定理的证明依赖了几个世纪的数学积累，巴黎圣母院和圣家堂的建造耗时数百年，而LIGO引力波探测器从设计到成功探测跨越了近50年。

其他例子包括弗明汉心脏研究（始于1948年）、沥青滴漏实验（持续近百年）以及“万年钟”计划（目标运行1万年）。这些项目展现了人类对长期目标的坚持，同时也引发思考：哪些项目必须耗时漫长，哪些本可加速完成？文中强调，这类长期工程不仅需要技术积累，更依赖制度与文化的延续性。

2. 环球影业1936年经典片头是如何制作的？

🔗 movies.stackexchange.com: How was the Universal Pictures 1936 opening logo created?

这段内容揭秘了环球影业1936年标志性片头的制作过程。该片头采用实体模型而非数字技术，由艺术总监Alexander Golitzen主导，融合了当时盛行的装饰艺术风格。核心元素包括：

1. 旋转星星：用超薄有机玻璃制成，表面涂覆高反射性硫化锌，通过独立旋转和移动灯光营造动态光效；
2. 地球模型：内层涂半稀释磷光材料，外层为黑色，通过双重曝光技术将星星投影与实体模型结合；
3. 手工操作：标题文字通过手工旋转的抛光黑球呈现，最终叠加三层胶片完成效果。

整个制作耗时半年，甚至后来在1955年电影《地球停转之日》中，该模型还被改造成道具复用。这一工艺展现了早期电影人对细节的极致追求。

3. MacBook Pro 夜间耗电问题解决记

🔗 manuel.bernhardt.io: MacBook Pro Insomnia

多年来，我的MacBook Pro M1 Max一直运行良好，但近期突然出现夜间未充电时电池异常耗尽的问题。通过终端命令pmset -g log查看电源管理日志后，发现信息冗长难读，遂自制工具分析，但效果有限。随后使用Sleep Aid工具，发现“Wake for maintenance”选项被禁用可能导致频繁唤醒。重新启用该功能后，笔记本夜间不再异常耗电，问题得以解决。

4. 2024年曾反对ChatControl的多国现态度动摇

🔗 digitalcourage.social: Many countries that said no to ChatControl in 2024 are now undecided

多国此前明确反对欧盟提出的ChatControl（在线聊天监控法案），但最新进展显示这些国家的立场已转为未定状态。该法案要求科技公司对加密通讯进行扫描以打击儿童性侵内容，但引发隐私权与执法效能的激烈争议。目前部分国家正重新评估立场，可能导致欧盟内部协商出现变数。

5. 我试用了Servo浏览器引擎

🔗 spacebar.news: I tried Servo

文章回顾了浏览器引擎的发展史：从早期Internet Explorer的Trident、Opera的Presto等多元竞争，到如今Chromium垄断市场（如Edge、Brave等均基于其代码），仅剩Firefox（Gecko引擎）和Safari（WebKit）独立支撑。这种垄断威胁开放网络，使标准受制于单一实现的安全与功能缺陷。

Servo作为全新引擎，用Rust语言编写，主打多线程渲染与内存安全，由Linux基金会欧洲分会管理，目标成为可嵌入的通用渲染引擎（如替代Electron）。目前虽不成熟（部分网页渲染错误，性能落后于主流），但潜力显著。

有趣的是，Servo原是Mozilla项目，曾计划逐步替换Firefox的Gecko引擎（2017年其CSS引擎已成功整合），但2020年裁员导致项目搁浅，后由社区接手重启。文章最后探讨了Firefox若因谷歌反垄断案失去收入可能转向Chromium，而Servo或社区版Gecko或成新希望。

6. 住房“反过剩”批判大错特错

🔗 derekthompson.org: The anti-abundance critique on housing is wrong

本文驳斥了反垄断左派关于大型建筑商垄断导致住房危机的核心观点。作者通过调查发现，反垄断阵营引用的关键论据存在严重问题：经济学家Luis Quintero承认其研究被错误套用于达拉斯市场（该市前六大建筑商仅占50%份额），且全美50大住房市场中仅1个符合其垄断标准。此外，被频繁引用的行业专家John McManus和Lance Lambert均表示，土地管制和分区法规才是推高房价的主因，而非建筑商垄断。数据显示，达拉斯人均住房许可量持续上升，与垄断抑制供应的说法矛盾。文章指出，反垄断派的论证依赖断章取义的引用和缺乏证据的断言，而放松 zoning 限制才是解决住房短缺的关键。

7. AI是能力垫高器，而非上限突破器

🔗 elroy.bot: AI is a floor raiser, not a ceiling raiser

AI重塑了学习曲线，它能根据学习者的现有水平提供个性化支持，解决传统资源匹配难题：新手无需纠结先修技能，进阶者能精准突破瓶颈。但精通领域仍面临挑战——AI在复杂、争议性话题或专业深度场景中表现有限，因其训练数据存在天然边界。

技术变革带来分化：工程管理者可借助AI快速实现原型开发，而大型代码库开发者获益有限；创意产业因人类对新颖性的高需求，AI难以颠覆头部内容。日常场景（如邮件管理、外卖应用）因现有工具已高度优化，AI加成效果微弱。

本质上，AI显著提升了知识工作的基础效率，但影响程度取决于领域对”精通”的依赖。有人拥抱变革，有人担忧替代，也有人难觅其用——这恰是技术红利分布不均的写照。

8. 计算机音乐入门指南

🔗 cmtext.com: Introduction to Computer Music

这本由Jeffrey Hass教授编写的电子教材，最初为计算机音乐初学者设计，涵盖声学（声音属性与感知）、录音设备（麦克风与混音技术）、MIDI协议、合成技术（波形与数字合成语言）、数字音频（采样与转换原理）及电子音乐发展史等核心内容。教材自2004年首版以来持续更新，兼顾作曲家、音频工程师与音乐技术爱好者的需求，提供免费学习资源。作者为印第安纳大学电子音乐中心前主任，拥有近四十年教学经验。书中包含交互式弹窗注释与实用附录（如音高频率对照表），强调知识深度与实践结合。

9. Ubiquiti推出UniFi OS Server，支持自托管网络服务

🔗 lazyadmin.nl: Ubiquiti launches UniFi OS Server for self-hosting

Ubiquiti近日发布UniFi OS Server早期测试版，用户可在自有硬件上托管完整的UniFi网络套件，包括UniFi Network和InnerSpace，并首次支持运行UniFi Identity。安装需满足存储（至少20GB）、系统（Windows需WSL 2，Linux需Podman 4.3.1+）及开放指定端口等要求。

Windows安装流程简单，下载后按向导操作即可，完成后需通过Ubiquiti账户登录以实现远程管理功能（如云备份、Teleport VPN等）。Linux用户可通过命令行安装，但需手动配置SSL证书。当前版本存在短暂显示“UniFi Network离线”的已知问题，但会快速恢复。

文章还提到用户期待未来加入UniFi Protect功能，并附有相关教程链接。

10. 美国参议员提出新法案《阻断不良电子艺术与录音传播者法案》（Block BEARD），拟授权封禁盗版网站

🔗 torrentfreak.com: U.S. senators introduce new pirate site blocking bill, “Block BEARD”

美国参议员蒂利斯、库恩斯、布莱克本和希夫提出一项名为《阻断不良电子艺术与录音传播者法案》（Block BEARD）的两党提案，旨在修订版权法，允许权利持有人向联邦法院申请将境外网站认定为“外国数字盗版网站”。若获批准，法院可命令美国互联网服务提供商（包括宽带运营商、搜索引擎等）屏蔽这些网站。

法案要求权利持有人证明网站以盗版为主要目的、已尝试通知运营者且其位于境外。法院还需评估封禁的技术可行性及对公共利益的影响。封禁令有效期一年，可延期或更新以覆盖新域名。小型服务商（如用户少于5万的ISP）及公共场所网络被豁免。

该法案与众议员洛夫格伦早前提出的《外国反数字盗版法案》（FADPA）类似，并获美国唱片业协会（RIAA）和电影协会支持，认为其“兼顾效率与言论自由”。但法案未明确要求封禁过程透明化，也未提及VPN是否受限。目前尚未见互联网服务商的公开回应。

11. 开源FLUX.1 Krea模型权重发布

🔗 krea.ai: Releasing weights for FLUX.1 Krea

过去14个月，Krea团队在旧金山客厅中以8人规模创造了惊人成绩：推出50+重大产品更新、用户突破2000万、收入增长20倍。这家始终低调的公司首次公开数据，并宣布完成8300万美元融资（投资方包括Bain Capital、a16z等），团队现已扩展至17人。

Krea致力于用AI赋能创意工作者，认为AI不会取代创造力，而是打破媒介壁垒的新工具。其产品已实现跨领域创作——音乐人制作视觉作品、祖母重拾绘画，核心在于通过迭代对话让AI成为可控的创意伙伴。

公司成立Krea AI研究实验室，聚焦美学理解、控制模块和个性化推荐，即将发布新一代模型。未来愿景是构建实时生成沉浸式数字世界的多模态系统，重塑创意表达方式。团队正招募人才，邀请志同道合者加入这场革新。

12. 丹佛房租回落至2022年水平，新增2万套房源压低租金

🔗 denverite.com: Denver rent is back to 2022 prices after 20k new units hit the market

丹佛都会区公寓租金持续下跌，2024年第二季度平均租金同比下降3.7%，目前月均1,832美元（较年初下降71美元），已回落至三年前水平。这是15年来首次出现租金持续下降，主要因近年建筑热潮导致房源过剩（2024年新增约2万套），房东不得不通过降价和免租期等优惠吸引租客。

尽管春季搬家季带来0.7%的短期租金上涨，但涨幅远低于往年平均水平，且空置率仍达6.4%（单间公寓空置率最高为8.4%）。报告指出，当前在建公寓数量较2023年峰值减少三分之一，未来新增房源放缓或使租金再度回升。

13. 恭喜，你当上管理者了

🔗 scottkosman.com: So you’re a manager now

从执行者转变为管理者意味着你的核心职责不再是亲力亲为，而是搭建体系、消除障碍、赋能团队。你会犯错，但关键是以坦诚和成长心态面对，因为团队需要的是真实而非完美的领导者。清晰沟通是管理者的隐形超能力——模糊的期望会消耗团队精力，而明确的定义能减少内耗。

若上级优秀，主动学习其经验；若上级糟糕，警惕别被同化。管理消耗情绪能量，需通过自我调节（如休息、复盘）避免隐性倦怠。你的成功将体现在团队成就中，而非个人光环。最后记住：真正的领导力是带着谦逊与同理心，让工作环境变得更好。

14. 内核引入QUIC协议支持

🔗 lwn.net: QUIC for the kernel

QUIC（快速UDP互联网连接）是一种现代传输层协议，旨在解决TCP的延迟、多流支持和中间件干扰等问题。尽管QUIC已在用户空间广泛应用（如谷歌服务器和浏览器），但其内核支持一直进展缓慢。2025年7月，开发者Xin Long提交了首个Linux内核QUIC实现补丁集，计划通过新增IPPROTO_QUIC协议类型集成到内核网络栈中。

该设计保留了类似TCP的套接字API（如bind()、connect()），但将复杂的TLS握手交由用户空间处理（借助libquic和tlshd工具）。目前性能测试显示，内核QUIC的吞吐量显著低于TCP和内核TLS，主因包括缺乏分段卸载支持和加密开销，但未来硬件加速有望改善。

尽管性能暂未优化，已有项目（如Samba、curl）计划适配内核QUIC。不过，完整合并可能需等到2026年，因代码审查量庞大（首补丁超9000行）。此外，社区讨论了Rust实现QUIC的可能性，但现有开源实现多为BSD/MIT许可，兼容内核许可要求。

15. Gemini嵌入模型：推动RAG与上下文工程的技术突破

🔗 developers.googleblog.com: Gemini Embedding: Powering RAG and context engineering

谷歌Gemini嵌入模型自发布以来，已被开发者广泛用于构建高级AI应用。除传统任务（如分类、语义搜索和检索增强生成（RAG））外，该模型通过上下文工程技术为AI代理提供完整操作背景，高效整合文档、对话记录等关键信息至工作内存。

典型案例包括：

• Box利用该模型解析多语言复杂文档，答案准确率达81%，召回率提升3.6%；
• 金融科技公司re:cap在2.15万笔交易分析中，F1分数较旧模型提升1.9%，优化了流动性洞察；
• 法律平台Everlaw在140万份专业文本中实现87%语义匹配准确率，并借助Matryoshka特性降低存储成本；
• 开发者工具Roo Code通过增强代码语义搜索，显著提升查询灵活性；
• 心理健康应用Mindlid实现420毫秒延迟和82%召回率，提供实时个性化支持。

该模型的高效嵌入能力（如邮件助手Poke处理速度提升90.4%）正推动下一代自主AI系统的演进。性能数据由合作方提供，未经谷歌独立验证。

16. 霍利与民主党联手推动国会股票交易禁令

🔗 cbsnews.com: Hawley and Democrats vote to advance congressional stock trading ban

共和党参议员乔希·霍利与民主党合作，推动一项禁止国会议员买卖或持有个股的法案。该法案以8比7的票数在参议院国土安全委员会通过，霍利是唯一支持该法案的共和党人。法案要求议员及其配偶在180天内清仓个股，并每年提交合规证明，同时禁止总统和副总统任职期间交易股票。

霍利称盲信托是“变相规避手段”，而共和党参议员里克·斯科特则反驳称“攻击富人令人作呕”。前众议院议长佩洛西表态支持，特朗普虽最初表态“原则上赞同”，但随后在社交媒体抨击霍利是“二流参议员”。

该法案比现行《股票法》更严格，但能否在共和党控制的参议院全院表决通过尚不确定。霍利此前类似提案曾搁浅。

17. 安全启动证书轮换确实存在，但可能不会影响你

🔗 mjg59.dreamwidth.org: Secure boot certificate rollover is real but probably won’t hurt you

文章澄清了关于微软安全启动证书即将到期会导致Linux系统无法启动的误解。实际上，大多数系统已内置两个根证书（如Microsoft Corporation UEFI CA 2011），且证书过期后仍能正常工作，因为UEFI固件不强制验证时间有效性。微软将启用新证书链，但厂商会通过更新确保新旧系统兼容。最坏情况仅是部分旧设备需手动更新证书库，但现有系统不会因此崩溃。关键问题在于微软是否同时用新旧证书签名，而Linux发行版可通过保留旧版Shim避免依赖新证书。

18. Carbon语言：C++的实验性继任者

🔗 docs.carbon-lang.dev: Carbon Language: An experimental successor to C++

Carbon是一种实验性的高性能编程语言，旨在成为C++的现代化继任者。其核心目标包括与C++无缝互操作、提供现代语言特性（如安全的泛型系统和内存安全支持），同时保持与C++相近的性能。Carbon设计注重易学性，尤其适合C++开发者，并计划通过工具链支持逐步迁移现有C++代码。

目前，Carbon仍处于早期开发阶段，但已提供实验性工具链供测试。项目强调开源社区协作，欢迎开发者参与设计或实现。长期愿景包括解决C++的技术债务问题，并通过内存安全子集提升代码安全性。

19. 开源工具mcp-use：轻松连接LLM与MCP服务器的桥梁

🔗 github.com: Show HN: Mcp-use – Connect any LLM to any MCP

mcp-use是一个开源工具，旨在无缝连接任何大型语言模型（LLM）与模型上下文协议（MCP）服务器，支持开发者快速构建具备工具调用能力的自定义代理。其核心优势包括：

• 极简集成：仅需6行代码即可创建支持MCP的代理，兼容LangChain生态下的主流LLM（如OpenAI、Anthropic、Llama等）。
• 多服务器动态调度：支持同时连接多个MCP服务器（如Playwright网页操作、Airbnb数据抓取、Blender 3D建模），并智能选择最优服务。
• 安全控制：可限制高风险工具（如文件系统或网络访问），提供沙盒环境运行保障安全性。

通过配置文件或代码，开发者能快速实现网页搜索、自动化任务等场景，并实时流式获取代理执行结果。项目已在GitHub获5.1k星，MIT协议开源。

20. gVisor：更安全的容器隔离方案

🔗 blog.yelinaung.com: What is gVisor?

gVisor是一种基于用户空间的内核抽象层，作为容器与主机Linux内核之间的中间人运行。它通过拦截系统调用并交由自身组件Sentry处理，减少主机内核的直接暴露，从而提升安全性。与标准Docker容器共享内核不同，gVisor的沙箱机制能有效防御如CVE-2019-5736这类容器逃逸漏洞，即使攻击突破应用层，仍需攻破Sentry才能威胁主机。

其优势包括：缩小攻击面（仅部分系统调用透传至主机）、内存安全（基于Go语言开发）及强隔离性。但代价是性能开销，尤其对高频I/O操作影响显著。实际应用中，GKE沙箱环境等场景采用gVisor，而部分平台（如CloudRun）因性能需求转向其他方案。

总结：gVisor适合多租户或运行不可信代码的场景，需权衡安全与性能。

21. 猎户座浏览器：快速、隐私至上的跨平台浏览器

🔗 kagi.com: Orion Browser

猎户座浏览器（Orion）由Kagi开发，是一款基于WebKit内核的轻量级浏览器，原生支持macOS、iPhone和iPad。它以极速性能和零用户数据收集为核心优势，内置广告拦截器，并支持Chrome和Firefox的扩展插件，成为首个允许iOS用户直接安装这些扩展的浏览器。

其隐私设计尤为突出，默认屏蔽广告与追踪器，且不收集任何用户数据。此外，猎户座深度整合苹果原生技术（如Keychain和Live Text），提供流畅的本土化体验。目前仍处于测试阶段，未来计划扩展至更多平台。

猎户座完全由用户资助，无广告或第三方合作，用户可通过订阅Orion+获得完整功能。现提供macOS和iOS/iPadOS版本下载。

22. 网络消费陷阱：警惕“暗黑模式”的操控手段

🔗 nsw.gov.au: Dark patterns

暗黑模式指网站或应用通过设计技巧诱导用户超额消费或泄露隐私数据的行为。常见手法包括：

1. 隐藏费用：结账时突然出现的附加费用，或默认勾选的付费服务（如自动续费会员）。
2. 误导性选项：模糊措辞（如“继续”可能实为取消订阅）或突出“同意”按钮，弱化拒绝选项。
3. 稀缺暗示：虚假库存提示（“仅剩4件”）或倒计时，制造紧迫感促使用户冲动消费。

其他手段还包括利用他人活动通知（如“15人正在浏览”）施加心理压力，或用羞辱性话术（如“我宁愿原价购买”）迫使用户妥协。此外，强制连续性（退订困难）和数据攫取（过度索要个人信息）也属常见陷阱。

了解这些手法可帮助消费者识别并避免被操控。

23. 用6行HTML代码让网站加载速度飞起

🔗 docuseal.com: The Chrome Speculation Rules API allows the browser to preload and prerender

Chrome推出的推测规则API（Speculation Rules API）允许开发者通过声明式代码指导浏览器预加载（prefetch）或预渲染（prerender）页面，实现近乎瞬时的导航体验。只需在网页<head>中添加一段包含规则配置的脚本，浏览器即可在用户悬停链接200毫秒后触发预加载（仅下载HTML）或预渲染（完整渲染页面及资源）。例如，文档签署平台docuseal.com已用此技术替代Hotwired Turbo，显著提升重页面加载速度。

目前该API仅支持Chrome 121+，但文中提供了兼容Firefox/Safari的备用方案：通过监听悬停事件手动预加载链接，并依赖Cache-Control头部确保缓存生效。预渲染虽效果最佳，但需注意浏览器兼容性与资源消耗的平衡。

24. GEPA：基于反思的提示进化算法超越强化学习

🔗 arxiviq.substack.com: GEPA: Reflective prompt evolution can outperform reinforcement learning

这篇论文提出了一种名为GEPA（Genetic-Pareto）的新型算法，通过自然语言反思和进化策略优化AI系统的提示（prompt），显著优于传统强化学习（RL）方法。GEPA的核心创新在于让大语言模型（LLM）分析自身执行过程的文本反馈（如推理步骤、工具调用和错误信息），生成针对性的提示改进方案，并结合帕累托选择机制保持策略多样性。实验显示，GEPA平均性能比RL方法GRPO高10%，且样本效率提升35倍，甚至超越当前最优提示优化器MIPROv2。该研究揭示了语言反思在AI系统优化中的巨大潜力，为数据稀缺或计算成本高的场景提供了更高效的解决方案。

25. Ursa：基于无领导架构的对象存储，替代Kafka的新选择

🔗 streamnative.io: Ursa: A leaderless, object storage–based alternative to Kafka

Ursa是由StreamNative推出的无领导架构数据流引擎，兼容Kafka API，可直接将数据写入低成本对象存储（如Iceberg/Delta Lake），显著降低总拥有成本（TCO降低95%）。其核心优势包括：无需ZooKeeper管理、支持多协议（Kafka与Pulsar统一）、原生集成Snowflake Open Catalog，并实现每秒5GB高吞吐量（成本仅为传统方案的5%）。Ursa现已正式发布，适用于AWS云环境，提供实时流处理与湖仓一体化的无缝整合，助力企业构建高效、弹性的实时数据架构。