2026-10-09

29 篇热帖

1. Cloudflare acquires Deno (deno.com)

Cloudflare 收购 Deno 团队摘要

Cloudflare 正式宣布收购 Deno 团队,旨在将 Deno 的技术成果与 Cloudflare Workers 及 Durable Objects 结合,共同构建一个更强大的分布式应用编程模型。

核心战略与愿景

Deno 团队的目标已从单纯的 JavaScript 运行时扩展到实现计算、存储与通信的无缝协作。通过此次收购,团队将不再专注于开发独立的运行时和托管服务,而是将精力转向 Cloudflare 的共享平台。

其核心愿景是利用类似 celld 的编程模型(基于 Cloudflare Workers),将系统扩展性直接内置于编程模型中,而非让开发者自行组装基础设施。这种模式特别适用于 AI 智能体(AI agents)的构建,因为 Durable Objects 提供的无服务器执行、持久化状态、WebSocket 以及高层 JavaScript 接口,能够完美满足 AI 代理的大规模运行需求。

产品调整与后续支持计划

由于开发重心转向 Cloudflare 平台,Deno 原有的部分产品将面临调整:

  • Deno Runtime:将继续获得为期一年的支持,期间每月发布错误修复和安全更新。一年后将停止开发,但 Deno 将保持开源状态,欢迎社区继续开发。
  • Deno Deploy:将在六个月后停止运营。Cloudflare 将为迁移至 Cloudflare Workers 的付费客户提供迁移支持。
  • JSR (JavaScript Registry):将继续运营,但其基础设施将迁移至 Cloudflare。
  • rusty_v8:将继续获得支持,并致力于将其整合进 Cloudflare 的 workerd 中。
3. Our $445M Series D (oxide.computer)

Oxide Computer 完成 4.45 亿美元 D 轮融资

Oxide Computer 近期宣布完成 4.45 亿美元的 D 轮融资,并分享了公司近期取得的关键里程碑。

核心里程碑:实现盈利

Oxide 宣布其日常业务(销售计算机)已实现盈利,能够通过扣除组件、制造、薪酬及运营成本后的收入缴纳所得税。对于大多数追求增长而非利润的初创公司而言,实现盈利是一个显著的阶段性成果。

融资背景与目的

尽管公司已通过之前的融资(如 B 轮和 C 轮)以及自身业务产生的现金流具备一定的财务能力,但公司面临以下挑战:

  • 庞大的订单积压:市场需求远超当前供应能力。
  • 硬件业务的资金特性:在硬件快速增长期,公司必须在产品交付客户之前,预先投入大量现金用于采购组件和制造。

为了在不增加业务风险(如供应链中断或经济冲击)的前提下,能够充分利用市场需求、满足订单积压并扩大制造能力,公司决定进行此次大规模融资。

投资者构成

本轮融资由多家投资机构共同参与:

  • 领投方:Eclipse。
  • 现有投资者:USIT、Riot Ventures、Jane Street、Friends and Family Capital 和 Counterpart 继续参与。
  • 新投资者:Atreides Management 加入,其以分析性方法和对硬科技投资的勇气著称。
  • 战略投资者:AMD 作为新加入的战略投资者。AMD 与 Oxide 长期保持紧密合作(包括平台赋能软件开发及对 AMD EPYC 处理器的采用),此次注资进一步加强了双方的合作伙伴关系。

未来展望

此次 D 轮融资旨在构建公司的长期稳定性与独立性。资金将主要用于:

  1. 履行现有的巨额订单积压。
  2. 承接新的市场需求。
  3. 扩大制造产能。
  4. 持续投资于公司的长期发展。
5. Theranos.world (www.theranos.world)

Theranos.world 页面概览

该内容展示了 Theranos.world 的网页界面,主要包含以下信息:

1. 视觉元素与活动信息

  • 场景展示:页面包含一张办公场景图,图中展示了 MacBook、iPhone、Theranos 检测仪器以及一杯绿色果汁。
  • 纪录片活动:页面通过图片提示,邀请用户于 10 月 22 日在旧金山 (SF) 共同观看一场纪录片。

2. 核心功能

  • 免密登录:该页面提供了一种简化的登录方式。用户无需输入密码,只需点击“Log In”按钮,或通过按下键盘上的 Return(回车)键或 Space(空格)键即可完成登录。
6. Nobel Peace Prize for 2026 to Navanethem Pillay (www.nobelprize.org)

2026年诺贝尔和平奖授予纳瓦内特姆·皮莱

2026年10月9日,挪威诺贝尔委员会宣布将2026年诺贝尔和平奖授予纳瓦内特姆·“纳维”·皮莱(Navanethem “Navi” Pillay),以表彰她在促进和平、推动国际法发展以及追究战争罪、反人类罪和种族灭绝罪责任方面所做出的卓越贡献。

获奖核心成就

皮莱以其非凡的勇气和对普遍法律原则的坚定承诺,在国际司法领域发挥了关键作用。其职业生涯跨越了从反抗种族隔离到担任国际法庭重要法官的多个阶段:

  • 法律先驱背景: 出生于南非种族隔离时期的印度泰米尔家庭,皮莱早期曾作为律师为纳尔逊·曼德拉等反种族隔离人士辩护,致力于对抗结构性歧视与不公。
  • 丰富的国际司法履历:
    • 曾担任南非高等法院法官。
    • 曾担任卢旺达国际刑事法庭及国际刑事法院(ICC)法官。
    • 曾担任联合国人权事务高级专员。
    • 曾担任联合国关于巴勒斯坦被占领土调查的独立国际委员会主席。
    • 目前担任国际法院(ICJ)法官,处理涉及缅甸种族灭绝的案件。

重大的法律突破

皮莱通过在历史性案件中的工作,显著扩大了国际法的影响力:

  • 定义性犯罪: 在卢旺达国际刑事法庭的案件中,她的影响力对于确立“强奸和性暴力可构成反人类罪及种族灭绝罪”具有重要意义。
  • 法律原则创新: 她促成了一项里程碑式的突破,即首次针对被告仅凭散布宣传品而实施的种族灭绝煽动行为进行法律起诉。

委员会的立场与时代意义

挪威诺贝尔委员会通过颁奖强调了当前国际局势下法治的重要性:

  • 法治是和平的基础: 委员会指出,持久的和平必须建立在法律原则之上,而非强权政治或脆弱的力量平衡。
  • 应对现实挑战: 在当前全球冲突加剧、国际法制度面临压力且法律机构受到攻击的背景下,国际法已不再仅仅是和平的补充,而是维护安全与稳定的绝对必要条件。
  • 正义与和平的关联: 委员会强调“和平需要正义”,皮莱通过追究国家和领导人的法律责任,为遭受暴力和冲突的受害者带来了希望,并强化了国际法作为解决冲突手段的地位。
7. Show HN: Let your AI agents paint big arrows, boxes and text on your screen (github.com)

big-arrow-on-the-screen (bigarrow) 概述

big-arrow-on-the-screen(简称 bigarrow)是一款专为 macOS 设计的命令行工具,同时也是为 Claude Code 和 Codex 等 AI 智能体(Agent)开发的技能(Skill)。其核心功能是在屏幕窗口上绘制箭头、方框和文字,以实现视觉引导。

核心定位与用途

