1. 美国公共广播公司因联邦资金终止宣布停运；
2. 现场编程面试测的是压力，而非编码能力；
3. Gemini 2.5深度思考功能正式上线；
4. 被”取消文化”摧毁的人生；
5. 17岁少女破解40年数学难题：汉娜·开罗的逆袭之路；

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

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

1. 美国公共广播公司因联邦资金终止宣布停运

🔗 cpb.org: Corporation for Public Broadcasting ceasing operations

2025年8月1日，美国公共广播公司（CPB）宣布将逐步停止运营，原因是联邦政府通过的撤销拨款法案及参议院拨款委员会2026财年预算案中首次取消了对其长达50多年的资助。CPB近60年来致力于通过地方电台和制作方合作，为全美社区提供教育内容、本地新闻、应急通讯及文化节目等服务。

CPB总裁帕特里夏·哈里森表示，尽管民众强烈呼吁保留资金，公司仍不得不关闭，并承诺以透明负责的方式完成收尾工作。多数员工将于2025年9月30日离职，小规模过渡团队将留至2026年1月处理财务、版权等后续事宜。哈里森强调，公共广播作为美国最受信任的机构之一，其服务影响深远。

CPB董事会正协同处理法律与运营问题，并将持续向合作方提供指导。该公司自1967年成立以来，一直是联邦资助公共广播的核心渠道，支持全国1500多家地方电台及节目研发。

2. 现场编程面试测的是压力，而非编码能力

🔗 hadid.dev: Live coding interviews measure stress, not coding skills

作者通过亲身经历指出，现场编程面试更多是衡量候选人在高压环境下的表现，而非真实编码水平。四年前他在Toptal面试中未能当场完成题目，但事后轻松解决，研究发现这是由于压力导致前额叶皮层功能受损，影响工作记忆和逻辑思维。微软的一项实验证实：在监考环境下，参与者成绩平均下降50%，且女性通过率为零，凸显这种形式的不公平性。

多数公司误将现场编程视为技术能力测试，但实际它筛选的是抗压能力，而多数工程师的工作并不需要这种特质。作者建议通过模拟面试逐步脱敏，并尝试L-酪氨酸等补充剂缓解压力，同时强调：”不擅长现场编程≠糟糕的工程师，只说明你是正常人。”

3. Gemini 2.5深度思考功能正式上线

🔗 blog.google: Gemini 2.5 Deep Think

Google为AI Ultra订阅用户推出Gemini应用中的Deep Think（深度思考）功能，该功能基于在IMO竞赛中达到金牌标准的Gemini 2.5模型优化而成。此次发布的版本更快速、实用，日常使用可达青铜级IMO表现，同时保留了复杂数学问题的深度推理能力。

Deep Think采用并行思考技术，通过延长推理时间探索多角度假设，结合强化学习提升问题解决能力。其应用场景包括迭代设计、科研数学猜想及复杂编码任务，在LiveCodeBench V6等基准测试中表现优异。

Google强调了对安全性的持续投入，并计划通过API向开发者开放测试。目前订阅用户可在Gemini应用中直接体验，每日限次使用。

4. 被”取消文化”摧毁的人生

🔗 pretty.direct: The untold impact of cancellation

作者详细描述了因2021年两名女性的性行为不端指控而遭遇的公开社会性死亡。作为Scala编程社区的知名开发者，他在毫无预警的情况下被23位社区权威联署公开信谴责，导致声誉崩塌、失业、破产、流离失所。尽管三名女性自发为他辩护，但支持声浪被淹没。

他强调指控缺乏调查程序，且与事实严重不符，但集体审判已造成不可逆伤害：失去毕生经营的社区、开源项目、收入来源，甚至健康。心理重构的长期折磨使他质疑曾倾注热情的社区为何轻易相信片面之词。

疫情加剧了经济困境，最终迫使他无家可归。文中警示网络暴民正义的毁灭性后果，呼吁公众在参与谴责前审慎思考。

5. 17岁少女破解40年数学难题：汉娜·开罗的逆袭之路

🔗 quantamagazine.org: At 17, Hannah Cairo solved a major math mystery

17岁的汉娜·开罗通过自学数学，在加州大学伯克利分校的研究生课程中，成功推翻了困扰数学家40年的Mizohata-Takeuchi猜想。这一成果震惊了数学界，因为该猜想涉及傅里叶限制理论中函数能量的分布规律，而开罗通过构造一个反例证明了其不成立。

