2026-10-08

21 篇热帖

1. Margaret Hamilton has died (news.mit.edu)

计算机科学先驱玛格丽特·汉密尔顿(Margaret Hamilton)逝世

计算机科学领域的卓越先驱、NASA阿波罗计划软件工程团队的领导者玛格丽特·汉密尔顿(Margaret Hamilton)于9月30日逝世,享年90岁。她不仅在航天史上留下了深刻印记,更是“软件工程”这一学科建立的关键推动者。

阿波罗计划与软件工程的突破

汉密尔顿于1965年加入MIT仪器实验室(Instrumentation Lab),成为阿波罗项目的第一位程序员及首位女性程序员。随着项目的推进,她晋升为指挥与服务舱团队的助理主管,领导着一支由400多人组成的软件开发团队。

她在软件可靠性方面的创新对阿波罗任务的成功至关重要:

  • 防御性编程(Defensive Programming): 汉密尔顿倡导构建能够预测或自动修复错误的软件。在阿波罗8号任务中,由于飞行员误操作导致导航数据丢失,她随后提出的软件修正方案被整合进程序中。
  • 优先级驱动软件: 在关键的阿波罗11号登月任务中,计算机曾因硬件开关故障产生“1202错误”,导致系统过载。正是由于汉密尔顿团队设计的优先级驱动软件,系统能够自动关闭非必要任务,优先处理任务关键型指令,从而确保了人类首次成功登月的任务得以顺利完成。

职业生涯与学科贡献

汉密尔顿在职业生涯早期曾参与MIT气象系的降水预测软件开发,以及美国首个防空系统SAGE的软件编写。在MIT工作期间,她积极推动“软件工程”这一术语的使用,旨在将软件开发提升到与硬件工程同等的专业地位和尊重水平。

在离开MIT后,汉密尔顿转型为成功的企业家:

  • Higher Order Software (1976): 基于其错误预防和容错性的软件工程方法创立。
  • Hamilton Technologies: 旨在通过现代化规划、系统工程和软件开发流程来提高可靠性并降低成本。其旗舰产品是“通用系统语言”(USL),这是一种用于工程复杂软件系统的建模语言和方法论。

荣誉与遗产

汉密尔顿的杰出贡献获得了国际社会的广泛认可,主要荣誉包括:

  • 2016年总统自由勋章(由奥巴马总统颁发)。
  • NASA卓越太空勋章 (2003)。
  • 计算机历史博物馆研究员奖 (2017)。
  • 国家航空名人堂入选者 (2022)。

此外,汉密尔顿已成为科技领域女性的象征。一张她站在阿波罗代码打印件旁的著名照片广为流传,她还曾被制作成乐高(Lego)人仔,以纪念她在NASA历史上的地位。她的工作不仅改变了人类探索太空的能力,也为现代复杂系统的软件开发奠定了基础。

2. “Math 2.0” will need to value mathematical progress more holistically (mathstodon.xyz)

数学 2.0:转向更全面的数学进步观

著名数学家特伦斯·陶(Terence Tao)提出了从“数学 1.0”向“数学 2.0”转型的观点,旨在重新定义数学研究的核心价值。

从“数学 1.0”到“数学 2.0”

  • 数学 1.0 的局限性:传统的“数学 1.0”模式高度重视“率先解决开放性问题”,即便研究者最初并不完全理解解题的过程。陶认为,这种单纯追求解题速度和结果的模式已经优化到了不可持续的地步。
  • 数学 2.0 的愿景:未来的“数学 2.0”应当实现数学进步的整体化评价,将重心从单纯的“原始问题解决能力”转移开。其核心应包含以下维度:
    • 提升阐释能力(Exposition):更加注重数学思想的清晰表达与传播。
    • 社区建设:加强数学研究共同体的构建。
    • 开拓研究方向:重视引导和开启新的研究领域。

人工智能(AI)的角色

陶指出,人工智能可以在上述所有维度(不仅是解题)中发挥积极作用。然而,这需要研究者具备更高的想象力和雄心,而非仅仅停留在“将 AI 用于寻找现有开放问题答案”的“数学 1.0”式思维中。

制度变革的需求

为了适应“数学 2.0”时代,数学界需要对现有的评价体系进行显性的重新评估,包括:

  • 教育体系
  • 学术出版标准
  • 职业晋升机制

数学界必须通过调整这些标准,以反映并支持更加全面、多维度的数学进步。

3. Tell HN: I've been paying for a rural Tanzanian's education for 10 years

Hacker News 讨论总结:资助坦桑尼亚农村学生教育十年

本文总结了 Hacker News 上关于一名用户(Luke Bodmer)分享其资助坦桑尼亚农村学生教育十年的讨论内容。

核心内容与项目背景