bigarrow 旨在弥合 AI 智能体与人类用户之间的交互鸿沟。当 AI 智能体在执行任务时遇到必须由人类完成的步骤(如点击权限确认弹窗、处理 2FA 验证、输入 CAPTCHA 或进行支付)时,它可以通过视觉指示直接“指向”目标,而不是仅仅在终端输出文字。

其主要应用场景包括:

  • AI 辅助操作:引导用户点击特定按钮(如“允许”权限)。
  • 交互引导:在用户需要进行身份验证或粘贴特定代码时提供视觉提示。
  • 教学与演示:作为一种轻量级的“产品导览”工具,指示软件的操作步骤。
  • 远程协助:在屏幕共享时,通过精确的视觉标记代替模糊的语言描述。
  • 调试与文档:用于调试坐标或在录制演示时高亮显示目标。

主要功能特性

  • 非侵入性设计:绘制的图形层是透明的,点击操作可以穿透图形作用于底层的应用窗口,且不会夺取当前的键盘或鼠标焦点。
  • 自动清理:所有的箭头和图形都会在指定时间后或在任务完成后自动移除,不会留下残留。
  • 高度定制化:
    • 形状与样式:支持箭头、环形 (ring)、方框 (box);形状包括直线、弯曲、锯齿形 (zigzag) 和螺旋形 (spiral)。
    • 视觉属性:可自定义颜色、大小、边框样式(阴影、黑边等)、圆角以及文字颜色。
    • 交互增强:支持在文本中包含“复制按钮” ({{value}})、语音播报 (--say) 以及关闭按钮 (--close-button)。
  • 轻量与隐私:这是一个单一的 Swift 二进制文件,无需守护进程、无菜单栏图标、无遥测数据,且不包含任何 AI 功能。

技术实现与指令

bigarrow 提供了三种核心命令供智能体调用:

  1. point:通过元素标签 (--element) 或坐标 (--at) 进行单次指向。
  2. start:开启持续性的视觉引导,可设置持续时间或直到手动停止。
  3. stop:停止并移除当前的视觉指示。

定位机制:支持通过坐标 (--at, --rect)、鼠标位置 (--mouse)、窗口/应用名称 (--window, --app) 以及辅助功能元素 (--element) 进行精准定位。

权限说明:

  • 绘制图形:无需任何 macOS 特殊权限。
  • 元素定位:若使用 --element 或基于应用名称的定位功能,调用 bigarrow 的程序(如 Terminal、iTerm2 或 VS Code)需要获得 macOS 的“辅助功能”(Accessibility)权限。

安装方式

用户可以通过 Homebrew 进行安装:

brew install franzenzenhofer/tap/bigarrow

对于 AI 智能体,可以通过 bigarrow install-skill 命令将其技能集成到 Claude Code 或 Codex 中。

8. Keyboard differences between Windows and Macs (unsung.aresluna.org)

Windows 与 Mac 键盘差异总结

本文总结了 Windows 和 Mac 平台在键盘处理、命名、修饰键及操作逻辑上的主要差异,旨在为 Web 开发者和跨平台用户提供参考。

1. 按键名称差异

  • 删除键:Windows 的 "Backspace" 在 Mac 上称为 "Delete";Windows 的 "Delete" 在 Mac 上称为 "Forward Delete"。
  • 回车键:Windows 通常称为 "Enter",Mac 则称为 "Return"。在某些 Mac 键盘上,可以通过 Fn + Return 模拟 Enter。

2. 修饰键 (Modifier Keys)

  • 功能对应:Windows 的 Ctrl 对应 Mac 的 Command (⌘)。
  • 按键组成:
    • Windows:主要使用 Ctrl、Alt、Shift。
    • Mac:提供更多的空间,使用 Command (⌘)、Option (⌥)、Control (⌃) 和 Shift (⇧)。
  • 注意:Mac 的 Control 键主要用于终端或特定 GUI 应用,其地位远低于 Windows 的 Ctrl。此外,物理键盘的扫描码(Scan codes)在切换平台时也需相应调整。

3. 符号与文字表示

  • 表现形式:Mac 倾向于使用符号(如 ⌘、⌥、⌃),而 Windows 倾向于使用文字缩写(如 Ctrl、Alt、Del)。
  • 快捷键表示法:
    • Windows:使用加号连接,例如 Ctrl+C。
    • Mac:将符号直接并列,例如 ⌘C。

4. 特殊字符输入

  • Mac:利用 Option (⌥) 键结合字母键输入特殊字符(如 ⌥Q 输出 œ)。此功能受输入法布局影响。
  • Windows:
    • 通过 Alt + 数字小键盘 输入字符代码(如 Alt+0128 输出 €)。
    • 在非美式键盘(如波兰语键盘)上,右侧 Alt (AltGr) 用于输入特定语言字符。

5. 文本编辑与导航逻辑

  • 文本快捷键:Mac 在文本框中遵循 Unix/Linux 风格的 Control (⌃) 快捷键(如 ⌃A 行首、⌃E 行尾、⌃K 删除至行尾)。
  • 光标与滚动 (Home/End/PgUp/PgDn):
    • Windows:这些键通常会同时移动文本光标并滚动视图。
    • Mac:在视图中,它们主要负责滚动视图,而不会移动文本光标(在输入框中,Home/End 可能无效,需使用 ⌘←/→)。
  • Tab 键行为:
    • Windows:在所有交互元素间跳转。
    • Mac:仅在需要键盘操作的交互元素(如输入框)间跳转。

6. 功能键 (Function Keys)

  • Windows:F1-F12 常被操作系统或应用占用(如 Alt+F4 关闭应用)。
  • Mac:传统上将功能键留给用户,但现代 Mac 键盘通过组合键或扩展功能,按键范围可达 F19。

7. 其他常用差异

  • 撤销/重做:Mac 的重做通常是 ⌘⇧Z,Windows 是 Ctrl+Y。
  • 刷新:Mac 通常是 ⌘R,Windows 是 F5 或 Ctrl+R。
  • 保留键:Windows 键 (⊞) 和 Mac 的 Globe/Fn 键 (🌐) 分别为系统保留。Web 应用在使用快捷键时,需避开浏览器或操作系统内置的“神圣”快捷键(如 Mac 上的 ⌘Q、⌘W)。
9. ADHD as a circadian rhythm disorder: evidence and implications for chronotherapy (2025) (www.frontiersin.org)

ADHD 作为昼夜节律障碍:证据与时间疗法的启示

核心观点

越来越多的证据表明,昼夜节律功能障碍是注意缺陷多动障碍(ADHD)中一个临床显著且高度普遍的表型。虽然不能将 ADHD 完全重新归类为昼夜节律障碍,但研究表明,针对昼夜节律的干预(时间疗法)可以有效改善 ADHD 的核心症状、睡眠质量及功能。

临床表现与生物学特征

1. 流行病学数据

  • 睡眠障碍: 约 80% 的 ADHD 成人和儿童面临失眠或睡眠问题。
  • 睡眠-觉醒周期延迟: 高达 78% 的患者存在睡眠时间延迟。
  • 褪黑素分泌延迟: 暗光褪黑素分泌起始时间(DLMO)在儿童中延迟约 45 分钟,在成年人中延迟约 90 分钟。

2. 生物学标记物

  • 褪黑素(Melatonin): ADHD 患者的松果体体积较小,且褪黑素的分泌模式和量可能存在异常。
  • 皮质醇(Cortisol): 患者表现出皮质醇节律减弱和延迟。
  • 时钟基因(Clock Genes): 关键时钟基因(如 BMAL1 和 PER2)的节律性降低,反映了外周生物钟的失调。

