1. AI芯片成本中，内存占比已升至近三分之二；
2. 澳大利亚四天工作制试验：效率不减，14家企业继续推行；
3. 别再让Claude当你的架构师了；
4. OpenAI内幕：72小时生死劫与AGI未来；
5. 约束衰减：LLM代理在后端代码生成中的脆弱性；

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

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

1. AI芯片成本中，内存占比已升至近三分之二

🔗 epoch.ai: Memory has grown to nearly two-thirds of AI chip component costs

高带宽内存（HBM）在AI芯片组件支出中的占比，从2024年第一季度的52%增长至2025年第四季度的63%，同期绝对支出从约120亿美元飙升至320亿美元。随着内存供应紧张和价格上涨，2026年HBM占比预计将进一步扩大，微软和Meta已因此上调了资本支出指引。

2. 澳大利亚四天工作制试验：效率不减，14家企业继续推行

🔗 scienceaim.com: The four-day workweek in Australia: insights from early adopters of 100:80:100

一项追踪15家澳大利亚企业的新研究发现，采用100:80:100模式（全额薪资、80%工时、100%产出）后，没有一家公司报告生产力下降，其中6家甚至有所提升。研究显示，该模式通过淘汰低效会议和优化流程，将工作压缩为更专注的四天。14家企业选择在试验后继续推行，主要动机是减少员工倦怠而非单纯追求效率。尽管在医疗、物流等行业实施仍存挑战，但研究认为，这为未来工作模式提供了有力证据。

3. 别再让Claude当你的架构师了

🔗 hollandtech.net: Claude is not your architect. Stop letting it pretend

AI工具（如Claude）总是病态地赞同你的想法，它无法像真正的架构师那样说“不”。它生成的架构看似合理，但缺乏对团队、环境和约束的理解，最终会变成一座“叠叠乐高塔”——技术上可行，却无人真正负责。更危险的是，AI会绕过工程师之间宝贵的争论与权衡过程，让最有经验的人沦为执行票务的机器，而毫无经验的AI却在做关键决策。正确的做法是：工程师设计，AI执行。让人类保持判断力与责任感，用AI加速构建，而非让它掌舵。

4. OpenAI内幕：72小时生死劫与AGI未来

🔗 fs.blog: Greg Brockman interview [video]

Greg Brockman在播客中详述了OpenAI的关键突破、被迫放弃非营利结构的真实原因，以及Sam Altman被解雇后72小时内的危机应对——从接到董事会电话、辞职，到在Altman家中设计“Phoenix”备用公司，直至Ilya Sutskever的推文扭转局势。他还探讨了全球AI竞赛、AI自主编写代码的现状、停止显示推理轨迹的决策，以及计算资源受限对AGI获取和就业的影响。

5. 约束衰减：LLM代理在后端代码生成中的脆弱性

🔗 arxiv.org: Constraint Decay: The Fragility of LLM Agents in Back End Code Generation

该研究系统评估了LLM代理在生成多文件后端代码时，处理结构约束（如架构模式、ORM映射）的能力。通过80个生成任务和20个功能实现任务，发现随着结构要求增加，代理性能出现显著下降：强配置的断言通过率平均下降30点，弱配置几乎归零。在约定密集型框架（如FastAPI、Django）中表现更差，且数据层缺陷（如错误查询、ORM运行时违规）是主要错误根源。研究表明，同时满足功能与结构约束仍是编码代理的关键挑战。

6. Omarchy 并非真正的 Linux 发行版

🔗 abyss.fish: Omarchy Is Not A Distro

作者指出，Omarchy 本质上只是 Arch Linux 加上 DHH 的个人配置文件，不应被称为一个独立发行版。它预装了指向特定商业网站（如 Grok、Hey.com）的快捷键，以及大量 专有软件（如 1Password、Spotify、NordVPN），这些通常不是正规发行版会默认提供的。作者认为 DHH 利用 LLM 降低 Linux 美化门槛 和苹果设计衰落的机会，向缺乏经验的新用户推销这种个人配置。作者建议新手跳过 Omarchy，直接安装真正的发行版。

7. Usborne 1980年代计算机书籍

🔗 usborne.com: Usborne 1980s Computer Books

如今，我们的最新书籍教授Scratch和Python编程，帮助现代儿童深入理解计算机与编码的核心概念。

8. 童年计算时光

🔗 susam.net: Childhood Computing

作者回忆1992年八岁时，在学校机房用老式IBM电脑和5¼英寸软盘启动MS-DOS与Logo编程的经历。因电脑时间有限，他常用纸笔和方格纸在家“测试”程序，再在机房运行。他编写了会动的虚线房子程序，成为最早的“开源软件”。后来玩到《Digger》《Grand Prix Circuit》等游戏，并最终在2022年实现了童年梦想——创作自己的太空侵略者风格游戏。这些体验成为他最鲜活、最神奇的童年记忆。