发帖人 Luke Bodmer 分享了他通过“坦桑尼亚教育项目”(Tanzania Education Project,原名 Ibumila Fund)资助学生教育的经历。他强调,即便是在发达国家看来微不足道的金额(如每月 25 美元),在非洲或亚洲等发展中国家也能产生巨大的购买力,对个人生活产生改变性的影响。他的目标是建立一个最终由坦桑尼亚人完全自主运营的项目。

主要讨论议题

1. 信任、透明度与诈骗风险

讨论中出现了明显的质疑声音,主要集中在以下几点:

  • “西方救世主”叙事: 有评论认为此类叙事带有“傲慢”色彩,容易引发反感。
  • 合法性验证: 部分用户指出,该项目网站缺乏税务识别号(EIN)且缺乏透明度,容易让人怀疑是诈骗。
  • AI 与诈骗技术: 讨论提到,随着生成式 AI 的发展,通过深度伪造(Deepfakes)进行慈善诈骗的风险在增加,因此对这类个人发起的捐赠请求保持警惕是合理的。

发帖人的回应: Luke 提供了他的个人背景(计算科学博士、神经外科博士后)以证明身份真实性,并公开了项目的 EIN(87-3919577)。他承认“救世主”叙事可能令人不适,并表示他正努力将控制权移交给当地社区。

2. 关于“有效利他主义”(Effective Altruism, EA)的争论

讨论涉及了对 EA 理念的不同看法:

  • 批判观点: 一些用户批评 EA 过度关注理论上的“规模化”和“效率”(例如关注 AI 安全风险),而忽视了眼前切实的人类痛苦。他们认为 EA 的某些分支过于关注财富最大化,而非实际的社会影响。
  • 支持观点: 也有观点认为,尽管 EA 存在争议,但其倡导的捐赠理念(如捐赠收入的固定比例)对世界是有益的。

3. 慈善实施的实务与挑战

用户们针对如何更有效地进行小额捐赠和监督进行了深入探讨:

  • 资金流向控制: 建议将款项直接支付给学校而非家庭,以防止资金被挪作他用。
  • 监督机制: 提到了利用当地教会、学校报告、考试成绩以及实地考察等方式来确保资金的使用情况。
  • 微型金融(Microfinance): 用户分享了使用 Kiva 等平台进行微型贷款的经验,认为这种“循环资金”模式在帮助他人创业方面具有极高的社会回报率。
  • 本地化就业: 有建议提出,慈善组织应雇佣当地人来处理会计、行政等工作,从而在提供援助的同时创造当地就业。

4. 教育的价值与方向

针对资助学生学习非技能型专业(如语言学)的问题,讨论分为两派:

  • 实用主义派: 认为教育应侧重于市场需求大的领域(如工程、医学、农业),以确保学生能直接为社区解决问题。
  • 自主发展派: 认为教育的本质是赋予个人改变自身环境的能力。无论学习什么专业,受过教育的人在理解权利、文化和沟通方面的提升,本身就是推动社会进步的基础。

总结

该讨论反映了互联网慈善中**“个人情感驱动的微型援助”与“追求极端效率的系统化援助”**之间的张力。同时,也体现了在缺乏透明度和面对技术诈骗风险的时代,捐赠者对建立信任和实施有效监督的迫切需求。

5. OpenAI Withdraws 3 Math Papers (github.com)

OpenAI 撤回 3 篇数学论文及更新说明

论文撤回 由于在《Algebraicity of Weil classes on split abelian eightfolds》中发现了一个符号错误,导致其用于稳定迹抵消(stabilization-trace cancellation)的论证及相关构造失效,进而影响了两篇依赖该研究的论文。因此,OpenAI 撤回了以下三篇稿件:

  • Algebraicity of Weil classes on split abelian eightfolds
  • Algebraicity of Kuga–Satake Correspondences for K3 Surfaces
  • The rational Hodge conjecture for products of K3 surfaces

这些被撤回的论文目前已附上说明,解释错误原因并提供存档原稿的链接。

修订与修复 OpenAI 对另外 14 篇稿件进行了修订,内容涵盖修复证明、修正陈述、明确假设及依赖关系。具体修订包括:

  • Lipschitz heights and Ashkin–Teller currents (4 篇):修复了交叉、边界附着、条件和收敛性的论证,并加强了关于 real-Lipschitz 接口证明的工作。
  • Kähler minimal model programs and abundance (6 篇):扩展了正性和收缩论证,并明确了输入结果及其所需的假设条件。
  • Taming and hypersymplectic deformation (2 篇):修正了关于锥相等性的声明,增加了严格包含示例,并移除了 hypersymplectic 论文中不必要的锥比较依赖项。
  • Incompressible Box Transport and Finite Computation (1 篇):修订了环面投影(torus-projection)和公共时钟(common-clock)的估计。
  • Exact Birch–Swinnerton-Dyer Formula from Low Selmer Corank (1 篇):移除了指向已删除支持稿件的过时引用。

此外,受上述修复影响,另有 13 篇稿件也进行了版本更新,以引用修订后的伴随论文。