临床干预措施(时间疗法)

研究证明,通过调整内部生物钟的相位(Phase Advance),可以改善 ADHD 的临床表现:

1. 褪黑素补充剂

  • 效果: 低剂量褪黑素(如成人 0.5 mg,儿童 3–6 mg)能有效推进 DLMO,改善睡眠时间及行为和情绪。
  • 长期性: 在儿童研究中,停用褪黑素后,92% 的患者会出现睡眠相位延迟。

2. 明亮光疗(Bright Light Therapy)

  • 作用机制: 早晨进行强光照射有助于稳定睡眠和昼夜节律。
  • 协同效应: 将光疗与褪黑素结合使用,在推进 DLMO 方面效果最显著。
  • 季节性: 在冬季,光疗对于缓解与季节性情绪障碍相关的 ADHD 症状尤为有效。

3. 行为与多模态干预

  • 行为睡眠干预: 通过心理学或儿科医生的指导,实施行为策略可显著改善 ADHD 的症状、生活质量和功能。
  • 生活方式调整: 运动(晨间或晚间均可)以及多模态方案(如固定起床时间、限制晚间光照、避免下午睡懒觉、限制下午 15:00 后的咖啡因摄入等)已被证明能有效推进生物钟相位。

建议的临床路径

基于现有证据,文章提出了一种“行为优先”的实用临床路径:

  1. 常规筛查: 对 ADHD 患者进行睡眠和昼夜节律紊乱的常规筛查。
  2. 表型特征化: 通过时型评估(Chronotype assessment)、睡眠追踪以及在可行时进行 DLMO 检测,明确患者的节律特征。
  3. 行为干预实施: 建立固定的起床时间、增加早晨光照暴露、限制晚间光照(包括屏幕卫生)以及规律化生活节律(Zeitgebers)。
  4. 选择性药物辅助: 针对已确认或疑似存在 DLMO 延迟的患者,选择性使用低剂量褪黑素。

结论

昼夜节律紊乱与 ADHD 症状之间存在复杂的双向关系。将昼夜节律表型评估与时间疗法纳入 ADHD 的常规评估和治疗框架,是一种安全、低风险且具有协同潜力的临床方法,有助于实现更精准的医疗模式。

11. OpenAI fires three safety researchers for "mishandling research information" (techcrunch.com)

OpenAI 三名安全研究员被解雇引发争议

OpenAI 最近解雇了三名安全研究员——Jasmine Wang、Tomek Korbak 和 Mikita Balesni,此举引发了关于公司安全文化和内部透明度的激烈争议。

核心争议

  • OpenAI 的立场:公司声称这三名研究员因“处理研究信息不当”违反了公司政策,涉及在未经授权的情况下访问和处理敏感公司信息,并与第三方 AI 安全组织分享了信息。OpenAI 发言人补充称,调查显示存在“违规行为模式”,其严重程度超出了单纯与外部评估小组分享信息的范畴。
  • 研究员的反驳:三人在公开信中否认了违规指控,并强调他们并没有向媒体(如 The Information)泄露关于模型架构的机密信息。他们认为,与外部专家协作是识别和应对 AI 风险所必需的安全机制,而这种解雇行为会对 OpenAI 的企业文化产生“寒蝉效应”,使员工因担心被解雇而不敢提出安全疑虑或进行必要的外部沟通。

研究员的具体申辩

  • 文化转变的担忧:研究员指出,OpenAI 过去鼓励公开讨论安全问题的文化正在发生变化,现在的规则变得模糊不清,导致员工在面对安全风险时感到不知所措。
  • 特定事件的背景:
    • 在应对 Hugging Face 安全事件时,研究员表示当时内部政策正在实时制定中。Korbak 认为与外部评估人员沟通以建立信任是符合当时规范的;Balesni 则表示其工作得到了董事会成员和高管的支持,且在分享材料前已去除了敏感细节。
    • Jasmine Wang 针对其解雇原因进行了说明,她表示自己是因为在执行招聘任务时,因技术原因误读了一封高管邮件,并在发现后立即主动报告,并非恶意窃取信息。

OpenAI 的回应

OpenAI 在一份内部备忘录中称,解雇决定并非针对员工提出安全担忧或发表意见的行为,并表示公司一直鼓励员工表达疑虑。然而,公司并未直接回应关于具体违反了哪些政策,以及如何保护那些需要与外部评估人员协作的员工。

影响与呼吁

此次事件引发了外界对 OpenAI 在开发前沿模型时,能否维持安全审计独立性和透明度的质疑。研究员在信中呼吁 OpenAI 履行其公开承诺,通过引入第三方安全审计员、保持模型的可监测性,并支持研究人员与外部安全生态系统之间的开放对话,以确保在安全的前提下开发通用人工智能(AGI)。

12. Show HN: Quake ported to safe Rust, playable in browser (quake-srp.pages.dev)

Quake 移植项目摘要

该项目展示了将经典游戏《Quake》移植到使用安全 Rust (safe Rust) 编写的版本。其核心要点如下:

  • 技术实现:项目通过 Rust 语言对游戏进行了重构,利用了 Rust 的安全性特征。
  • 运行平台:该版本支持在浏览器中直接运行,用户无需安装即可通过网页进行游玩。
13. OpenAI, the Partition Principle, and Mathematics (karagila.org)

关于 OpenAI、分割原理与数学研究的评述摘要

本文针对 OpenAI 最近发布的一篇关于“分割原理(Partition Principle)不蕴含选择公理(Axiom of Choice)”的预印本提出了严厉批评。作者从论文质量、科研效率及社会影响三个方面表达了不满。

1. 预印本的学术质量问题

作者认为该预印本在学术规范和表达水平上极不达标,若提交给学术期刊,很可能会被直接退稿(Desk Rejection):

  • 逻辑与结构: 论文内容混乱、表达模糊,结构异常,术语使用不当,且包含了一些在同类论文中显得极不寻常的引理(如 Lemma 7.4 和 8.1)。
  • 引用不规范: 论文引用存在严重问题,包括对已有文献的错误引用,以及大量使用未经发表、未经同行评审且未上传至 arXiv 的讲义。
  • 可读性极差: 不同于标准的集合论论文(可以通过略读掌握研究策略),该论文难以通过常规阅读方式理解其核心构造,违反了作者有义务使研究成果易于理解的学术原则。

2. 对科研社区的冲击:“拒绝服务攻击”

作者将 OpenAI 这种发布大量难以理解的“解决方案”的行为比作一种**“拒绝服务攻击(Denial of Service)”**:

  • 干扰科研进度: OpenAI 扔出数百个晦涩难懂的“结果”,迫使科研人员不得不停下手中的研究和教学工作,去花费大量时间辨别和解读这些内容的真实性与意义。
  • 沟通责任缺失: 作者批评 AI 公司不应要求数学家去适应其低质量的输出,而应在发布前寻求专家建议,提升输出质量。

3. 社会误导与职业替代风险

作者对 AI 技术公司带来的社会影响表示担忧:

  • 媒体与公众的误解: 虽然 OpenAI 将其称为“进展”,但媒体往往将其描述为“解决了问题”。这种认知偏差会误导非专业的公众、资助机构和政策制定者。
  • 职业替代论的威胁: 这种误导可能使决策者产生“AI 可以取代数学家”的错觉。作者强调,AI 仅仅是工具(类比于自动切菜机),而数学研究的核心在于人类专家的思维能力,而非工具本身。