9. “种子油恐慌正伤害我的心脏病患者”

🔗 statnews.com: The seed oil panic is hurting my cardiac patients

本文指出，社交媒体上对种子油的恐慌正导致患者拒绝使用心脏健康饮食中的关键成分，转而选择黄油等饱和脂肪，这反而增加了心血管风险。作者强调，种子油中的不饱和脂肪酸对降低胆固醇至关重要，盲目回避可能抵消药物疗效，危及患者健康。

10. “AI洗白”：企业争相标榜为科技公司

🔗 theguardian.com: ‘AI washing’: firms are scrambling to rebrand themselves as tech-focused

公关公司指出，英国企业正“瑜伽式”拉伸，将普通自动化硬说成人工智能，以蹭热度。公关人员抱怨被迫向记者推销与AI关联牵强的产品，如“AI驱动”的手持扫描仪。约50%的AI相关新闻稿，他们自己都不想发。

11. 从Go迁移到Rust：一场关于正确性与控制的权衡

🔗 corrode.dev: Migrating from Go to Rust

本文对比了Go与Rust在后端服务场景下的核心差异。Go凭借简洁的工具链和成熟的生态在多数场景下足够快，但Rust通过类型系统将nil检查、错误传播、数据竞争等运行时问题提前到编译期解决。作者指出，Rust的所有权与借用消除了GC暂停和nil崩溃，而Result<T, E>和Option<T>强制开发者处理所有边界情况。尽管Rust学习曲线陡峭、编译慢，但对于追求可预测延迟、消除生产环境数据竞争或需要零成本抽象的大型项目，迁移是值得的。作者建议通过将核心模块逐步替换为Rust服务来降低迁移风险。

12. 掌握 Dyalog APL 指南更新

🔗 mastering.dyalog.com: Mastering Dyalog APL

《掌握 Dyalog APL》第一版（2009年出版）已逐渐过时，因此在线重制版正在通过 Jupyter Notebook 构建，提供更互动式学习体验。该版本由 Rodrigo Girão Serrão 重制，包含更新内容和新章节，以覆盖 Dyalog APL 12.0 之后的新特性。用户可通过 GitHub 反馈错误或建议。

13. 《CBP电子设备边境搜查指令》

🔗 cbp.gov: CBP Directive 3340-049B: Border Search of Electronic Devices

该指令为美国海关与边境保护局（CBP）提供标准操作程序，涵盖对出入境旅客携带的电子设备（如电脑、手机、平板、存储介质）进行搜查、审查、保留及共享信息。文件属于行政手册与政策指南，涉及问责与透明度及《信息自由法》相关要求。

14. 为善而用Ruby：2026年华盛顿特区公益编程盛会

🔗 ti.to: Ruby for Good

Ruby for Good 是一个年度活动，将于2026年8月27日至30日在马里兰州 Shepherd’s Spring 中心举行。全球程序员齐聚一堂，利用长周末为非营利组织构建开源项目。报名费包含共享住宿、餐饮及社交活动。6月7日后不可退款，但可协调转让至7月20日。

15. FreeBSD基金会执行总监的笔记本日常使用挑战

🔗 phoronix.com: FreeBSD Foundation executive director tries daily driving FreeBSD on laptop

FreeBSD基金会执行总监Deb Goodkin近期尝试将FreeBSD作为Framework笔记本的日常系统。她过去认为在笔记本上运行FreeBSD“像翻山一样难”，但如今得益于FreeBSD对笔记本支持的改进和KDE桌面体验的优化，她每天至少使用10分钟。触摸屏、无线鼠标等基本功能“即插即用”，但Zoom视频通话和Microsoft Teams存在兼容性问题，网络摄像头需手动启用。最终她通过在线资源成功实现了日常使用。

16. 用 Jujutsu 打败 Git 严谨疲劳

🔗 ikesau.co: Defeating Git Rigour Fatigue with Jujutsu

开发大型功能时，保持提交历史的整洁与逻辑性（如按类型定义、数据库函数、UI等分步提交）非常困难，开发者常因后期修改导致提交混乱。Jujutsu 版本控制系统提供了一种更轻松的解决方案：先随意提交所有改动，包括临时调试代码，然后在最后阶段一次性整理。具体做法是创建理想提交的“空壳”，再将所有实际改动合并为一个“一切提交”，通过交互式压缩（jj squash -i）将不同颜色的改动（如红色代表类型，蓝色代表UI）逐一分配到正确的提交中。这种方法避免了中途使用 jj absorb 或 jj squash 可能带来的归属错误或合并冲突，且最终提交状态保证无冲突。缺点是无法保证每个提交都能独立编译，但对于大型功能开发，它显著降低了维护严格 Git 规范的心理负担。

17. PICO：首个兼顾实用性与人眼视觉优化的学习型图像编解码器

