AI 资本与云平台
AI 竞争正在从“谁的模型更强”，转向“谁有更多算力、资金和分发渠道”。大公司一边扩机房，一边把模型塞进现有云和企业采购流程。
- 股市能吞下 Anthropic、SpaceX 和 OpenAI 吗？：SpaceX、Anthropic 和 OpenAI 可能接连推进大规模 IPO。若都成行，几个月内或给美股增加最高 4 万亿美元市值，市场要面对高估值是否还能继续被消化的问题。
- OpenAI 前沿模型和 Codex 现已登陆 AWS：OpenAI 把前沿模型和 Codex 接入 AWS，企业可以直接走熟悉的安全、治理和采购流程部署 AI。重点不只是“多了一个入口”，而是让 AI 更容易进现有 IT 体系。
- Alphabet宣布融资800亿美元股权资本，以扩展AI基础设施和算力：Alphabet 计划融资 800 亿美元，用来扩 AI 基础设施和算力。这说明头部公司仍在重金押注机房、芯片和电力，AI 已经是一场很重的基础设施竞赛。
开发工具与工程方法
开发者工具的变化很明显：AI 正在直接进入写作、调试和配置流程；同时，很多老问题也在被更清楚的工程边界和更好的界面重新解决。
- 从插件到 AI 辅助：Obsidian 如何成为我的主力工具：文章认为，Obsidian 已经从笔记软件变成研究和写作工作台。AI、剪藏、浏览器和 CLI 打通后，它更像一个本地优先、自由度高的个人知识系统。
- Strace-ui、Bonsai_term 以及 TUI 的复兴：Jane Street 用 strace-ui 说明，终端工具也能做得可交互、可过滤、可测试。TUI 不再只是黑框命令，而是重新成为高效、易验证的开发界面。
- 为什么是 Janet？：作者推荐 Janet 这门 Lisp 方言，理由很直接：不难学、能编译成独立程序、适合脚本和可嵌入场景。对想做小工具和命令行程序的人，这是一篇很有针对性的介绍。
- CQL：类别型数据库：CQL 想用更强的数学约束处理查询、迁移和数据整合，并在编译阶段检查正确性。它很小众，但代表了数据工具追求可验证性和可追溯性的一个方向。
- 不是每个字节都有投票权：这篇文章把确定性引擎讲得很清楚：不是所有状态都该进入回放和校验，只该保留会影响未来结果的权威状态。把权威状态、缓存、事件和表现层分开，能少很多误报和排错时间。
macOS 与桌面效率
桌面系统看着成熟，资源管理和窗口组织这两个老问题其实一直没彻底解决。第三方工具的价值，往往就在系统默认做得不够细的地方。
- 得力管家还是多此一举？聊聊 macOS 后台进程管理工具 App Tamer：App Tamer 通过挂起进程、限制 CPU 和调整优先级来压住后台应用的资源占用。对浏览器、Electron 应用和多屏用户来说，它补上了 macOS 自带 App Nap 不够用的地方。
- macOS 需要把网格布局找回来：作者认为，macOS 早年的网格化虚拟桌面更符合人的空间记忆，后来改成单行后，切换效率变差。于是他做了 GridLion，想把这种导航方式带回来，也顺带写出了今天做系统级 macOS 工具有多受限制。
硬件、芯片与设备
这一组新闻说明两件事：一是 PC 和终端新品还在继续堆性能；二是芯片行业开始更认真地找平面缩放之外的新路。
- 派早报：英伟达、华硕等多个厂商在 COMPUTEX 2026 发布新品：Computex 2026 集中发布了 CPU、GPU、笔电、终端和配件新品。看点不只是参数更新，而是 AI PC、数据中心芯片和终端设备一起推进，整条链条都在加速换代。
- 一种构建芯片的新方式：通过顺序堆叠硅来延续摩尔定律：伊利诺伊大学提出一种低温单晶硅三维堆叠方法，良率已到 98% 至 100%。如果后续能产业化，芯片性能提升就不必只靠继续缩小平面晶体管。
- 骁龙 8cx Gen 3 赋能的 Radxa Dragon Q8B 首批跑分结果：这块用 8cx Gen 3 的单板电脑跑分很强，明显超过不少传统 SBC。问题还是老问题：硬件先到了，软件和驱动支持还在补。
- Muxcard：一台 DIY 信用卡大小的计算机：这是一个信用卡大小、厚度接近 1 毫米的可编程电脑原型，已经能独立运行。它还远没到成品阶段，但把超薄计算设备的想象空间做得很具体。
- 在视频时代，认真拍一张照片：OPPO Find X9 Ultra 影像漫谈：文章借 Find X9 Ultra 讲了一种反向趋势：少一点讨好眼球的算法，多一点真实的明暗和色彩。重点不是某个新名词，而是手机静态摄影又开始被认真对待。
互联网治理与数字权利
技术问题越来越绕不开治理问题。身份验证、平台分发和 AI 审查，都会直接影响匿名性、表达空间和企业研发边界。
- 社交媒体年龄验证：自由互联网的终结，还是刚刚开始？：文章批评社交平台年龄验证会把“保护未成年人”变成普遍身份验证，进一步削弱匿名上网。它担心这套机制最后会扩展到 VPN、应用商店和设备层面。
- 特朗普政府在人工智能监管问题上陷入内斗：美国政府内部正在争论是否恢复更强的 AI 预发布测试要求。分歧点很直接：一边担心国家安全，一边担心过度监管拖慢创新。
- 偶然成为穆斯林媒体总编辑的人：@Muslim 从社媒账号长成大型媒体平台，但也碰到平台封禁和地域限制。它提醒人们，今天内容传播的门槛不只在生产，也在平台规则和跨国审查。