DATE ARCHIVE
2026-10-08
当日发布的文章 2026-10-08.
Zerobrew 声称通过内容寻址存储，速度比 Homebrew 快多达 100 倍
Zerobrew 是一个新的包管理器，承诺通过重用 Homebrew 的预构建瓶子，但使用内容寻址存储和进程内链接进行安装，从而避免 Homebrew 的 Ruby 评估和每个二进制文件的重新链接步骤，实现显著更快的安装速度。
为什么AI编码代理仍难以构建可用软件
给四个AI编码代理每人100美元构建PDF编辑器的实验表明，虽然代理能够生成功能工具，但得到的软件存在人类开发者能够快速发现的可用性缺陷。
WhatsApp 帮助页面暴露隐藏的 AI 指令
隐私研究人员在 WhatsApp 的帮助页面中发现了隐藏文本，这些文本旨在指示支持聊天机器人隐瞒有关数据保护监管机构和法律权利的信息。
在AI时代，我们应该如何告诉学生关于数学的事情？
随着AI语言模型的发展，数学学生在追求学术生涯方面面临不确定性。特伦斯·陶博客的一篇客座文章认为，虽然AI在组织现有知识方面表现出色，但人类创造力对于生成真正新颖的数学思想仍然必不可少，这表明学生应该‘保持冷静，继续学习数学’。
特朗普宣称使用 'AI' 的用户是白宫的'敌人'，推动 AI 术语重塑行动
特朗普总统宣称，任何使用 'Artificial Intelligence' 而非他首选的 'Super Intelligence' (SI) 术语的人都是白宫的'敌人'，并以一项行政命令作为依据，要求联邦机构在官方通信中采用新术语。
特朗普政府因欺诈指控将主要科技公司排除在绿卡计划之外
特朗普政府已暂停微软、Adobe以及几家主要IT公司参与一个帮助熟练外国工人在美国获得永久居留权的联邦计划，指控这些公司在使用H-1B签证系统时存在欺诈行为。
支撑全球互联网基础设施的志愿者维护者
数十亿人依赖的关键数字基础设施实际上依靠着极少数开发者，他们常常以志愿者身份或仅得到有限支持进行工作，这正如供应链攻击和资金不均所示，带来了脆弱性。
克leo之谜：Stack Exchange 上的匿名数学家被揭露为弗拉基米尔·列谢特尼科夫
在线 pseudonym Cleo 以在 Mathematics Stack Exchange 上提供复杂积分问题的专家解答而闻名，且不展示解题过程，于 2025 年 1 月被揭露为弗拉基米尔·列谢特尼科夫，他是一位乌兹别克斯坦裔美国软件开发者和数学家。
Terse 插件将 Claude Code 的冗长度减半，消除填充短语
Terse 插件通过严格的写作规则禁止填充词、隐喻和自指短语，将 Claude Code 的 AI 冗长度降低多达 70%，同时添加了一个上下文计量器来管理 token 使用。
斯里兰卡移工因Facebook评论在沙特阿拉伯面临死刑
24岁的斯里兰卡移工Anojan Sivarasa因一条被视为亵渎的Facebook评论而在沙特阿拉伯被判死刑，其家人自9月28日起失去联系。此案引起国际关注：Humanists U.K.敦促英国政府干预，而斯里兰卡官方正寻求特赦。
理查德·加里奥特即将通过版权法条款重获《究极》系列权利
视频游戏设计师理查德·加里奥特正准备利用美国版权法的一项条款，从Electronic Arts手中重新获得《究极》系列的控制权，该条款允许创作者在35年后 reclaim 权利，预计该转移将在2027年完成。
OTel-Native 设计之道：构建可导出至任意可观测性平台的产品
OpenTelemetry 博客解释了产品如何使用 OTLP 协议将日志、追踪和指标导出到任意可观测性后端，提供无需自定义集成的供应商中立的遥测。
OpenAI 的年化收入被下调近 200 亿美元
OpenAI 告诉投资者，截至 2026 年 9 月底，其年化收入约为 500 亿美元，远低于之前报道的 680 亿美元，导致 AI 股票下跌，并引发人们对其估值的质疑，尤其是在其可能的 2027 年 IPO 前夕。
OpenAI 的 AI 生成的 Navier‑Stokes 证明在其 Lean 翻译中出现微妙的逻辑削弱
数学家发现，OpenAI 所谓的 Navier‑Stokes 问题证明的 Lean 版本在数学上弱于自然语言原文，这引发了人们对 AI 生成形式证明可靠性的担忧，特别是在大规模发布类似 AI 生成数学作品的背景下。
数学家对OpenAI解决众多公开问题的惊讶与担忧
根据Proofs and Prompts汇总的回应，在OpenAI宣布解决超过100个开放性数学问题后，数学家们表达了从对技术成就的惊讶到对数学研究及专业影响的担忧的各种反应。
LLM 生成的 TypeScript 编译器 Rust 移植展示兼容性和速度提升
一个名为 ts‑rs 的实验项目使用大型语言模型将微软的 TypeScript 7 编译器移植到 Rust，保持了原始 Go 基础的行为，同时在基准测试中提供了显著的性能提升。
深入 Hetzner Cloud 网络栈：从 Linux 桥梁到自定义 Open vSwitch 编排
本文探讨 Hetzner Cloud 如何为虚拟机构建和演进其网络基础设施，详细描述了从早期 Linux 桥梁到目前带有 Flusskrebs 编排的 Open vSwitch 栈的演变过程，并审视了推动其开发全新自建解决方案的局限性。
ICE 拘留者利用设施视频系统揭露条件，引发绝食抗议
移民拘留者位于佐治亚州的 Folkston ICE 处理中心劫持了该设施的视频通话软件，以记录和分享不人道条件的证据，从而引发大规模绝食抗议以及设施管理的报复措施。
故障注入如何绕过 Xbox 360 安全机制
一位硬件安全研究人员解释了故障注入——向 CPU 发送精确的能量脉冲——如何绕过那些原本能抵御软件攻击的安全启动过程。
查尔斯·蒙蒂斯如何编辑 William Golding 的《Lord of the Flies》使其成为文学经典
这篇LRB文章详细描述了编辑 Charles Monteith 在通过具体的结构、语调和寓意修订，将 William Golding 被拒稿的手稿转化为《Lord of the Flies》中的关键作用，同时追踪了在小说成功后、Golding 追求日益复杂主题的过程中他们的合作如何演变。
Braid 的时间机制如何铸造时间旅行的一致虚构
对 qntm.org 2015 年文章的分析探讨了 Braid 的倒带能力如何创建一个内部一致的时间旅行模型，免疫绿色物体在暗示第二时间维度中的作用，以及这种一致性为何仍然局限于思想实验，而不是关于真实世界可信度的主张。
前OpenAI安全研究员质疑解雇决定，警告其对安全文化产生寒蝉效应
三名前OpenAI安全研究员Jasmine Wang、Tomek Korbak和Mikita Balesni发表公开信，质疑公司称他们因处理研究信息不当而被解雇的说法，警告他们的解雇产生了寒蝉效应，阻碍了公开的安全讨论。
首次钍核钟在维也纳和北京开始走动
奥地利和中国的研究人员独立构建了首批利用钍-229原子核跃迁计时的核钟，精度达到每几百万年仅失去一秒，为便携式计时和暗物质探测开辟了道路。
在身体伤疤与个人历史中寻找意义
反思从手术疤痕到童年擦伤等物理标记，如何作为个人历史和韧性的切实记录。面貌上的这些印记不仅是瑕疵，更是生命的叙事。
联邦法官裁定 Flock 车牌识别系统搜索违宪
一名联邦法官裁定，在没有搜查令的情况下使用 Flock 自动车牌识别（ALPR）系统追踪驾驶员的历史移动轨迹，构成了违反第四修正案权利的“无差别大规模监控”。
整数与浮点运算中的不同安全范式
开发者常错误地将整数运算的安全方法应用于浮点计算，但这两种范式根本不同。整数运算需要提前检查以避免因溢出导致的未定义行为，而浮点运算会产生特殊值，这些值能够安全传播，因而需要事后验证。
Bigwords.page 仅通过 URL 将任何浏览器变为全屏显示牌
Bigwords.page 通过将所有内容编码在 URL 片段中，让您无需账户、后端或服务器存储即可创建用于消息、计时器或标牌的全屏显示。
Bevy 0.20 发布增强渲染、场景语法和 UI 工具箱
Bevy 0.20 引入了更快、更精确的 Solari 光线追踪渲染，改进了 BSN 场景系统语法以提高可读性，为 Feathers UI 工具箱添加了新的小部件，并采用了 WESL 着色器标准，同时指出了诸如在禁用 ReSTIR 时阴影质量下降以及需要显式指定所有枚举字段等权衡。
评估AI导致灭绝的风险：调查和专家怎么说
对AI研究者、预测者和公众的调查显示，先进AI导致人类灭绝或严重削弱的概率估计差距很大，专家中位数约为10%，而美国成年人的担忧达到一半，个别专家的个人概率则存在分歧。
安妮·卡森荣获2026年诺贝尔文学奖
加拿大诗人和散文家安妮·卡森荣获2026年诺贝尔文学奖，瑞典学院赞扬她大胆且富有创造力的作品，该作品与古典传统进行对话，创造了新的文学形式。
网页上的动态 ASCII 艺术
提交的故事声称涵盖网页上的动态 ASCII 艺术，但提供的主要来源描述的是用于 Claude Code 和 pi 的终端动画，而不是网页实现。
/i/213761/products/2026-07-05T13:35:27.932Z-ANNA%20Kit..jpeg?1783234822)
浏览器中的模拟计算机模拟器：The Analog Thing
本文讨论了 Pavel Krivanek 基于浏览器的模拟计算机模拟器 ‘The Analog Thing’，使用户能够直接在网页浏览器中模拟模拟计算概念，无需任何物理硬件。
AI驱动的档案搜索挖掘出被遗忘的陨石、失踪的犀牛货运以及隐藏的火山线索
研究员杰西·韦茨使用自定义AI流水线搜索四个世纪的数字化历史记录，发现了马哈拉施特拉邦1812年的陨石坠落，三批此前未被记录的运往康迪国王的爪哇犀牛货运，以及未记录的火山爆发的线索，展示了语言模型如何揭示档案中被忽视的事件。
四小时电池储能在全球成本上胜过燃气轮机
Wood Mackenzie 的分析显示，在所研究的全部 43 个市场中，四小时电池储能系统的安装成本如今已低于开放循环燃气轮机，且随着可再生能源整合的推进，其成本预计将进一步下降。