开罗成长于巴哈马， homeschool（家庭教育）期间通过Khan Academy和研究生教材自学高阶数学。14岁时，她已掌握本科数学课程内容，后加入伯克利数学圈，并破格进入研究生课堂。在教授张瑞祥的指导下，她从一道课后习题出发，最终构建出颠覆性的函数模型。

数学界评价她的证明“优雅而深刻”，为相关领域开辟了新方向。开罗计划跳过本科，直接攻读马里兰大学博士学位。她的故事展现了自学成才的潜力，也重新定义了数学天才的成长路径。

6. Cerebras推出极速AI编程服务

🔗 cerebras.ai: Cerebras Code

Cerebras发布两款全新AI编程方案：Cerebras Code Pro（50美元/月）和Code Max（200美元/月），均搭载全球顶尖开源编程模型Qwen3-Coder。该模型支持每秒2000 token的极速生成，拥有131k超长上下文窗口，且无专属IDE限制或周限额。

Qwen3-Coder基于阿里巴巴4800亿参数架构，性能媲美Claude Sonnet 4与GPT-4.1，在编程基准测试中表现领先。用户可将服务无缝接入任意支持OpenAI接口的编辑器（如Cursor、Continue.dev等），实现零延迟代码生成。

Pro版适合独立开发者，每日1000次调用；Max版支持5000次/日，满足全栈开发与多智能体系统需求。现无需等待名单，即刻注册即可体验。

7. 美国国家科学基金会暂停陶哲轩研究经费

🔗 bsky.app: NSF has suspended Terry Tao’s grant

据报道，美国国家科学基金会（NSF）已暂停授予数学家陶哲轩的研究经费（资助编号：2347850）。这一消息由科学记者Dan Garisto在Bluesky社交平台上披露，并附上了NSF官方查询链接。陶哲轩是菲尔兹奖得主，其研究项目突然被暂停引发关注，但具体原因尚未公开。Bluesky平台强调其内容依赖JavaScript交互，基础HTML无法完整显示。

8. 用shpool替代tmux：我的开发工作流改造实践

🔗 bower.sh: Replacing tmux in my dev workflow

作者作为tmux的7年资深用户，近期因终端复用器的固有缺陷（如色彩渲染问题、滚动缓冲区操作繁琐、鼠标复制粘贴不稳定、缺乏新协议支持等）开始寻找替代方案。核心矛盾在于：tmux虽提供会话持久化和窗口管理两大核心功能，但其复杂的转义码转换层阻碍了终端生态创新。

通过尝试轻量级工具shpool，作者实现了基于SSH的远程会话管理：利用本地窗口管理器创建终端，通过定制ssh_config自动连接远程shpool会话，配合autossh保持连接。新方案解决了tmux的痛点（如原生滚动、终端标题同步），但也面临重连时终端状态恢复不完善、缺乏多用户协作功能等问题。最终结论：尽管存在瑕疵，shpool+窗口管理器的组合已能完全替代tmux，且带来更“原生”的终端体验。

9. 告别谷歌Play：隐私友好应用迁移公告

🔗 secuso.aifb.kit.edu: Our Farewell from Google Play

SECUSO研究小组自2016年起在Google Play上发布了30多款隐私友好型应用，累计安装量超过35万次，旨在为用户提供无需过度权限的基础功能替代方案。然而，由于维护成本过高，团队决定自2025年起停止在Google Play上更新应用，转而专注于F-Droid平台。

现有用户仍可继续使用已安装的应用，但未来可能因系统升级出现兼容性问题。团队建议用户迁移至F-Droid以获取持续更新，并提供了数据保留的迁移指南。此举凸显了开源平台对小型研究项目的可持续性优势。

10. 谷歌调整goo.gl政策：保留活跃链接，停用闲置短链

🔗 blog.google: Google shifts goo.gl policy: Inactive links deactivated, active links preserved

谷歌原计划于2025年8月25日后全面停用goo.gl短链服务，但根据用户反馈调整了策略：仅停用2024年底前无访问记录的链接，其余链接将长期有效。此前已向闲置链接推送了“该链接即将失效”的提示，受影响用户需尽快迁移至其他短链服务。活跃链接（无提示且可正常跳转）不受影响，用户可通过直接访问链接验证其状态。这一变更旨在保护大量嵌入文档、视频等场景的历史有效链接。