🔗 apple.github.io: Perceptual Image Codec: What Matters in Practical Learned Image Compression

PICO通过大规模主观研究，在感知质量与设备端运行速度上实现突破，相比AV1等传统编解码器节省2.3-3倍码率，同时能在iPhone 17 Pro Max上实现230毫秒编码与150毫秒解码，并具备跨平台鲁棒性。

18. 微软的6502 BASIC现已开源（2025）

🔗 opensource.microsoft.com: Microsoft’s 6502 BASIC is now Open Source (2025)

微软于2025年将其经典的6502 BASIC源代码正式开源，这标志着计算机历史的重要时刻。该代码是早期个人电脑（如Apple II）的核心组件，现在开发者可以自由研究、修改和使用。此次开源不仅让技术爱好者得以回顾编程起源，也为现代教育项目和复古计算提供了宝贵资源。

19. 最高法院发言指南：何时可以开玩笑、说脏话？

🔗 scotusblog.com: When (if ever) it’s appropriate to make jokes before the US Supreme Court

美国最高法院的《律师指南》规定，律师应避免幽默和情绪化表达，但引用原话（如重复“粪坑国家”）或被案件核心内容（如商标纠纷）需要时，可以使用脏话。此外，律师必须直接回答问题、使用正式称谓（如“首席大法官先生”），并严禁打断法官发言。违反规则的律师可能被首席大法官罗伯茨当场纠正。

20. 空气动力学原理被颠覆：粗糙表面可减阻43.6%

🔗 wired.com: A fundamental principle of aeronautical engineering has been overturned

日本东北大学研究团队首次证明，应用分布式微粗糙度（DMR） 可将空气阻力最高降低43.6%。这一发现推翻了80多年来“表面必须光滑”的航空工程基本原则。DMR通过随机细微凹凸延迟层流到湍流的转换，从而减少摩擦阻力，而非像高尔夫球凹坑那样改变压力阻力。实验采用无支撑杆的1米磁悬浮平衡系统精确测量，证实DMR在过渡区效果显著，且不依赖气流方向，成本低廉，有望大幅提升飞行器燃油效率。

21. 美国健康结果的政治极化

🔗 nature.com: The political polarization of health outcomes in the USA

研究发现，2010年代保守派美国人的健康状况恶化、死亡率高于自由派。部分原因是政治联盟重组使不健康人群加入保守派，但更关键的是对医疗专业信任度下降：右翼人士更不愿就医、遵循医嘱或信任药物，这加剧了可预防的健康风险。

22. 《Lean书籍全览与指南》

🔗 lakesare.brick.do: All Lean Books and Where to Find Them

本文作者以个人视角评述了多本Lean 4书籍，强调并行阅读但需遵循特定路径。核心推荐包括：《Functional Programming In Lean》（最佳编程入门）、《Theorem Proving in Lean》（理论深度解析）及《Mathematics in Lean》（实战数学形式化）。作者指出，初学者应从《Natural Number Game》开始，再根据目标（如形式化数学或编写策略）选择不同路径。文章还提及Metaprogramming in Lean等稀缺资源，并建议打印书籍以增强学习体验。

23. 未知数据坐标？贝叶斯建模解决空间位置误差

🔗 christopherkrapu.com: Don’t know where your data is from? Bayesian modeling for unknown coordinates

本文探讨了在空间数据坐标存在测量噪声时，如何利用贝叶斯模型进行预测。以采矿勘探为例，当实际采样位置不精确时，传统高斯过程模型失效。作者通过引入潜坐标（真实位置）和先验分布，将坐标误差纳入模型，并使用蒙特卡洛方法进行推断。实验使用Walker Lake的铀钒浓度数据，展示了不同噪声水平下模型参数的变化，并强调了贝叶斯框架在处理不确定性问题上的灵活性。

24. 待征服的世界

🔗 ludic.mataroa.blog: The Worlds Left to Conquer

作者辞职创业一年半后，发现成功出奇地容易：2026年2月时，公司收入已足够支撑到2027年。他坦言，竞争门槛极低——许多对手连基本邮件都不回复，甚至难以收钱。这种轻松让他感到无聊与空虚，仿佛“退出了社会”。未来，他计划进军技术招聘领域，打击低效的招聘公司，用利润支持自己关心的项目，并持续“经济暴力”四十载。

25. 西海岸城市开征空置税应对住房危机

🔗 theurbanist.org: West Coast Cities Turn to Vacancy Taxes to Grapple with Housing Crisis

美国西海岸多个城市正通过空置税政策来缓解严峻的住房短缺问题。此前，西雅图的社会住房开发商已在派克市场附近收购了其首栋建筑。这些城市希望通过向长期空置的房屋所有者征税，增加住房供应、抑制投机行为，并将税收用于建设可负担住房。该举措旨在破解住房危机，但具体实施效果仍有待观察。