结论

作者明确表示,AI 技术公司应当遵循学术界的沟通标准,而非单方面要求学术界去适应其不成熟的产出。

14. Yandex Takes a Second Data Center Hit in 48 Hours (united24media.com)

Yandex 数据中心在 48 小时内再次遭遇无人机袭击

据俄罗斯塔斯社(TASS)10 月 9 日报道,位于俄罗斯卡卢加州(Kaluga)的一个主要 Yandex 数据中心遭到了无人机(UAV)袭击,导致该设施的多个模块完全停止运行。

卡卢加数据中心概况

该设施位于 Grabtsevo 工业园区,是 Yandex 在俄罗斯规模最大的数据中心。其主要特点如下:

  • 建设历程:于 2022 年开始建设,并于 2023 年下半年投入运营。
  • 规模与容量:占地面积约 13 万平方米,设计功率容量为 63 兆瓦(比 Yandex 其他主要数据中心高出约 50%),可容纳超过 3,800 个服务器机架。
  • 功能用途:该中心用于支持 Yandex 的内部服务,并旨在扩展 Yandex Cloud 业务(包括其第四个可用区)。

背景信息

这是 Yandex 在 48 小时内遭遇的第二次数据中心打击。在此之前,卫星图像曾显示位于俄罗斯梁赞州(Ryazan)萨索沃(Sasovo)的 Yandex 数据中心在遭受乌克兰无人机袭击后也受到了破坏。

16. Whistle: Speech to Text in 16.9 MB (cactuscompute.com)

Whistle:16.9 MB 轻量级语音转文本模型摘要

Whistle 是一款专为移动端、可穿戴设备、机器人、智能家居、汽车及微控制器设计的开源语音识别模型。该模型文件仅为 16.9 MB,可在 CPU 上直接运行,无需额外依赖,并能与 Needle 引擎共享相同的 C++ 架构、容器和量化方式。

主要功能

Whistle 在本地设备上实现以下三大功能:

  • 语音转录 (Transcription):支持 16 kHz 单声道音频(单次处理最长 30 秒),涵盖英语、德语、法语、西班牙语、意大利语、荷兰语和波兰语。模型支持自动语言检测。
  • 单词时间戳 (Word Timestamps):通过解码器的注意力机制,为每个单词提供起始时间、结束时间和概率。
  • 语音嵌入 (Speech Embedding):无需解码转录文本,直接输出编码器层每 80 ms 一帧的输出。

技术架构

  • 前端处理:将 16 kHz 单声道音频通过 25 ms 窗口和 10 ms 步长处理为 80 个 Log-mel 频带,经过卷积茎(Convolutional stem)处理后,转化为 375 个帧。
  • 编码器 (Encoder):包含 8 个 Simple Attention 模块(与 Needle 共享),采用非因果注意力机制。
  • 解码器 (Decoder):包含 8 个 Laddered Simple Attention 模块(宽度 512),采用分组查询注意力(GQA)和门控交叉注意力(Gated cross attention)机制,使每一层解码器都能读取编码器的输出。
  • 解码策略:采用 5-beam 搜索,结合 Aho-Corasick 自动机进行关键词偏置(Keyword biasing)。词汇表包含 8,192 个文本片段及 7 个语言标记。

性能对比

与 Whisper base 和 Moonshine tiny v2 相比,Whistle 在多个维度表现优异:

  • 模型大小:Whistle (16.9 MB) 远小于 Whisper base (145.3 MB) 和 Moonshine tiny v2 (41.9 MB)。
  • 首词延迟 (TTFT):Whistle 的延迟极低(约 11.1 ms),显著优于 Whisper (73.2 ms) 和 Moonshine (222.8 ms)。
  • 解码速度:Whistle 的解码速度高达 1,319 tokens/s,远超竞品。
  • 准确率 (WER):在 LibriSpeech、SPGISpeech、Earnings-22 和 FLEURS 等多个基准测试中,Whistle 的词错误率(WER)表现更佳。

集成与开发

Whistle 可以通过 needle 二进制文件或 Python 库 cactus-needle 进行调用。其最大的优势在于可以与 Needle 引擎集成,实现“音频 $\rightarrow$ 工具调用”的直接转化。例如,用户可以直接输入音频片段,引擎会自动转录并根据预设工具(Tools)返回 JSON 格式的操作指令(如控制智能家居设备)。

支持平台: 该引擎提供 17 种目标的预构建版本,包括 macOS、Linux、Android、iOS、watchOS、Windows on ARM、RISC-V、MIPS、浏览器以及 WASI 组件。它还提供了完整的 C API(needle_load、needle_transcribe、needle_embed)供开发者使用。

17. 4-hour battery storage is cheaper to install than gas turbines all across globe (www.solarpowerworldonline.com)

Wood Mackenzie报告:4小时电池储能成本已低于全球所有建模市场的燃气轮机

根据Wood Mackenzie最新的全球度电成本(LCOE)报告,技术进步和市场动态正推动能源成本发生重大变化。在所有43个建模市场中,4小时电池储能的安装成本已低于开循环燃气轮机(OCGT)。

核心驱动因素

  • 电池制造规模化: 尤其是中国,通过大规模制造和供应链整合,显著降低了储能成本。
  • 燃气成本上升: 燃气轮机短缺和燃料价格的波动推高了燃气调峰成本。
  • 技术演进: 可再生能源(如单轴跟踪太阳能)和储能技术的持续改进。

区域市场分析

中东与非洲

  • 太阳能领先: 公用事业规模太阳能已处于领先地位,预计到2033年,沙特阿拉伯和阿联酋的太阳能LCOE将降至$20/MWh以下。
  • 储能替代燃气: 4小时储能成本预计到2035年将下降33%至$80/MWh,将在该地区所有燃气市场中取代燃气调峰。

拉丁美洲

  • 低成本能源: 带有单轴跟踪技术的太阳能光伏(PV)是目前最低成本的发电技术。
  • 风电与储能: 受中国制造商竞争和更大容量风机的驱动,陆上风电成本正快速下降;受政策和电网稳定性需求驱动,电网级电池储能正在快速扩张。

亚太地区

  • 太阳能竞争力与差异: 太阳能仍是最具竞争力的电源,但各市场间成本差异巨大。
  • 中国标杆作用: 中国的电网级储能成本比亚太地区平均水平低55%以上,作为全球成本基准,其供应链优势正带动整个地区的平均成本下降。

欧洲

  • 低成本组合: 太阳能仍是欧洲最便宜的电力技术。
  • 储能成本波动: 受锂价影响,电池储能资本支出近期有所上升,但预计到2031年将出现下降。
  • 碳成本压力: 欧洲化石燃料发电成本最高,预计到2030年,度电碳成本将超过燃料成本。

北美洲

  • 政策与关税挑战: 太阳能成本短期内面临关税和进口限制的压力,预计模块价格将持续增长。
  • 储能优势: 税收抵免(ITC)为储能提供了竞争优势,抵消了部分供应链限制的影响。
  • 燃气供需: 数据中心负荷增长可能导致燃气发电进入供应短缺周期,这反而强化了可再生能源和储能的长期经济优势。

结论

电力系统的经济逻辑正在发生结构性转变。随着储能成本的下降和世界级可再生能源资源的结合,新建燃气调峰容量的经济可行性正在消失,太阳能与储能的组合正在重新定义全球电力系统的成本结构。

