DATE ARCHIVE
2026-10-01
当日发布的文章 2026-10-01.
为什么在 C++ 中 ~true 会求值为 true —— 以及编译器在何处不一致
C++ 中 true 的按位补求值为 true，因为 bool 首先被提升为 int，补位后得到 –2，随后通过布尔转换规则转回 bool：任何非零值变为 true。这一直观规则在作用于具有底层 bool 类型的作用域枚举时会失效：GCC 错误地截断了结果而不是应用布尔转换，而 Clang 和 MSVC 则遵循标准。此外，没有固定底层类型的无作用域枚举在将补位值转回枚举类型时可能遇到未定义行为。
《Whistle Synth 将 AI 辅助的吹口哨控制合成器技术引入 Mac App Store》
Jeff Kaufman 的 Whistle Synth 应用让 Mac 用户通过吹口哨来控制合成器，具有低延迟的音高检测、十二种音色，以及借助 Claude 和 Gemini 等 AI 工具实现的 App Store 发布。
Shimano 自行车博物馆：品牌让位于机器
对日本堺市 Shimano 自行车博物馆的评测：这是一个宽敞且可动手体验的自行车演变庆典，它将机器置于首位，而将公司自身的企业历史置于背景中。该报道基于单篇第一手参观报告，并留下了一些未解决的问题，包括当前的入场价格以及 Shimano 如何进入欧洲赛车领域的疑问。
Strands Decider 2B：用于快速智能体工作流的紧凑型开源决策模型
Strands Agents 发布了 Strands Decider 2B，这是一个 20 亿参数的决策模型，它用指针头替换了语言模型头，以对预定义选项进行评分。该模型提供低延迟决策、置信度分数，并定位于智能体系统中的路由、工具选择和防护栏等任务。
重新爆发的冲突击碎埃塞俄比亚的和平协议
2026年9月23日，北部埃塞俄比亚的大规模敌对行动重新爆发，提格雷反叛军和阿姆哈拉民兵与联邦军作战，导致2022年比勒托利亚和平协议崩溃。该冲突反映了更深层次的结构性问题：埃塞俄比亚的民族联邦制度加剧了民族分裂，政治精英反复选择战争而非和平，国家机构未能阻止暴力，尽管公众渴望和平。
Pi Durable：构建长期运行且具韧性的代理应用的框架
Earendil Engineering 发布了 Pi Durable，这是一个实验性框架，旨在创建能够经受崩溃、进行无限长对话并支持多个并发用户的持久 AI 代理。作为代理应用的安全带，Pi Durable 将存储与执行环境结合，以实现能够在不同表面上运行且保持极简主义和可塑性原则的有韧性的 LLM 驱动工具。
Pi 1.0 发布：Earendil 推出具备 Codemode 和 Durable 包的智能体工具
Earendil 发布了 Pi 1.0，这是对其最小型智能体工具 Pi 的重大更新，加入了如 Codemode（用于 MCP 和非 LLM 模型支持）、mid‑conversation 系统消息、延迟工具加载、针对 Anthropic 模型的缓存预热、新的 TUI 主题、默认全屏模式以及对虚拟模型的扩展支持，同时还附带一个用于长期运行智能体应用的实验性 Pi Durable 包。
OpenAI 的 Agents API 将 Codex 框架转变为托管服务
OpenAI 推出了 Agents API，允许应用程序通过托管的 Codex 框架运行 AI 代理。OpenAI 处理会话、编排、上下文压缩和恢复，而调用者提供工具并选择执行环境。代理可以在 OpenAI 托管的沙箱或自托管沙箱中运行，执行代码、编辑文件、连接到 MCP 服务器并生成产出。该产品仅由 OpenAI 自身的 API 文档提供说明，因此本文涵盖了文档确立的内容并指出了其局限性。
论中国的社会现实：一位中美华人的文化差异观察
一位第一代中美华裔作家概述了四条文化轴——社交媒体消费、以耻辱为基础的社会规范、冷嘲热讽的“黑暗世界”思维，以及植根于历史不安感的民族主义。他认为这些文化轴制约了西方理性思想和人工智能安全观念在中国的传播。他明确指出，这篇文章基于个人经历和媒体观察，而非系统性研究，并强调了其局限性。
挪威财富税改革显示经济影响有限，尽管部分富裕人士离开
对挪威2021年至2024年税收改革的分析发现，虽然一些富裕个人离开了该国，但此类外流规模较小，并未显著降低预期税收收入或损害商业投资，表明财富税可能比批评者所称的经济成本更低。
"Miller's Monster": 几何中最复杂均匀多面体的实体模型
罗伯特·韦布构建了大双斜边二十面体（great dirhombicosidodecahedron）的实体模型——这是一个退化的非凸均匀多面体，具有124个面、240条边和60个顶点，是唯一一个在每个顶点处有八个面相遇的均匀多面体，也是唯一一个具有正方形扭棱面的均匀多面体。
Micron 首席执行官警告称内存供应将持续紧张直至 2028 年
Micron 首席执行官 Sanjay Mehrotra 表示，与 2026 年相比，受到强劲的人工智能需求推动，尽管有新工厂计划，但内存和存储供应在 2027 年和 2028 年将显著趋紧。
Meta 的 Muse 竟是高效的网页爬虫——而网站正开始反击
在一篇第一人称文章中，一名开发者描述了 Meta 的 Muse AI 智能体在处理大规模网页抓取方面，远比其设计的消费级任务更具实用性。他利用该工具为自己的副项目从 Reddit 和 YouTube 获取演唱会数据，每月成本为 80 美元。然而，正是这种让 Muse 极具吸引力的浏览能力，已经引发了阻力：Amazon 已封锁该智能体进入其平台，且作者预计更多网站将效仿。本文解释了该智能体的运作原理、功能边界，以及关于其未来的证据止于何处。
数学家哀叹AI的进步：否认、愤怒、讨价还价、抑郁以及对透明度的呼吁
凯文·巴扎德的博客文章描述了数学界对AI解决难题能力的反应，将这些反应映射到库伯-罗斯五阶段悲伤理论，对比了数学是关于人类理解还是定理计数的观点，并呼吁AI实验室公开其结果以供社区审查。
Magnet Forensics 声称其技术可让 iPhone "冻结"以绕过 Apple 的非活动重启
一段泄露的 Magnet Forensics 培训视频显示，GrayKey 手机解锁工具背后的该公司已开发出 "GrayKey Preserve" 和 "证据保全模式"，旨在让被扣押的 iPhone 保持在首次解锁后（AFU）状态，从而挫败 Apple 旨在将取证工具锁定在外的 72 小时自动重启。该技术似乎会关闭所有无线电，并操控设备的时间感知，使 AFU 状态在重启后得以延续。Apple 未予置评；一位安全研究人员表示，该方法可能涉及停止 iPhone 的内部时钟或禁用数据过期任务。
日本金枪鱼之王声称其捕鱼计划帮助结束了索马里海盗行为
Kiyoshi Kimura，东京Sushi Zanmai连锁店的所有者，称他于2012年前往索马里，通过提供渔船、培训以及稳定的收购市场，让当地渔民以金枪鱼捕捞作为替代生计，以此打击海盗行为。
机器如何学会精度、summary:
本文追溯了工业革命期间精密工程的发展，重点介绍了约翰·威尔金森的镗床、亨利·莫德斯莱的滑枕和螺纹车床以及约瑟夫·惠特沃斯的百万分之一英寸测量和三板法，展示了每一步如何使机械部件的精度不断提高。
在ESP32微控制器中发现的隐藏SDR功能实现低成本软件定义无线电
多个独立项目发现了ESP32 WiFi微控制器中的未文档化功能，使其能够作为软件定义无线电（SDR）工作，能够在多个频段捕获原始IQ基带样本，样本速率令人印象深刻，但大多数型号在持续PC连接操作时面临带宽限制。
Hacker News 用户将 Forth 移植到 Sega SG-1000 克隆机以参加 RetroChallenge
一位怀旧计算爱好者成功地将 CamelForth-80 解释器移植到了他们的 SG-1000 硬件克隆机（昵称 'Soggy-1000'），克服了汇编器兼容性问题和硬件特定的实现挑战，从而为 1980 年代的 Sega 主机创建了一个可用的 Forth 开发环境。
Git 3.0 计划将哈希算法从 SHA-1 转为 SHA-256，因成本和必要性受到批评
GitButler 的一篇博客文章认为，将 SHA-256 设为 Git 3.0 的默认哈希算法将带来不必要的复杂性和成本，而安全收益微乎其微，称 SHA-1 在版本控制用途中仍然实际上是安全的。
Firefox 157 的 Nova UI 带来 macOS 风格圆角 - 了解如何调整或禁用它们
Firefox 版本 157 引入了名为 'Nova' 的 UI 重新设计，具有受 macOS Tahoe 启发的极度圆角。偏好更尖锐边缘的用户可以通过 about:config 禁用该效果，或使用 userChrome.css 自定义圆角程度。
Fervo Energy 的增强型地热电厂在建设 23 个月后开始供电
Fervo Energy 宣布，其位于 Utah 的 Cape Station 增强型地热电厂已开始向电网供电，标志着该技术的首个商业里程碑。初始阶段在破土动工后 23 个月完成，提供了规划 100 兆瓦容量的三分之一，已获得 Google 和 Southern California Edison 的承诺，并有可能扩展至最高 4 吉瓦。
法院阻止犹他州VPN法律，裁决称其要求技术上不可能实现
联邦法官对犹他州SB 73发布初步禁令，认定该法律的VPN执行机制要求不存在的地理定位完美性。该裁决暂停了那些条款的执行，那些条款本来会迫使成人网站全国范围内检测并阻止VPN用户，或完全撤出犹他州市场。
Cloudflare 发布 K2：一种基于 R2 存储的无服务器事件流服务
Cloudflare 宣布推出 K2，这是一种新的无服务器事件流原语，旨在解耦数据生产者和消费者在数据管道中的关系。基于 Cloudflare 的 R2 对象存储，K2 实现了持久分区日志，能够处理海量数据并在消费者停机时防止数据丢失。
Cloudflare 启动竞赛，构建面向 AI 代理的下一代 Git 平台
Cloudflare 邀请开发者使用其 Artifacts 版本化文件系统，构建 AI 代理协作的源代码控制未来，获胜作品可获得 25,000 美元的 Cloudflare 积分以及前往参加 Cloudflare Connect 的旅行。
Clef：开放权重决策模型及新增RL微调平台
Cloudflare推出Clef和Clef-flash，这些开放权重决策模型能够快速且经济地输出结构化决策，具备视觉编码器和64k标记上下文，并宣布了一个基于其AI平台的强化学习微调服务。
零售业正转向QR码，但条码不会在2027年消失
GS1的“Sunrise 2027”计划鼓励零售商在收银台读取QR码等二维代码，但它并未规定UPC必须在某个日期废止。QR码可链接更丰富的商品信息；转型期间，品牌和零售商还需更新标签、扫描器和追踪系统，并同时使用两种代码。
arXiv 因 AI 驱动的激增而施加新的提交限制
自2026年10月1日起，arXiv 将每位提交者限制为每月两篇论文，同时最多三个活跃提交，以遏制过去两年月度提交量翻倍所导致的志愿者审核压力和低价值、AI 辅助提交的增加。
据报道，苹果的智能家居摄像头将分析场景而无需录制视频
Bloomberg 的 Mark Gurman 表示，苹果首款专用家用摄像头（代号为 J450）将利用设备端 AI 来解释活动并根据在场人员驱动自动化操作（如照明、音乐、气候控制），但不会存储视频片段供日后查看。该设计将隐私置于传统安防摄像机功能之上，引发了关于其如何处理入室盗窃或包裹被盗等事件的疑问。
Lean证明的解剖：通过有限自动机验证正则语言识别
本文解释了如何将理论计算机科学中证明某种语言为正则的证明形式化到Lean定理证明器中。文中详细描述了构建一个有限自动机以跟踪二进制加法中的进位，以及如何使用Lean和Mathlib将其编码，以验证语言识别与程序验证之间的联系。
亚马逊发布重新设计的 Kindle 系列，采用更薄、更轻的设计和全屏色彩
亚马逊推出了全新的 Kindle 系列，其特点是设备更薄、更轻，拥有平齐的前置显示屏，全系列提供无缝的边缘到边缘色彩，并改进了电池续航和更快的书籍打开速度，同时还推出了全新的配件以及更新后的 Kindle Paperwhite 和 Kindle Colorsoft 型号。
AI 辅助研究揭示了一则记载毛里求斯捕杀渡渡鸟的1615荷兰航海日志
历史学家 Benjamin Breen 报告称，Anthropic 的 Opus 5.5 language model 通过对 GLOBALISE 档案的 semantic search，发现了一则此前被忽视的1615年荷兰东印度公司船舶日志，其中提到在 Mauritius 捕杀 渡渡鸟。同一搜索还发现了对已灭绝 红秧鸡 的可能新引用，纠正了1890年的误译。Breen 将这些发现描述为可发表但意义 modest，并用它们来说明 frontier AI models 作为历史研究工具既有前景也有认识论上的局限。