11. FBI未起诉便没收女子4万美元毕生积蓄

🔗 reason.com: FBI seized $40k from Linda Martin without charging her with a crime

2021年，FBI在调查美国私人保险箱公司（U.S. Private Vaults）时，违反宪法第四修正案，搜查了约800个客户保险箱并没收资产，其中包括无辜的琳达·马丁（Linda Martin）的4.02万美元毕生积蓄。尽管法院认定搜查违宪，但FBI仅以数百项模糊罪名（如版权侵权、与朝鲜交易）作为没收依据，未提供具体指控。马丁起诉后两年，FBI虽归还现金，但上周联邦上诉法院以”无管辖权”驳回其诉讼，导致公民无法挑战缺乏正当程序的资产没收。数据显示，93%的联邦没收案未经法庭审理，FBI得以长期保持这一争议做法。

12. Atlassian裁员150人，AI客服方案全面上线

🔗 cyberdaily.au: Atlassian terminates 150 staff

澳大利亚科技巨头Atlassian通过预录视频通知150名员工裁员，主要涉及欧洲客户服务团队。员工需等待15分钟邮件确认去留，被裁者将获6个月薪资补偿。公司强调此举是为适应客户需求变化，因云服务普及后大客户所需支持减少。

同时，Atlassian推出AI嵌入客服系统，前联合CEO Scott Farquhar公开呼吁澳大利亚各界广泛使用AI，称其将重塑行业。尽管公司澄清裁员非AI直接替代，但AI自动化已引发争议，此前澳洲联邦银行也因AI语音客服裁员45人。员工评价称，现任CEO Mike Cannon-Brookes的裁员通知方式”冷淡”，而离职的Farquhar可能更人性化。

13. IRS局长宣布免费报税服务Direct File正式终止

🔗 theverge.com: IRS head says free Direct File tax service is ‘gone’

美国国税局（IRS）局长比利·朗在近期峰会上确认，政府主导的免费报税服务Direct File已被取消，并称该决定与特朗普政府的《大美丽法案》相关。该法案要求成立专项工作组以替代Direct File。该服务于2023年推出，允许纳税人直接免费提交税表，此前已在部分州试点并计划今年推广。

数月来，关于Direct File可能因联邦预算削减被废除的传闻不断。朗的言论进一步印证了这一结果，他甚至表示“更关心直接审计而非Direct File”。民主党议员伊丽莎白·沃伦批评此举是向TurboTax等收费报税公司输送利益。IRS发言人回应称，将等待财政部向国会提交替代方案的报告。

14. 特斯拉因自动驾驶致命事故被判赔偿3.29亿美元

🔗 cnbc.com: Tesla must pay portion of $329M damages after fatal Autopilot crash, jury says

美国佛罗里达州陪审团裁定，特斯拉需对2019年一起自动驾驶致命事故承担部分责任，赔偿受害者家属及幸存者3.29亿美元（含1.29亿补偿性赔偿及2亿惩罚性赔偿）。事故中，车主George McGee在启用Autopilot时弯腰捡手机，车辆以60英里时速撞上路边车辆，导致22岁的Naibel Benavides死亡，其男友Dillon Angulo重伤。

原告律师指控特斯拉虚假宣传Autopilot功能，称其明知系统仅适用于封闭道路却未限制使用场景。特斯拉辩称事故责任在司机，并计划上诉。此案可能影响特斯拉其他十余起类似诉讼，同时美国国家公路交通安全管理局（NHTSA）正调查其自动驾驶安全性。特斯拉股价年内已下跌25%，为科技巨头中表现最差。

15. 比利时封禁互联网档案馆的“开放图书馆”

🔗 torrentfreak.com: Belgium bans Internet Archive’s ‘Open Library’

比利时布鲁塞尔商事法院近期颁布禁令，要求本地互联网服务提供商（ISP）、DNS解析服务（如Google、Cloudflare）、搜索引擎（如谷歌、必应）、支付平台（如PayPal）等广泛中介机构封锁多个盗版图书网站，包括互联网档案馆的“开放图书馆”项目。该平台旨在数字化存档图书并提供借阅服务，但出版商指控其未经授权传播作品，构成“明显且严重的侵权”。