18. Imposing Sanctions on the International Criminal Court (www.state.gov)

关于对国际刑事法院(ICC)实施制裁的声明摘要

日期: 2026年10月9日

核心内容: 美国宣布对国际刑事法院(ICC)实施制裁,旨在防止该机构对美国公民、军事人员及政治领导人行使管辖权。

主要措施:

  • 交易禁令: 根据第14203号行政命令第1(a)(ii)(A)条,美国将禁止与国际刑事法院进行任何交易,旨在通过切断其资源来削弱其运作能力。

制裁原因与背景:

  • 主权与管辖权冲突: 美国重申不承认ICC对美国公民(包括服役军人、边境巡逻人员及民选官员)拥有管辖权,并认为美国无需加入该法院。
  • 此前沟通失效: 美国表示在过去一年中已通过“善意举动”向ICC表达了担忧,并给予了缓冲时间,但ICC及其成员国(States Parties)均未采取实质性措施解决美国的核心关切。

后续立场与外交目标:

  • 外交谈判窗口: 此次制裁措施旨在为ICC成员国提供谈判空间,以期通过外交手段提出能够解决美国关切的解决方案。
  • 升级警告: 若谈判无法取得成果,美国表示将采取进一步行动,甚至致力于逐步拆解国际刑事法院。
  • 对盟友的期望: 美国要求其盟友(其中许多也是ICC成员,且依赖美国军事保护)协助对其成员国进行约束,防止ICC对美国人构成威胁。
19. What should we tell our students? (terrytao.wordpress.com)

数学研究在 AI 时代的未来:给学生的建议

这篇文章由数学教授 Álvaro Lozano-Robledo 撰写,旨在回应数学专业学生在面对大语言模型(LLM)飞速发展时产生的职业焦虑。许多学生担心 AI 将取代数学研究、缩小学术机会,或使数学家的职业前景变得暗淡。

核心观点与理论框架

作者对数学的未来持乐观态度,并提出了一个关键的理论模型来解释 AI 的局限性:“思想多面体”(Polytope of Ideas)与“凸包”(Convex Hull)理论。

  • 思想多面体: 将现有的数学知识视为一个高维多面体,已有的研究成果构成了多面体的顶点。
  • AI 的局限性: 目前 LLM 的能力主要局限在现有知识的“凸包”之内。也就是说,AI 擅长在现有文献的框架内进行巧妙的连接和推导(如解决一些复杂的组合问题),但它很难创造出完全超越现有知识边界的“异类想法”(alien ideas)或全新的数学概念。
  • 人类的角色: 只有人类研究者通过引入新的定义、概念或直觉,才能为“思想多面体”增加新的顶点,从而扩展知识的边界。一旦人类扩展了边界,AI 才能在新的范围内进行填充。

针对学生疑虑的回答

作者针对学生最关心的五个问题进行了深入分析:

  1. AI 会超越人类的研究能力吗? 目前尚不确定,但 AI 仍面临资源成本和伦理限制。某些问题的解决可能需要天文数字般的计算资源,而人类可以通过更具启发性的路径(类似“引力助推”)以更合理的成本实现。
  2. 数学家会变成“提示词工程师”吗? 不会。数学研究的核心不仅是得到“结论是否正确”,更在于理解“为什么正确”。数学家将把 LLM 视为研究协作伙伴,通过注入人类的直觉和引导来提升研究质量。
  3. 只有“天才”才能做研究吗? 不会。数学宇宙极其广阔,AI 可以帮助不同水平的研究者更快速地探索领域、规避死胡同。AI 实际上可能降低研究门槛,让更多人参与进来。
  4. 数学家会被需要并有就业前景吗? 只要人类还需要理解和消化数学知识,数学家的价值就无法取代。此外,大学的使命不仅是发现知识,还包括教育与沟通,而这种教学与思维训练的价值在 AI 时代依然稳固。
  5. 现在应该读数学 PhD 吗? 这取决于个人的热情。如果读博的动力是追求专业知识和解决数学难题,那么 AI 的出现不仅不会阻碍目标,反而会成为提升效率的强大工具。

总结

作者提醒学生,不要被 AI 公司为了商业利益而营造的“AI 即将实现超人智能”的叙事所误导。尽管 OpenAI 等公司近期展示了在解决重大数学问题上的惊人能力,但这验证了 AI 在现有知识框架内连接点的强大潜力,同时也侧面印证了人类在开辟新领域方面的不可或缺性。

结论是:保持冷静,继续学习数学。这是一个充满机遇的时代,人类数学家将在这一科学革命的前沿发挥核心作用。

20. Show HN: Making a flexible "neon" t-shirt with LED filaments (scottbezek.blogspot.com)

使用 LED 灯丝制作柔性“霓虹”T恤项目总结

本文介绍了一项利用柔性 LED 灯丝(LED filaments)快速设计并制作可穿戴“霓虹”主题 T 恤的 DIY 项目。作者在仅有几天准备时间的情况下,通过创新的设计与电路方案,实现了艺术效果。

核心材料

  • LED 灯丝:包裹在硅胶扩散层中的柔性灯丝(直径约 1.8mm),具有多种电压(3V, 12V, 24V)和长度。
  • 电子元件:ESP32 控制器、USB 移动电源、TPS61169 恒流 LED 驱动器、电压升压模块(Boost converter)、ULN2003A 晶体管阵列。
  • 服装与辅助材料:黑色 T 恤、黑色缝纫线、十字绣布(作为支撑衬底)、热缩管、3D 打印外壳。

设计与制作流程

1. 结构稳定性与设计

  • 支撑方案:由于普通棉质 T 恤过于柔软,无法支撑灯丝的形状,作者引入了十字绣布(Aida cloth)作为硬质衬底,以防止灯丝缝合后布料起皱。
  • 路径规划:由于 LED 灯丝不可切割(一端正极,一端负极),设计时必须匹配现有的长度规格。作者使用 Inkscape 软件进行设计,通过“测量路径”功能精确调整图形比例,使设计路径与灯丝的实际长度一致。

2. 缝制工艺

  • 图案转移:通过打印纸样、覆盖薄纸并描线的方法,将设计转移到 T 恤上进行缝制。
  • 视觉效果处理:为了在连续的灯丝上实现花体字的效果(即字母间的断开感),作者使用了黑色热缩管覆盖灯丝的连接部分,模拟真实霓虹灯的“遮光”效果。
  • 长度补偿:对于路径长度超过单根灯丝的情况,通过将多段灯丝进行串联焊接来解决。

3. 电路布线与驱动

  • 布线方式:在灯丝上焊接漆包线,随后连接到柔性排线,排线沿着衣服内侧(从腋下至口袋)布置。
  • 电压管理方案:
    • 正面文字(3V):使用 TPS61169 恒流驱动器,并通过 ESP32 输出 PWM 信号,以模拟霓虹灯的闪烁和动画效果。
    • 背面图案(24V):由于缺乏足够的恒流驱动器,作者改用升压模块配合串联电阻的方式,将 5V 电压提升至 24V。
    • 边框装饰(12V):采用欠驱动方案,直接从 5V USB 供电,并使用 ULN2003A 晶体管阵列进行 PWM 调光。
  • 控制中心:所有控制电路集成在一个 3D 打印的小型外壳中,通过 USB-C 接口连接移动电源,并设有排线防拉扯设计。

项目结论