形式化进展 本次更新还新增了 6 项形式化(formalizations)及 5 项其他补充内容。目前,顶级研究结果的形式化比例已达到约 42%(300 / 719)。

6. Meta and Microsoft take steps to reduce employee usage of Claude AI (www.rswebsols.com)

Meta 与微软减少员工对 Claude AI 的依赖以转向自有技术

核心战略转变 据报道,Meta 和 Microsoft 正开始显著减少其员工对 Anthropic 开发的 Claude AI 的使用。这一战略调整的主要驱动力是两家公司正转向开发并推广自身的专有编程工具,旨在优化内部支出、管理 AI 成本,并加强对开发者资源的控制。

Microsoft 的成本控制

  • 预算缩减:Microsoft 此前预计每年在 Anthropic 技术上的内部支出将超过 10 亿美元。然而,随着管理层要求员工减少使用 Claude 并转向 GitHub Copilot 及 OpenAI 框架,该支出预估已缩减了三分之一以上。
  • 限额调整:在 Microsoft 的云与 AI 部门,大多数员工的每月 AI 支出限额已从 10 万美元大幅降至约 1 万美元。需要注意的是,这些数字是支出上限,而非实际支出。
  • 客户影响:此次调整仅限于内部员工使用,并不影响客户通过 Microsoft 的企业平台访问 Claude;事实上,客户在 Microsoft 平台上的 Anthropic 模型支出仍在持续增长。

Meta 的技术迁移

  • 用户规模变动:Meta 的 Claude Code 用户数量已从今年早些时候的约 6 万人下降至约 3 万人。
  • 自有工具推广:Meta 正在转向其自主研发的 AI 解决方案,包括拥有超过 3 万名内部用户的 MetaCode,以及拥有超过 6000 名用户的 Muse Code(后者已于 8 月开始进行外部客户测试)。
  • 支出情况:尽管用户规模有所下降,但 Meta 在 28 天内仍向 Claude Code 分配了超过 1.05 亿美元的资金,这表明用户数量的减少并不一定意味着支出的直接下降。

安全性与市场背景

  • 安全风险:报告强调,更换编程助手并不能完全消除自动化工具带来的安全隐患。无论是 Claude Code 还是 Microsoft 的工具,都曾面临过可能导致未经授权执行命令、API 密钥被盗或接管代码库的安全漏洞。这要求企业在应用 AI 时必须实施严格的权限管理和评估。
  • 行业动态:尽管面临科技巨头的竞争与预算收紧,Anthropic 的年化收入增速仍达到 650 亿美元,反映出市场对 AI 服务依然存在强劲需求。
7. I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities (quesma.com)

LLM 设计能力对比实验:视觉化《看不见的城市》

本文探讨了先进大语言模型(LLM)在交互式设计与数据可视化领域的表现,特别是通过一个复杂的任务——将伊塔洛·卡尔维诺(Italo Calvino)的文学作品《看不见的城市》(Invisible Cities)进行 Three.js 可视化,对比了 GPT-6 Astra 与 Claude Opus 5.5 的设计水平。

实验设计

作者设定了一个极具挑战性的“单次任务”(one-shot task)指令:

  • 目标:使用 three.js (pnpm) 创建《看不见的城市》中所有 55 座城市的交互式可视化。
  • 约束:不允许提问,给予模型最多 6 小时的“工作时间”,要求其利用这段时间打造出“杰作”。

模型表现对比

1. GPT-6 Astra (在 Codex 环境下)

  • 执行情况:实现了端到端的完整工作。
  • 时间与成本:耗时约 53 分钟,API 成本约为 10 美元。
  • 设计评价:
    • 表现出了较强的执行力,但存在所谓的“AI 设计废料”(AI design slop)。
    • 问题包括:添加了过多的概念和注释,产生了不必要的视觉噪声,以及出现了一些虽然有助于无障碍功能但显得过于直白的“废话”说明。
    • 其视觉风格(如米色背景、编号样式)在某种程度上模仿了 Claude 的风格。

2. Claude Opus 5.5 (在 Claude Code 环境下)

  • 执行情况:虽然指令要求使用 6 小时,但模型声称在完成剩余打磨工作边际收益递减后,于 1 小时 25 分钟时停止。
  • 时间与成本:实际运行时间为 1 小时 25 分钟,但通过 6 个子代理(subagents)并行工作,实际消耗的“代理工时”约为 7 小时。API 成本约为 74 美元。
  • 设计评价:
    • 结果令人惊叹("mesmerized"),展示了极高的设计天花板。
    • 相比 GPT-6 Astra,其视觉呈现和整体质量被认为达到了极高的水准。

结论与思考