法院单方面下达禁令，未听取互联网档案馆（美国非营利组织）的申辩。除ISP外，禁令还要求移除搜索结果、停用相关广告及支付服务。此前，比利时已因类似封锁导致OpenDNS退出市场。此次行动引发争议，尤其可能影响公有领域内容的合法访问。

16. Anthropic终止OpenAI对Claude的API访问权限

🔗 wired.com: Anthropic revokes OpenAI’s access to Claude

Anthropic于周二撤销了OpenAI对其AI模型Claude的API访问权限，原因是后者违反服务条款。OpenAI被指控利用API将Claude集成到内部工具中，用于测试其编码、创意写作及安全响应能力，并与自家即将发布的GPT-5进行对比。Anthropic发言人强调，条款禁止客户“开发竞争产品”或“逆向工程服务”。

OpenAI回应称，行业通常通过竞品评估提升模型性能与安全性，对其API权限被撤表示遗憾。Anthropic称将保留OpenAI的基准测试权限，但未明确具体限制范围。此前，Anthropic曾以类似理由终止AI编程初创公司Windsurf的访问。此次事件再次凸显科技公司通过API限制打压竞争对手的行业常态。

17. 长期支持承诺：SQLite的2050愿景

🔗 sqlite.org: Long Term Support

SQLite开发者承诺将持续维护这一轻量、快速、可靠的数据库至2050年，并通过多项措施确保其长期可用性。跨平台兼容性使其能在任何支持C编译器的系统运行，且数据库文件格式位级一致，无需转换即可跨系统迁移。代码通过航空级测试（每分支指令多平台验证）和详尽的文档（源码35%为实用注释）保障可维护性。

此外，源码历史通过加密多地域备份，开发者分布全球以抵御灾难。SQLite坚持稳定优先，拒绝追逐技术潮流，保证API和磁盘格式的向后兼容性，甚至被美国国会图书馆推荐为数字存档格式。其目标是让今日存储的数据在未来数十年仍可无障碍访问。

18. 咖啡电脑：用热咖啡给CPU散热的复古改造

🔗 dougmacdowell.com: Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU

艺术家Doug MacDowell将一台1980年代的GE Coffeematic滴漏咖啡机改造成兼具游戏电脑和咖啡制作功能的Coffeematic PC。这台机器通过泵送90℃的热咖啡流经CPU散热器，以荒诞的方式实现“冷却”，最终系统温度稳定在33℃。硬件由回收的2000年代主板、处理器与现代水泵等拼凑而成，操作系统为Linux Mint。

该项目延续了2002年以来的咖啡机电脑传统，但首次用咖啡作为冷却液。MacDowell还通过手绘数据可视化探讨了此类创作在2002-2018年间神秘中断15年的现象，并举办展览《Sparklines》展示相关研究。

19. OpenAI在Hugging Face泄露1200亿参数开源模型

🔗 twitter.com: OpenAI Leaks 120B Open Model on Hugging Face

该内容显示网页因JavaScript被禁用无法正常加载，提示用户启用JavaScript或更换支持的浏览器，并列出了相关帮助链接。页面底部标注了X Corp的版权信息和隐私条款，同时建议关闭可能导致问题的隐私扩展插件后重试。值得注意的是，正文标题提及的OpenAI模型泄露事件未在具体内容中展开，可能因技术故障导致信息缺失。当前页面主要聚焦于解决浏览器兼容性问题，而非详细说明模型泄露细节。

20. Facebook如何拦截竞争对手加密应用流量？(2024年)

🔗 haxrob.net: How did Facebook intercept competitor’s encrypted mobile app traffic? (2024)

根据针对Meta的集体诉讼法庭文件显示，Facebook可能通过名为“ssl bump”的技术（基于Squid缓存代理的透明代理功能）拦截并解密用户加密HTTPS流量，涉嫌违反《窃听法》。该技术通过其旗下Onavo Protect安卓应用（安装量超1000万）诱导用户安装由”Facebook Research”颁发的CA证书，从而实现对Snapchat、YouTube和亚马逊等特定域名的TLS流量解密。