该项目成功地将电子元件转化为一件艺术化的可穿戴服装。尽管该服装不具备实用性(无法机洗或手洗),但通过灵活运用现有零件和电路技巧,完成了高难度的创意设计。

21. The value of not getting to the point (2015) (ken.arneson.name)

文章摘要:不直奔主题的价值

社交仪式的本质

文章探讨了一个核心观点:社交场合中的饮食与闲聊并非仅仅是消遣,它们具有重要的心理功能——为谈话提供“缓冲”,减轻了人们必须时刻保持言之有物的压力。通过这些活动,人们可以从“必须有话可说”的负担中解脱出来。

谈话中的“热身”需求

作者通过与女儿沟通的经历意识到,在讨论严肃或令人不安的话题之前,人们往往需要一段“无意义”的闲聊作为热身。这种从琐事到核心话题的自然过渡,能够帮助参与者建立安全感和信任感,从而在进入需要展现脆弱性的深度交流前做好心理准备。

言语的局限性与脆弱性

直接进入主题之所以具有挑战性,主要源于以下因素:

  • 语言的模糊性:人类的情感很难被精准地转化为语言。
  • 逻辑的复杂性:人们试图将情感合理化的过程往往是逻辑不连贯的。
  • 社交风险:表达观点具有内在的脆弱性,说错话可能面临社交惩罚。

因此,闲聊和咖啡等社交仪式实际上是一种文化惯例,旨在建立一个足够安全的环境,让人们能够克服言语带来的脆弱感。

社交媒体的缺陷

作者指出,像 Twitter 这样限制字符数的平台,迫使人们必须“直奔主题”,这剥夺了人类进化出的社交仪式感(如闲聊和缓冲)。由于缺乏这些保护性的沟通机制,线上交流容易导致冲突和误解,因为数字社交文化尚未进化出能够像现实生活那样处理言语脆弱性的成熟规范。

总结与写作意向

作者最后表示,他计划通过写作来探讨这些看似直觉、实则深刻的人性与文化规律。尽管对于某些人来说这些道理可能显而易见,但作者认为将这些隐性的直觉显性化具有重要的探索价值。

22. MXC - a sandboxed code execution system (github.com)

Microsoft eXecution Container (MXC) 概述

MXC 是一个用于在 Windows、Linux 和 macOS 上运行不受信任代码(如模型输出、插件和工具)的沙箱代码执行系统。它通过统一的容器模型和类型化的 SDK,提供了从操作系统原生进程沙箱到完整虚拟机(VM)的多种隔离后端。

核心特性

  • 跨平台支持:支持 Windows、Linux 和 macOS,并根据不同平台提供相应的隔离后端。
  • 基于 JSON 的配置:使用版本化的 JSON 模式来定义容器创建请求和安全策略。
  • 多样化的隔离后端:支持 ProcessContainer、Windows Sandbox、LXC、Bubblewrap、Seatbelt、MicroVM (Nanvix)、Hyperlight、IsolationSession 和 WSLC 等。
  • 策略驱动的沙箱机制:
    • 文件系统策略:支持只读、读写或拒绝访问特定路径。
    • 网络策略:支持代理、出站控制以及依赖后端的宿主机过滤。
    • UI 策略:控制剪贴板、显示器和 GUI 的访问权限。
  • 容器生命周期管理:支持容器的置备 (Provision)、启动、执行、停止和撤销 (Deprovision)。
  • 多语言 SDK:提供 Rust、.NET 和 Node.js 的版本化 API,用于执行任务及管理容器生命周期。
  • 诊断工具:提供用于排查沙箱内访问受限问题的工具。

工作原理

MXC 是一个集成在应用程序中的 SDK 依赖项。其工作流程如下:

  1. 应用程序通过 SDK 指定容器类型、隔离规则和要执行的命令。
  2. MXC SDK 验证请求并选择合适的后端。
  3. 后端在隔离的容器(如 ProcessContainer、Bubblewrap 等)中启动工作负载。

支持的运行时平台与后端

运行时平台 默认后端 其他后端
Windows 11 processcontainer windows_sandbox、wslc、microvm、hyperlight*、isolation_session
Linux bubblewrap lxc、microvm、hyperlight
macOS seatbelt 无

*注:带有星号的后端为实验性功能。

使用方式

SDK 安装

开发者可以通过各自语言的包管理器安装 SDK:

  • Rust: crates.io/crates/mxc-sdk
  • .NET: NuGet (Microsoft.Mxc.Sdk)
  • Node.js: npm (@microsoft/mxc-sdk)

Node 和 .NET 包包含原生运行时资源;Rust crate 则会将 SDK、引擎及选定的后端构建到应用中。

非 SDK 使用

对于无法嵌入 SDK 的场景,可以使用平台特定的执行器二进制文件(如 wxc-exec.exe),通过传入符合稳定模式的 JSON 配置文件来创建容器。

调试与审计

在调整沙箱隔离规则时,开发者可以使用以下模式:

  • 调试模式 (--debug):输出 MXC 的诊断信息,帮助理解为何访问被拒绝。
  • 审计模式 (--audit):警告:此模式会关闭所有安全限制,严禁用于运行不受信任的代码。 它通过记录观察到的访问行为,帮助策略作者构建精准的 ProcessContainer 权限策略。

遥测与构建

  • 遥测 (Telemetry):官方构建版本支持可选的诊断遥测,但需满足用户明确同意、管理策略允许及应用显式开启等多重条件。本地开源构建不包含遥测功能。
  • 源码构建:开发或自定义运行时时需要从源码构建。
    • 预备条件:Rust 1.93+、Node.js 24+ 及特定平台的构建工具链。
    • 构建脚本:分别提供 build.bat (Windows)、build.sh (Linux) 和 build-mac.sh (macOS)。
24. Bevy 0.20 (bevy.org)

Bevy 0.20 版本发布摘要

Bevy 0.20 版本引入了大量新功能、性能优化及开发体验的改进。以下是本次更新的核心内容摘要:

1. 渲染技术增强

  • Solari 实时路径追踪渲染器:大幅提升了渲染精度与速度,支持 macOS (Metal)。为了优化性能,ReSTIR 现已默认为关闭状态(可通过配置重新开启)。此外,Solari 现在支持环境光(Atmosphere)和环境贴图(EnvironmentMapLight)照明。
  • DLSS 更新:dlss_wgpu crate 已更新,支持最新的 DLSS-RR 4.5,显著提升了降噪质量。
  • 着色器语言变革:正式采用 WESL(WGSL 的标准化扩展)作为着色器语言,取代了原有的自定义 WGSL 方言,以获得更好的模块化和生态工具支持。
  • Mesh Shaders:集成了 Mesh Shaders,允许高级用户通过计算着色器直接生成几何体,适用于渲染植被、体素或粒子系统。
  • 材质系统扩展:支持为 Sprite 创建自定义着色器材质,并为 2D 材质引入了类似于 3D 的 ExtendedMaterial 扩展机制。

2. BSN 场景系统与 UI 改进

  • BSN 语法优化:改进了场景描述语言 BSN 的易用性。引入了 @ 前缀用于显式场景引用,移除了冗余的 template_value 包装器,简化了枚举(Enums)和链式方法的用法,并使用 -- 作为列表项的分隔符。
  • Ready 事件:新增 Ready 事件,当 BSN 场景及其所有子实体完全生成并加载完成后,会触发该事件,便于执行初始化逻辑。
  • Feathers UI 工具包:
    • 新组件:增加了颜色输入、滚动列表、下拉选择、懒加载菜单(Lazy Menu)及无头标签页(Headless Tabs)等组件。
    • 上下文主题化:支持根据父实体改变主题变量(Contextual Theming),实现更复杂的 UI 设计。
    • 布局与尺寸:支持 em 和 rem 尺寸单位,并引入了 InlineBox 和 InlineImage 以实现文本环绕效果。