通过对比实验,作者得出以下结论:

  • 设计能力的飞跃:Claude Opus 5.5 在设计领域的表现标志着一个重要的进步,能够处理复杂的交互式视觉任务。
  • 工具化趋势:AI 将成为设计领域广泛使用的工具,尽管这需要消耗大量的 Token 预算。
  • 行业影响:随着 AI 在交互式媒体创作中能力的不断提升,人类创作者在这一领域中的角色与地位也面临着新的思考与挑战。
8. Claude Haiku 5.5 (www.anthropic.com)

Claude Haiku 5.5 发布摘要

Anthropic 推出了 Claude Haiku 5.5,这是其迄今为止发布的最便宜、最快且能力最强的轻量级模型。该模型专为高吞吐量、成本敏感型任务(如摘要、压缩、数据库查询和分类)以及对速度要求极高的任务(如实时客户支持和浏览器使用)而设计。

核心特性与性能

  • 性能大幅提升:相比于 Haiku 4.5,Haiku 5.5 在多项基准测试中表现卓越,包括知识工作、计算机使用(OSWorld 2.1 提升至 72.4%)、多学科推理、智能代理编程(Terminal-Bench 4.0)以及视觉推理。
  • 可调节努力程度 (Adjustable Effort Setting):这是首个具备此功能的 Haiku 类模型,允许用户根据需求在“优化成本”或“优化智能”之间进行权衡。
  • 协作能力:Haiku 5.5 可作为 Opus 5.5 或 Sonnet 5.5 的子代理(subagent)配合使用,执行编程任务中的部分工作。

价格调整与订阅优惠

  • Haiku 5.5 价格优势:其运行成本平均比 Haiku 4.5 低约 75%。对于提示词在 10 万 token 以内的请求(约占以往请求的 90%),该模型极具性价比。
  • Sonnet 5.5 降价:Claude Sonnet 5.5 的缓存读取(cache reads)价格减半,这使得 Sonnet 5.5 在执行大多数代理任务时的成本降低了约 20%。
  • 新增 API 额度:为支持用户构建新应用,Claude Max 和 Team 订阅用户将获得新的每月 API 额度(Max 5x 用户每月 100 美元,Max 20x 用户每月 200 美元,Team 用户最高 500 美元)。

安全性

  • 对齐改进:Haiku 5.5 在对齐评估方面较 Haiku 4.5 有显著改进,表现出更少的误导行为和更低的滥用协作意愿。
  • 网络安全防护:其网络安全防护比 Haiku 4.5 更严格,允许进行一定范围的防御性任务,但会拦截渗透测试等攻击性技术。
  • 生物安全防护:其生物安全标准与 Sonnet 5/5.5 及 Opus 5 系列保持一致,允许研究性问题,但限制可能导致危害的请求。

可用性与开发者工具

  • 平台支持:Haiku 5.5 已在 Amazon Web Services (AWS)、Google Cloud 和 Microsoft Azure 上可用。
  • SDK 更新:Claude 的 Python 和 TypeScript SDK 已更新,以支持测试版的“计算机使用 (computer use)”和“浏览器使用 (browser use)”功能,这与 Haiku 5.5 的速度和成本优势高度契合。
9. Docker Agent (github.com)

Docker Agent 概述

docker-agent 是一个 Docker CLI 插件,旨在让用户能够通过声明式的 YAML 配置文件,在无需编写代码的情况下构建、运行和分享能够协同解决复杂问题的 AI 智能体(Agents)。

核心功能

  • 多智能体架构 (Multi-agent architecture):支持创建由专业化智能体组成的团队,并实现任务的自动委派。
  • 丰富的工具生态 (Rich tool ecosystem):提供内置工具,并支持任何 MCP(Model Context Protocol)服务器(包括本地、远程或基于 Docker 的服务器)。
  • 模型无关性 (AI provider agnostic):兼容多种 AI 提供商,如 OpenAI、Anthropic、Gemini、AWS Bedrock、Mistral、xAI,以及通过 Docker Model Runner 运行的本地模型。
  • YAML 配置:使用声明式配置,方便进行版本控制和分享。
  • 高级推理能力:内置了思考 (think)、待办事项 (todo) 和记忆 (memory) 等工具。
  • RAG (检索增强生成):支持可插拔的检索机制,包括 BM25、嵌入 (embeddings)、混合搜索和重排序 (reranking)。
  • 打包与分享:可以将智能体推送到任何 OCI 注册表,从而实现在任何地方进行拉取和运行。

安装方式

  • Docker Desktop (4.63+):已预装该插件,直接使用 docker agent 命令即可。
  • Homebrew:通过 brew install docker-agent 进行安装。
  • 二进制发布:可从 GitHub Releases 下载,并将二进制文件软链接至 ~/.docker/cli-plugins/docker-agent 以实现 docker agent 命令调用。

注意:使用前需配置至少一个 API 密钥(如 OPENAI_API_KEY 等),或使用 Docker Model Runner 来运行本地模型。

