AI、芯片与数据中心
AI 的需求正推动芯片、编程语言和数据中心网络加速演进。
- Cerebras CS-4：Cerebras 发布 CS-4 机架系统，采用三块 WSE-3 Turbo 晶圆。公司称其推理速度最高可达 GPU 系统的 30 倍，面向大模型部署。
- Mojo 编程语言（由 Modular 开发，现隶属高通）现已正式开源：Mojo 1.0 以 Apache 2.0 协议全面开源。Modular 同时宣布其平台支持 AWS Trainium、Google TPU 和高通加速器，并计划支持 Windows。
- 消息称中国允许字节跳动和腾讯进口1万枚 H200 芯片：据《金融时报》消息，字节跳动和腾讯近期各获得 1 万枚英伟达 H200 芯片，用于训练 AI 模型。报道还称，其他中国公司可能获得类似规模的供货。
- Relativity Networks 融资 2200 万美元，致力于为数据中心引入更高速的光纤技术：Relativity Networks 获得 2200 万美元融资，并拿到一笔 4000 万美元后续订单。该公司研发空芯光纤，称其传输速度可比普通光纤快约 30%。
软件开发与开源工具
开发者正把 AI、形式化验证和更轻量的部署方式带入日常工作。
- 软件开发团队的 AI 使用现状与模式：Linear 基于平台内数万团队的数据观察 AI 使用情况。报告关注哪些岗位在用 AI、工作流如何变化，以及 AI 是否提高了交付量，但不代表整个行业。
- OpenLogi：OpenLogi 是 Logitech Options+ 的本地替代品，支持 macOS、Linux 和 Windows。它可直接配置鼠标按键、DPI 和滚轮功能，不需要账号，也不上传遥测数据。
- Solo：一款专为 Linux 静态二进制文件打造的 .so 加载器：SoLo 让基于 musl 的 Linux 静态程序能够加载主机上的 glibc 图形驱动。项目已在 AMD、Intel 和 NVIDIA 驱动上测试，并提供 Vulkan 示例。
- 寻踪形式化验证工具中的“漏报” Bug：文章讨论如何发现 Alive2 验证工具的漏报问题。作者指出，验证工具本身也会出错，不能因为使用了形式化方法就放松测试。
- Palomar：经 Lean 证明的数学定理注册表：Palomar 开放提交，计划收录经过 Lean 验证的数学结果。它不只检查代码能否通过，也会审查是否引入额外公理，以及形式化命题是否符合原本的数学表述。
- Show HN：自动检测并修复 Sierra 游戏中的“死局”状态：这个工具分析老式 Sierra 冒险游戏的脚本，找出玩家仍可操作、但已无法通关的“死局”。它还能生成补丁，在玩家进入死局前阻止关键误操作。
- 一项 25 年前的视频专利刚刚失效，Linux 终于摆脱这一司法纠纷点：一项长期影响 Linux 视频支持的巴西专利到期。开源发行版在分发相关视频技术时少了一个法律风险点。
平台规则、监控与隐私
应用商店收费模式和执法监控工具都在改变，隐私边界仍是争议焦点。
- 苹果宣布调整欧盟地区应用商店政策：苹果将把欧盟开发者转入一套统一条款，10 月 1 日生效。原先按安装收费的“核心技术费”将改为：在 App Store 外分发应用时，对数字交易收取 5% 佣金。
- Flock 推出针对警方的新型强力 AI 工具，我们拿到了它的源代码：WIRED 报道称，Flock 的警方 AI 系统可根据车辆移动轨迹找人、识别关联车辆，并接入案件记录、报警日志和商业身份资料。其能力已超出单纯识别车牌，引发更强的监控担忧。
- 内部备忘录警告：ICE 特工执勤时禁止佩戴 Meta 智能眼镜：美国移民与海关执法局提醒员工，执勤时不得佩戴 Meta 智能眼镜等设备，以免意外录制或传出敏感信息。这被视为对个人穿戴式摄像设备禁令的重申。
- 然后，那些持枪的人会强迫你必须这样做：文章回顾 2011 年埃及革命期间，运营商被迫向用户发送亲政府短信的事件。它讨论企业在政府强制要求下应承担什么责任，以及法律服从与道德责任的冲突。
科学与环境
清洁空气政策的健康收益得到新证据，月球背面则可能帮助人类听见宇宙早期信号。
- 超低排放区儿童肺部康复成效显著，科学家惊叹不已：一项跟踪 3400 多名儿童的研究发现，伦敦超低排放区实施后，儿童受污染影响而放缓的肺部发育出现明显改善。研究者认为，这是清洁空气区域能减轻儿童健康损害的有力证据。
- 微型卫星将把月球暗面用作电磁屏蔽罩：剑桥大学团队计划发射 CosmoCube 微型卫星，在月球背面观测早期宇宙的 21 厘米氢原子信号。月球可遮挡来自地球的无线电干扰，帮助探测第一批恒星出现前的“宇宙黑暗时代”。
- 神秘的“疑似陨石”事件：一段西班牙日食视频记录到有物体掠过太阳。它出现于英仙座流星雨高峰期，但运动轨迹和亮度又不完全符合普通流星，NASA 仍在讨论其真实身份。
游戏与硬件
经典游戏创作者淡出一线，新作和可维修硬件继续更新。
- 《控制》新作体验：新怪谈游戏的祖师爷，又杀回来了：试玩报告认为，《控制：共振》从封闭的“太古屋”转向城市街道后，仍通过超现实的画面与声音维持了系列擅长的压迫感和神秘感。
- 沉浸式模拟游戏鼻祖 Warren Spector 宣布从游戏开发一线退休：曾参与《杀出重围》等作品的 Warren Spector 宣布退休。他表示年龄和健康因素促使自己离开开发一线，未来或将写作、讲课和做咨询。
- Framework 12英寸笔记本迎来硬件配置升级：Framework 更新 12 英寸可维修笔记本，换用 Intel Core Series 3 处理器，增加更多配置选项，并提供预装 Fedora 44 KDE 的版本。基础预装机起价 699 美元，预计 10 月发货。