3. ECS 与性能优化

  • 弱系统排序(Weak System Ordering):引入 chain_weak、before_weak 和 after_weak,允许在不发生数据冲突的系统之间保持宽松的顺序,从而显著提高多线程环境下的并行执行效率。
  • 批量销毁优化:新增 despawn_all 系列命令,通过减少 ECS 开销实现了更快的批量实体销毁。
  • 变更检测优化:引入“每列变更检测(Per-column change ticks)”,允许在查询大量实体时通过列级标记快速跳过未变更的实体,提升查询性能。
  • 调度随机化:支持在调试模式下随机化系统运行顺序,帮助开发者通过“属性测试”发现潜在的系统依赖冲突。

4. 资产与错误处理

  • 纹理压缩升级:使用了基于 ctt 库的新后端,支持将纹理压缩为 BCn(桌面端)或 ASTC(移动端)格式,并提供自动生成 Mipmap 的功能。
  • 错误处理增强:
    • Panic 捕获:系统中的 Panic 现在可以被转换为错误并传递给 FallbackErrorHandler,避免整个程序因单个系统崩溃而直接退出。
    • 错误上下文:BevyError 现在支持类似 anyhow 的 .context() 方法,方便开发者为错误添加人类可读的描述信息。

5. 其他功能

  • Pan Orbit Camera:内置了类似于 CAD 操作的平移轨道相机控制器。
  • UI 细节:支持椭圆圆角(Elliptical Border Radius)以及 FixedNode(用于 UI 元素相对于视口定位)。
25. Germany transforms former coal mines into Europe's largest lake landscape (www.euronews.com)

德国将前露天煤矿转型为欧洲最大人工湖泊景观

德国正在进行一项跨越数代人的宏大工程,将卢萨蒂亚(Lusatia)地区的前露天褐煤矿坑转化为欧洲最大的水域景观——“卢萨蒂亚湖区”(Lusatian Lakeland)。该景观总面积达 14,000 公顷,规模几乎与意大利科莫湖相当。

转型规模与过程

卢萨蒂亚湖区位于柏林与德累斯顿之间,由 23 个人工湖泊组成。由于该地区原本的地质结构(透水性强的碎石和沙地)不具备自然形成湖泊的条件,这些湖泊完全是通过改造大规模的露天矿坑而成的。

由卢萨蒂亚和中德矿务管理局(LMBV)负责的修复工作,通过从奈塞河(Neisse)、施普雷河(Spree)和施瓦茨埃尔斯特河(Schwarzer Elster)引水注入矿坑,大幅缩短了注水时间。若仅靠地下水和雨水自然填充,这些矿坑需要 80 到 100 年,而人工注水则显著加快了这一进程。此外,这些湖泊还可作为水资源库,在干旱季节为河流提供水源。

关键里程碑:塞德利茨湖与连通工程

  • 塞德利茨湖(Lake Sedlitz): 作为该项目的最后一大组成部分,这座占地 1,400 公顷的湖泊预计将于 2025 年 4 月底正式开放。届时,它将成为卢萨蒂亚湖区最大的休闲湖泊。
  • 水上交通网络: 到 2026 年 6 月,该地区计划将塞德利茨湖、森夫滕贝格湖(Lake Senftenberg)等五大湖泊通过运河连接起来,形成一个约 5,000 公顷的连续可航行水域,为游船旅游提供便利。

经济影响与旅游发展

矿区的转型正在为当地带来显著的经济效益:

  • 旅游业增长: 该地区正致力于将卢萨蒂亚湖区打造为统一的旅游目的地,涵盖水上运动、骑行和文化体验。目前,来自捷克的游客增长尤为显著,长远目标是实现每年 150 万个过夜游客量。
  • 就业转型: 旅游基础设施(如餐饮、酒店和休闲业)的扩张,为前矿工及其家属创造了新的就业机会,帮助该地区实现结构性转型。

成本与资金来源

这一庞大工程耗资极其巨大。目前,卢萨蒂亚地区的矿区改造已投入约 70 亿欧元;LMBV 管理下的总成本约为 138 亿欧元。预计在未来 25 年内,仍需追加约 48 亿欧元的资金。资金结构由德国联邦政府承担 75%,各联邦州承担 25%。

全球意义

卢萨蒂亚的成功经验为欧洲其他正处于能源转型期的煤矿地区提供了范例。通过将曾经的“景观伤痕”转化为可持续的旅游景观和生态保护区,该地区展示了如何通过综合性的矿区修复与景观设计来实现经济与环境的协同发展。

26. Reducing undefined behavior in the C language (lwn.net)

减少 C 语言中的未定义行为

在 Kernel Recipes 2026 会议上,Martin Uecker 探讨了 C 语言的现状,特别是未定义行为(Undefined Behavior, UB)带来的挑战,以及如何通过标准演进和工具链改进使 C 语言变得更加安全。

C 语言的优势与历史背景

尽管面临安全挑战,C 语言在 2026 年依然具有极高的价值,其优势包括高可移植性、长期稳定性、快速的编译速度以及高效的二进制执行性能。由于 C89 标准需要兼容多种异构硬件(如非标准的字节位宽、复杂的内存分段等),标准采用了“抽象机器”模型来定义语义。在这种模型下,编译器只需确保“可观测行为”(如对 volatile 变量的访问)符合抽象机器的预期,而对于非可观测行为,编译器拥有极大的优化自由度。

未定义行为(UB)的问题

UB 发生在程序执行了标准未定义或不可移植的操作时。虽然 UB 为编译器提供了激进优化的空间,但也带来了严重问题:

  • 逻辑不可预测性: 编译器可以针对 UB 执行任何操作。例如,在处理除零操作(UB)时,编译器可能会错误地优化掉某些原本应当执行的赋值语句。
  • 安全风险: 读取结构体中的填充字节(padding bytes)可能会泄露敏感数据。
  • “时光倒流”问题: 编译器可能会将操作提升到 volatile 赋值之前。虽然 C23 标准已通过“禁止时光倒流”的规定来限制此类行为,但在 C++ 中仍需通过显式检查来防止。

应对策略与改进方向

为了解决这些问题,C 委员会设立了专门的研究小组,专注于内存对象模型、内存安全和未定义行为。

1. 标准的演进

  • C23 标准: 已经移除了 K&R 函数定义、trigraphs 等过时特性,并增加了位精确整数类型和检查型整数运算。
  • C2y 草案: 进展显著,已从约 100 个 UB 实例中移除了 45 个。未来还将引入 case ranges、命名的 for 循环以及 _Countof() 宏等功能。

2. 工具链的支持 开发者可以利用多种手段发现和缓解 UB 问题:

  • 编译器警告与静态分析: GCC 和 Clang 等工具在缓冲区溢出和整数溢出检测方面不断增强。
  • 运行时检查: Sanitizers 通过插入运行时检查来捕获 UB,并可用于系统加固。
  • 先进技术: 包括 LLM(大语言模型)工具、形式化验证以及专门的静态分析器。