快速入门命令

  • docker agent run:运行默认智能体。
  • docker agent run <image_name>:<tag>:从 OCI 注册表运行智能体。
  • docker agent new:通过交互方式生成新的智能体。
  • docker agent run <config.yaml>:根据指定的 YAML 配置文件运行智能体。
10. The Mathocalypse (scottaaronson.blog)

数学启示录 (The Mathocalypse) 总结

核心事件

OpenAI 发布了 372 项重大的数学研究成果,这被视为数学史上的重大事件。其中最核心的突破是证明了 Unique Games Conjecture (UGC),该猜想的证明对于理解优化问题的近似难度具有至关重要的意义。

主要科研突破

除了 UGC 之外,此次发布的成果涵盖了多个数学与计算机科学前沿领域:

  • 计算复杂度理论:证明了 $L=BPL$(概率对数空间与确定性对数空间等价);实现了在低于 $O(n \log n)$ 时间复杂度下的傅里叶变换和整数乘法;解决了关于量子查询复杂度的重大分离问题。
  • 算法与矩阵理论:提出了新的矩阵乘法算法($O(n^{9/4})$);改进了关于永久值(Permanent)行列式复杂度的下界。
  • 量子计算:为 Unitary Synthesis Problem 提供了正向解。
  • 其他领域:包括对 Riemann 假设、Hodge 猜想及 Birch-Swinnerton-Dyer 猜想的部分进展,以及在 Hamiltonian 复杂性方面的突破。

需要注意的是,尽管成果众多,但计算科学中最核心的问题——$P \neq NP$——依然未能解决。

AI 证明的特性与传播模式

文中强调了 AI 生成证明的特殊性质以及当前出现的两种行业模式:

  1. “异类”逻辑:数学家发现 AI 的证明(如 UGC 证明)逻辑极其怪异(“alien”),写作风格晦涩,甚至需要人类借助 AI 辅助才能读懂。
  2. 两种传播模式:
    • OpenAI 模式:直接发布原始、未经整理的证明,引发人类数学家在“消化”和“解释”AI 成果方面的激烈竞赛。
    • Anthropic 模式:采取合作模式,由 AI 提供核心思路,由人类数学家撰写并发布经过整理、易于理解的论文(如针对 3SUM 问题的突破)。

技术实现与社区影响

  • 技术参数:这些成果并非来自专门构建的庞大计算集群,而是利用 OpenAI 最新的内部模型实现的。每个问题的平均计算时间约为 3 小时;在测试的 8000 个问题中,该模型的成功率约为 5%。
  • 角色转变的隐喻:作者用“丛林猎人面对豪华度假村”以及“被传送到迷雾笼罩的山顶”来形容数学家的现状——人类不再是唯一的攀登者,而是需要学习如何在 AI 提供的“捷径”基础上,继续通过理解和探索来构建知识体系。
  • 潜在风险:文中提到,此次成果清单中并未包含密码学内容,暗示 AI 公司可能正在秘密研究破解加密协议的能力。

专家观点

数学 AI 咨询小组 (AGMAI) 发表了中立声明,强调 AI 的突破虽然重要,但数学研究的核心仍应在于人类提出问题、开发方法并进行探索。数学界需要确保研究工具的公平获取,并防止数学研究演变为仅仅是对 AI 结果的“理解过程”。

11. Beauty in DVD Menus (vale.rocks)

DVD 菜单的艺术与技术演变

本文探讨了 DVD 格式在发展过程中,其交互式菜单如何从简单的功能性工具演变为一种极具创意和沉浸感的媒体体验,并对比了现代物理介质在菜单设计上的退化。

技术规格与设计考量

  • 分辨率与宽高比:
    • DVD 的分辨率通常遵循 NTSC(720 × 480)或 PAL(720 × 576)标准,这可追溯至 D-1 数字录制标准。
    • 设计中存在存储宽高比 (SAR) 与显示宽高比 (DAR/PAR) 的区别。由于显示设备从 4:3 向 16:9 过渡,开发者通常会将关键信息保留在 4:3 的“安全区”内,而将装饰性图像置于 16:9 区域。
  • 交互实现技术:
    • 视频流采用 MPEG-2 标准。
    • 交互元素(如菜单高亮)和字幕通过子图像 (subpictures) 实现。子图像为 2 位(2-bit)图形,从 16 色调色板中提取 4 种颜色,并可通过调整对比度来控制透明度。
    • DVD 虚拟机 (DVD VM) 包含 16 个通用参数寄存器 (GPRM,用于存储设置等 16 位整数) 和 24 个只读的系统参数寄存器 (SPRM)。尽管其交互机制较为基础,但足以支撑复杂的菜单和专门的 DVD 游戏。

功能特性与创意表现