法庭文件指出，该证书由服务器生成并下发至设备，早期版本甚至直接内置在2016年发布的App中。尽管安卓系统后续升级（如Android 7后禁用用户证书信任）限制了此技术，但当时Snapchat等应用未启用证书固定（certificate pinning），导致漏洞可被利用。此外，Facebook还曾考虑滥用安卓辅助功能API作为替代方案，引发伦理争议。

该行为与其2013年1.2亿美元收购Onavo的动机吻合——通过VPN权限收集用户数据及竞品分析。2019年Onavo因隐私问题被下架，但技术细节通过存档应用包得以曝光。当前法律争议焦点在于拦截行为是否合法，而技术层面因安卓安全强化已无法复现。

21. “苦头教训”是否存在边界？

🔗 dbreunig.com: Does the Bitter Lesson Have Limits?

文章探讨了AI领域著名的“苦头教训”（由Rich Sutton提出）——即依赖计算规模化的通用方法最终会远超人工设计的特定方案。这一理论在棋类游戏、语音识别等领域得到验证，但作者指出其局限性：高质量数据依赖（许多组织难以明确定义目标）和计算效率问题（如国际象棋引擎Stockfish通过混合方法击败纯深度学习模型）。此外，企业流程的”垃圾桶模型”（混乱非结构化）使AI规模化应用面临挑战。核心矛盾在于：通用计算虽能突破认知边界，但特定场景仍需结合人类经验与精简模型，尤其在数据难以量化或计算成本过高时。文章最终建议辩证看待该理论，平衡效率与实用性。

22. GPT-5疑似已通过API提前泄露

🔗 old.reddit.com: GPT-5 is already (ostensibly) available via API

Reddit用户发现OpenAI的Chat Completions API中隐藏了一个名为gpt-5-bench-chatcompletions-gpt41-api-ev3的模型，推测可能是未发布的GPT-5测试版本。用户通过curl调用该模型并生成复杂SVG图像（如鹈鹕骑自行车），其细节处理能力远超GPT-4，引发社区热议。

关键争议点包括：

1. 模型命名中的“gpt41-api”可能暗示需新API参数支持，但当前版本兼容GPT-4.1接口；
2. 用户测试显示模型拒绝承认自身为GPT-5（称是GPT-4o-mini），但开发者指出AI常误报版本信息；
3. OpenAI未公开回应，且部分账户调用时返回“模型不存在”错误，疑似存在灰度测试。

目前尚无法确认是否为真正的GPT-5，但性能表现已显著优于现有模型。

23. 深度智能体的核心架构

🔗 blog.langchain.com: Deep Agents

当前主流的智能体架构是通过循环调用工具的简单LLM实现，但这类“浅层智能体”难以处理复杂长期任务。研究发现，深度智能体（如Claude Code和Manus）通过四大核心组件突破局限：详细系统提示（含多示例指令）、规划工具（如虚拟待办清单）、子智能体系统（分解任务）和文件系统（存储上下文）。这些设计使智能体能进行长期规划、深度研究及编码等复杂操作。作者据此开源了deepagents框架，内置上述组件并支持自定义，用户可通过pip安装快速构建垂直领域深度智能体。

24. 海勒姆定律：当用户足够多，实现细节即接口

🔗 hyrumslaw.com: Hyrum’s Law

该定律指出：当API用户数量足够大时，无论接口如何设计，系统的所有可观察行为都会被某些用户依赖。即使接口试图隐藏实现细节（如性能、未承诺的行为），用户仍会基于实际使用形成隐式接口，导致任何实现变更都可能破坏依赖这些细节的代码。这种现象被称为“漏洞兼容性”，最终使实现本身成为事实接口。

作者Hyrum Wright（Adobe首席科学家）从谷歌基础设施改造经验中总结此规律，强调在复杂系统中，隐式接口会随用户增长自然形成，并严重限制系统演进。设计者需提前预见这一约束，因为“流行系统的接口边界远比想象中更深”。

25. 糟糕的用户体验

🔗 google.com: Bad UX

这段内容展示了典型的用户体验问题：当用户未被自动重定向时，页面显示“请点击此处”的提示，并提供了备用链接和反馈渠道。这种设计暴露了系统延迟和引导不明确的缺陷，可能让用户感到困惑或不满。反馈选项虽存在，但被动解决方案无法弥补即时体验的断裂感。