内存安全的三大维度

Uecker 将内存安全问题细分为三个层面,并提出了对应的改进路径:

  • 类型安全(Type Safety): 通过增加注解、改进诊断信息以及引入链接时检查器(link-time checker)来减少类型混淆。
  • 空间内存安全(Spatial Memory Safety): 重点在于边界检查。通过编译器增强和 counted_by 等属性,可以更好地实现对灵活数组成员等情况的边界检测。
  • 时间内存安全(Temporal Memory Safety): 针对“释放后使用”(use-after-free)等问题。虽然 Rust 在此方面具有优势,但 C 语言可以通过 CHERI 等硬件架构支持以及 Fil-C 等工具来得到改善。

结论

C 语言是一个持续演进的“生命语言”。虽然实现完全的内存安全仍需依赖昂贵的运行时检查或形式化验证,但通过结合受限的语言子集与先进的验证工具,C 语言正朝着更加安全和实用的方向迈进。

27. Step 5 Preview, a 1M-context MoE from StepFun, shows up on OpenRouter (openrouter.ai)

内容摘要

StepFun 模型上线 OpenRouter StepFun 推出的 Step 5 Preview 模型已在 OpenRouter 平台上线。该模型采用混合专家(MoE)架构,并具备高达 100 万(1M)token 的上下文处理能力。

ElevenLabs 促销信息 ElevenLabs 正在开展促销活动,其所有模型在 2026 年 10 月 19 日之前均可享受 50% 的折扣优惠。

28. AI-ready biological data: $1.8B global commitment (biohub.org)

18亿美元全球计划:打造AI就绪的生物学数据资源

2026年10月7日,Biohub、美国能源部(DOE)、美国国立卫生研究院(NIH)及多家合作伙伴宣布了一项大规模的国际协作计划,旨在投入18亿美元用于生成和开放生物学数据。该计划的核心目标是为构建生物学的预测性AI模型(即“虚拟细胞”)提供基础,通过数字化手段加速人类对疾病的理解、预防与治疗。

资金分配与机构职责

此次大规模投入由多个部门和私人机构共同驱动:

  • Biohub:作为该计划的锚点,Biohub承诺投入5亿美元。其中4亿美元用于开发新型测量技术(如可解析细胞内近原子细节的冷冻电子断层扫描、可成像数亿个活体细胞的显微技术以及分子/组织层面的生物工程工具),另外1亿美元用于支持外部研究。
  • 美国能源部 (DOE):通过“Genesis Mission”计划,DOE将在五年内投入超过5亿美元。利用其国家实验室系统中的超算能力、X射线与中子散射、冷冻电子显微镜以及自动化实验室,开展基础细胞研究、数据采集、AI分析和建模。
  • 美国国立卫生研究院 (NIH):通过“Bio Genesis Mission”,NIH将整合其此前超过5亿美元联邦投资所积累的生物医学数据集、知识库和国家数据基础设施,并与Biohub合作,将这些资源标准化为适用于AI模型训练的“AI就绪”格式。
  • 科技巨头(Google DeepMind, Isomorphic Labs, Meta):三家公司将共同投资3亿美元支持“虚拟生物学倡议”(Virtual Biology Initiative),致力于开发构建生命预测模型所需的技术和多模态数据集。

核心目标与技术路径

该计划旨在通过以下方式改变生物学研究范式:

  1. 构建虚拟细胞:通过提供基础测量数据,扩展细胞对各类干预措施的响应数据,使研究人员能够通过数字模拟来预测和回答生物学问题。
  2. 建立开放数据公地:打破单一机构的数据生产限制,建立统一的标准、通用的标识符和单一的访问点,形成一个全球共享的、标准化的开放数据资源。
  3. 提升研究规模与精度:利用先进的成像和工程工具,在更大的规模、更快的速度和更高的精度下研究细胞及其相互作用。

协同生态系统

该倡议得到了广泛的科研与产业支持:

  • 技术与资金支持:NVIDIA 提供加速计算基础设施、领域特定软件和技术专家支持;Renaissance Philanthropy 协助扩大数据生成的资金规模。
  • 科研协作:包括 Allen Institute、Broad Institute、Gladstone Institutes、Human Cell Atlas、Human Protein Atlas 及 Wellcome Sanger Institute 在内的顶尖科学机构和财团已加入其中,旨在通过跨学科协作最大化“虚拟生物学”的影响力。

通过整合政府的算力、实验测量能力与私营部门的AI模型及数据能力,该计划旨在设定开放科学的新标准,从而大幅缩短医疗突破的研发周期。

29. Programming Isn't Special (blog.glyph.im)

编程并非特殊:关于编程作为艺术及其面临的 AI 威胁

本文探讨了编程作为一种艺术形式的本质,并批判了程序员在面对人工智能(AI)冲击时表现出的某种“妥协”态度。作者认为,编程不仅仅是完成功能的工具,它同样具有审美和表达的价值。

创意产业与程序员的差异

作者指出,作家、艺术家和音乐家等创意从业者正在通过罢工、签署公开信和法律诉讼等方式,积极抵制 AI 对其领域的影响。相比之下,尽管许多程序员也感到由于 AI 改变工作模式而带来的焦虑和倦怠,但他们却倾向于接受并继续使用 AI。这种态度的根源在于一种普遍的认知:即编程只是“功能性”的工作,而非“艺术”。

艺术的本质:平凡中的创造力

针对“艺术必须是超凡脱俗的,而编程是平庸的功能性工作”这一观点,作者引用了 John Berger 的观点进行反驳。他认为,大众往往会将艺术“神秘化”,认为只有神圣的作品才叫艺术。但实际上,艺术可以是平凡的、服务于特定功能的(例如新闻写作或肖像画)。

作者强调,即便是在处理平庸、重复的任务时,所进行的创意活动本质上仍是艺术性的。对于创意从业者而言,这些基础性的工作是磨练技艺、最终通往伟大作品的必要实践过程。

代码的美学价值

作者通过个人经历(如发明 Deferred)证明,代码设计可以追求美感。他认为:

  • 代码的诗意:优秀的编程设计不仅是为了让机器执行,更是为了让开发者能够优雅地阅读和理解。
  • 审美体验:软件的审美不仅存在于源代码中,也体现在用户与操作系统或应用程序交互时的感官体验中。
  • 抽象的艺术:编程的本质是抽象的艺术,即理解如何将小的想法组合成大的系统。

AI 对编程行业的潜在危害

作者警告说,过度依赖 AI 来处理所有“平庸”或“基础”的编程任务(如编写重复代码或简单的功能模块)会带来严重后果:

  1. 剥夺练习机会:如果 AI 承担了所有基础工作,开发者将失去通过实践来提升技能、培养深度理解力的机会。
  2. 破坏创造性决策:AI 可能会消除编程中至关重要的创造性决策过程,导致产出大量平庸、毫无灵魂的“垃圾内容(slop)”。
  3. 抹杀伟大的可能性:每一个平凡的项目都有极小的概率成就伟大的事业。如果开发者习惯于将所有项目都交给 AI,那么实现职业生涯突破的可能性将从“偶尔发生”变为“永不发生”。

结论

作者总结道,编程并不特殊,它本身就是一种艺术,是人类最普遍的表达方式之一。开发者应当像其他创意领域一样,审慎地抵制 AI 对编程创造性的侵蚀,捍卫编程作为一种人类创造性活动的地位。