DVD 菜单不仅包含播放、章节选择、设置和花絮等标准功能,许多发行商还通过高度定制化的设计提升了用户体验:

  • 品牌化功能:例如迪士尼的 FastPlay(自动播放电影及花絮以降低操作难度)和 EasyFind(提供一致的图形界面)。
  • 沉浸式与主题化设计:
    • Scooby-Doo 2:包含自定义 3D 动画及可在播放器上运行的简单游戏。
    • 哈利·波特与阿兹卡班的囚徒:以“骑士巴士”为主题,场景选择则模仿《预言家日报》。
    • 怪物史莱克 2 (Shrek 2):拥有丰富的互动地图、小游戏及角色互动动画。
    • 洛基恐怖秀 (Rocky Horror Picture Show):利用动画、音效和主题元素(如红窗帘)还原电影的邪典风格。
    • 韦恩的世界 (Wayne's World):模拟电视频道指南的界面,通过切换“频道”来浏览内容。
    • 神秘博士 (Doctor Who):利用 TARDIS 内部构造或时间漩涡作为菜单背景,增强了代入感。

现状对比

随着流媒体服务的普及,现代 DVD 和蓝光(Blu-ray)的菜单设计趋于平庸。尽管蓝光技术在分辨率和功能(如 BD-J)上远超 DVD,但由于追求效率和成本,现代发行商多采用通用的模板化设计,失去了以往物理介质所具备的创意性和探索乐趣。

12. OpenAI withdraws three mathematical results (twitter.com)

摘要

根据提供的内容,OpenAI 撤回了三项数学研究结果。该信息由 OpenAI 科学家 Dan Roberts 发布。由于提供的文本主要包含社交媒体(X/Twitter)的登录提示及作者个人简介,并未包含关于这三项被撤回结果的具体内容、原因或详细背景的说明。

14. The people holding up the internet (sheets.works)

支撑互联网的少数人:数字基础设施的脆弱性

这篇文章通过对数十个关键开源软件项目的调查,揭示了一个令人不安的现实:现代数字世界的运行,高度依赖于极少数开发者(往往是无偿志愿者)的维护。

核心观点

现代数字基础设施(包括数十亿部智能手机、服务器、浏览器和电脑)构建在一个极其脆弱的基础之上。许多支撑互联网运行的核心组件,其日常更新和维护工作仅由一两人承担,且往往缺乏稳定的资金支持。

关键案例分析

文章通过多个具体项目展示了这种依赖关系的现状:

  • 基础标准与工具:

    • Paul Eggert:负责维护时区数据库,全球数十亿 Android 和 iPhone 设备依靠该文件来显示正确的时间。
    • Daniel Stenberg:维护 curl 数据传输工具,该项目通过企业支持和公共基金获得了相对稳定的资金。
    • Todd Miller:自 90 年代以来一直维护 sudo 命令,他是调查中最受资助的单人项目维护者。
    • Mark Adler:zlib 压缩库的作者,该库广泛应用于 PNG、Git 和几乎所有移动设备,但调查显示其并无公开资助。
  • 数据与文本处理:

    • SQLite 团队:仅由四人维护,却支撑着全球超过一万亿个数据库实例(如 WhatsApp 的聊天记录)。
    • Behdad Esfahbod:重写了 HarfBuzz,负责处理全球多种复杂语言(如阿拉伯语、印地语)的文字渲染。
    • DRC:维护 libjpeg-turbo,负责 Android 和 Chrome 中的 JPEG 图像解码。
  • 安全与系统底层:

    • Lasse Collin (xz):负责几乎所有 Linux 服务器和 iPhone 使用的压缩工具。该项目曾遭遇安全危机:一名身份不明的贡献者(Jia Tan)通过长期潜伏,在 2024 年初向 xz 中植入了后门。
    • Chet Ramey (bash):维护着 Linux 和 Mac 的 shell 环境。文章提到了著名的 Shellshock 漏洞,该漏洞源自 1989 年就已存在的代码行。
    • Denis Pushkarev (core-js):使现代 JavaScript 能在旧浏览器运行,其维护过程伴随着沉重的个人生活压力和法律纠纷。

资金与安全风险

文章对比了不同项目的资金状况,指出了一种明显的“结构性风险”:

  1. 资金分配不均:

    • 一些项目在遭遇重大安全漏洞后会获得大量资金(例如 OpenSSL 在 Heartbleed 事件后获得了数百万美元的资助)。
    • 德国主权技术机构等机构也开始为部分项目(如 log4j)提供资助。
    • 然而,许多最基础、使用量最大的项目(如 zlib、bash、SQLite、时区数据库)在调查中均未发现公开的专项资助。
  2. 安全隐患: 由于维护者精力有限或缺乏专业审计,关键项目面临多重威胁:

    • 供应链攻击:如 xz 后门事件。
    • 维护者精力枯竭:开发者可能因心理健康、经济压力或个人变故而无法继续工作。
    • 代码质量风险:如 libxml2 的 README 中所自嘲的——许多项目是“由爱好者编写、单人维护、测试不足且充满安全漏洞的开源软件”。

总结

数字世界的稳定性并非建立在坚固的工业基石上,而是建立在一些“无名英雄”的业余爱好或个人精力之上。这种高度集中的维护模式是现代互联网面临的主要安全隐患之一。

15. Classic PC demoscene productions running natively in the browser (treylorswift.github.io)

在浏览器中原生运行经典 PC Demoscene 作品的技术实现

项目概述

本项目旨在通过 WebAssembly 技术,使 90 年代初期的经典 DOS Demoscene 作品能够在浏览器中实现近乎原生的运行效果。

技术实现原理

该技术并非传统的全系统模拟,而是采用了一种“指令级重编译”的方法,具体步骤如下:

  1. 指令记录:首先利用 x86 模拟器运行原始演示程序,并记录下 CPU 在整个运行过程中实际执行的所有代码块。
  2. C 语言转译:将记录到的指令逐一翻译为 C 语言代码。在此过程中,会严格保持与原始模拟机器完全一致的指令周期(cycle timing)。
  3. WebAssembly 编译:将转译后的 C 代码编译为 WebAssembly (Wasm),并结合针对硬件的模拟模型(包括计时器、VGA 显卡和 Sound Blaster 声卡)进行运行。
  4. 精确校验:为了确保准确性,系统会将运行结果与模拟器的事件进行逐一比对,涵盖每一个中断(interrupt)、端口访问(port access)以及每一帧的显示时刻。

核心特性

  • 原生逻辑保留:演示程序自带的加载器、音乐播放器和视觉特效均按照 1992 年至 1993 年的原始逻辑运行,仅对底层硬件进行了建模处理。
  • 显示性能:由于原始演示程序运行在 70 Hz 的 VGA 环境下,在 70 Hz 或 140 Hz 及以上刷新率的显示器上能够获得最平滑的视觉效果。
  • 数据完整性:系统直接提供未经修改的原始发布文件,演示程序在运行时实时读取这些文件。

相关资源与版权

  • 开源项目:demoscene-recomp (GitHub)
  • 作品贡献者:包括 Future Crew(作品:《Unreal》、《Second Reality》)、Triton(作品:《Crystal Dream II》)以及 NoooN(作品:《Stars: Wonders of the World》)。
  • 隐私说明:访问统计为匿名性质,不收集 IP 地址、追踪 Cookie 或任何个人标识符。
16. Anne Carson wins Nobel Prize in literature 2026 (www.theguardian.com)

安妮·卡森荣获2026年诺贝尔文学奖

瑞典学院宣布,加拿大诗人及散文家**安妮·卡森(Anne Carson)**被授予2026年诺贝尔文学奖。瑞典学院称赞她的作品“大胆且具创新性,通过与古典传统的趣味对话,为当代文学创造了新形式”。作为全球文学界最负盛名的奖项之一,该奖项旨在表彰作者的终身成就,获奖者将获得1200万瑞典克朗(约90万英镑)。

职业背景与创作风格

卡森于1950年出生于多伦多,是一位深耕于诗歌、散文及翻译领域的作家。她的创作深受古希腊文学与神话的影响,并在语言学(词源研究)与诗意追求的交汇点上进行探索。

  • 学术成就:她曾担任普林斯顿大学、纽约大学及麦吉尔大学的古典学教授。
  • 文学地位:在历届诺贝尔文学奖得主中,她是第19位女性获奖者。
  • 艺术特色:她的作品打破了传统抒情诗对叙述自我的束缚,在不同体裁(如诗歌、散文、歌剧)与艺术形式之间自由穿梭,具有极强的实验性和先锋色彩。

代表作品

  • Eros the Bittersweet (1986):结合了文学批评、欲望探索与古希腊传统。
  • Autobiography of Red (1998):受古希腊诗人斯特西索罗斯启发创作的诗体小说,将希腊神话中的红翼怪物杰里翁重新诠释为现代青少年的故事。
  • The Beauty of the Husband (2001):使她成为首位获得TS Eliot奖的女性。
  • Men in the Off Hours (2001):获得了首届格里芬诗歌奖(Griffin Poetry Prize)。
  • Nox (2010):采用极具先锋感的“手风琴式折叠盒”形式呈现,体现了她对文学形式的突破。

社会评价与个人近况

加拿大总理马克·卡尼(Mark Carney)对卡森的获奖表示祝贺,称赞她以独特的风格重新诠释了经典,为加拿大带来了荣耀。文学界人士(如加拿大作家信托执行董事David Leonard及PEN Canada主席Ira Wells)也高度评价其作品在智慧、美感与人性方面的深度。

现年76岁的卡森在2024年曾透露自己被诊断出患有帕金森病。她将于今年12月在斯德哥尔摩正式接受奖项。

17. Push ifs up and fors down: The idiom, its algebra, and its limits (debasishg.github.io)

Tiger Style and matklad recommend pushing ifs up and fors down. This post looks at what the idiom actually says, where it shows up in query optimization and in the algebra of functional programs, and where the analogy stops paying for itself.

20. 'Jonathan' is the oldest land animal on Earth (www.404media.co)

乔纳森:全球最长寿陆生动物的基因组研究摘要

研究背景 乔纳森(Jonathan)是一只阿尔达布拉象龟(Aldabrachelys gigantea),出生于1832年左右,现年约194岁,被认为是地球上最长寿的陆生动物。他目前居住在圣赫勒拿岛,已在此生活了超过一个世纪。为了揭示其超长寿命的秘密,研究人员对乔纳森进行了首次基因组测序,相关研究成果已发表在《科学进展》(Science Advances)杂志上。

研究方法 由于直接抽血对乔纳森而言风险过高,研究团队通过收集其颊拭子样本完成了基因组测序。研究人员将乔纳森的基因组与不同年龄段的乌龟(包括一只36岁的乌龟和一只5岁的乌龟)进行了对比分析。这一研究过程历时多年,克服了样本获取、新冠疫情及监管限制等多种困难。

核心科学发现 研究揭示了乔纳森在多个衰老相关生物学通路中具有独特的基因变体,主要包括:

  • 关键衰老通路: 在DNA修复、胰岛素调节、线粒体功能以及细胞自噬(autophagy)方面表现出特殊性。
  • 端粒维护: 拥有与维持端粒(aging-related sequences)相关的变体。
  • 线粒体甲基化组的“低熵”现象: 这是研究中最令人惊讶的发现。尽管乔纳森已接近200岁,但其与线粒体过程相关的“甲基化组”(涉及基因表达的甲基化修饰)呈现出异常的“低熵”或“完整”状态。对比数据显示,其线粒体甲基化组的水平与一只仅5岁的乌龟相当,这表明线粒体相关通路可能在对抗衰老中发挥了关键作用。

研究意义 衰老是一个极其复杂的生物学过程。通过研究像乔纳森这样极端长寿的物种,科学家试图识别影响寿命和健康寿命(healthspan)的关键遗传靶点。这项研究不仅为理解衰老的复杂机制提供了新视角,也为未来寻找改善人类健康和延长寿命的潜在方案奠定了基础。

21. Port of the TypeScript compiler, checker and lsp to Rust, by LLM (github.com)

ts-rust (tsc-rs) 项目总结

ts-rust(又名 tsc-rs)是一个将微软 TypeScript 编译器、检查器(checker)和语言服务器协议(LSP)移植到 Rust 语言的项目。该项目的主要目的是通过 Rust 实现高性能的 TypeScript 类型检查,并支持在 WebAssembly (WASM) 环境中高效运行。

核心特性与开发背景

  • LLM 驱动开发:该项目是一个极具实验性的尝试,完全由大语言模型(LLM)编写。作者通过使用 Claude Opus 5.5,在约两周内完成了移植工作,总 API 支出约为 24,000 美元。
  • 功能对齐:它直接移植自微软的 Go 版本 TypeScript 编译器,保留了原有的算法、行为、命令行工具 (tsc)、语言服务器以及 API 接口。
  • 内置 Effect 支持:内置了 Effect 语言服务的诊断功能(codes 377xxx),使得 Effect 项目无需安装额外的编译器即可获得类型检查支持。

性能表现

根据提供的基准测试数据,tsc-rs 在性能上显著优于传统的 Node.js 版 tsc 和 Go 版编译器:

  1. 实时项目测试:在对 VS Code、Sentry、Playwright 等六个大型开源项目的测试中,tsc-rs 的几何平均速度比 tsc 6 快 11.4 倍。
  2. 对比 Go 版:相比于 Go 版的 tsc 7,tsc-rs 的速度快了约 1.61 倍。
  3. T3 Code 测试:在包含 Effect 诊断的测试中,tsc-rs 的检查速度(11.13s)远快于传统的 tsc 7 + @effect/tsgo 组合(21.07s)。

项目现状与限制

  • 开发阶段:目前处于早期发布阶段。虽然在测试的真实世界项目中表现出了极高的兼容性,但仍属于实验性工具。
  • 版本锁定:目前的移植版本固定在 TypeScript 7.1.0-dev 的特定提交版本上。
  • 已知问题:
    • 在某些 Monorepo(单仓库)结构中,可能会触发特定的文件范围错误(如 TS6059)。
    • 在使用 tsc -b 模式时,对于某些项目引用(project references)的处理可能与原版存在细微差异。
    • 在编辑器环境中使用时,长时间编辑可能会导致内存缓慢增长。
    • tsc-rs --version 显示的是移植的 TypeScript 版本,而非 npm 包的版本。

开发与授权

  • 技术栈:核心编译器位于 crates/ts_goport,并提供了 WASM 构建支持。
  • 许可证:采用 MIT 许可证,同时保留了所移植代码原有的 Apache-2.0 和 BSD-3-Clause 许可声明。