1. 英伟达CEO黄仁勋辞职：AI芯片巨头面临不确定未来；
2. Anthropic 冲刺纳斯达克IPO：AI巨头上市前瞻；
3. Gemini 4 Hydrogen 发布：高速高效普惠日常编码与智能体工作流；
4. Microsoft 365 服务降级：页面仅提示启用 JavaScript；
5. 为什么写出正确软件如此困难：数学无法独自拯救我们；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. 英伟达CEO黄仁勋辞职：AI芯片巨头面临不确定未来

🔗 apnews.com: Jensen Huang resigns

黄仁勋因婚外情与疑似中国间谍关联曝光于周四辞去英伟达CEO，股价一度大跌14%、收盘跌约4%。公司任命CFO科莱特·克雷斯为临时CEO，首次设立董事长，并启动调查与内外部继任者遴选。这位掌舵30余年、身家超1500亿美元的AI芯片代表人物离开，令英伟达面临诉讼、治理与市场对AI泡沫的担忧；国会仍要求其就国家安全问题作证，中国否认设局，Megaspeed称将配合审查。

相关报道：reuters.com (HN) · bbc.co.uk (HN) · nbcnews.com (HN) · stocktitan.net (HN)

2. Anthropic 冲刺纳斯达克IPO：AI巨头上市前瞻

🔗 ipo.anthropic.com: Anthropic IPO

Anthropic 作为以安全与公共利益为使命的AI公司推进 首次公开募股（IPO），拟在纳斯达克以“ANT”发行A类普通股；路演11月10日开始，发行价预计11月18日确定，11月19日挂牌，投资者可通过券商认购并需审阅招股书。其 Q3’26财务亮点 为收入170亿美元、同比增长超12倍、过去12个月收入≥10万美元客户超11,900家、算力效率较Q1’25提升超4倍、调整后经营利润率15%，净亏损233亿美元主要受219亿美元非现金公允价值变动费用影响；Legora、礼来、乐天、Salesforce和沃尔玛等案例显示Claude正进入法务、科研与企业软件场景。此次 11月19日纳斯达克上市 将检验市场对AI领军企业增长与风险治理的定价。

3. Gemini 4 Hydrogen 发布：高速高效普惠日常编码与智能体工作流

🔗 blog.google: Gemini 4 Hydrogen

谷歌发布 Gemini 4 Hydrogen，定位为面向日常编码、工具调用与智能体工作流的高速高效模型，与偏重深度长程推理的 Carbon、Argon 形成互补。它在默认高思考级别下于 Artificial Analysis 智能指数略超 Argon（51 对 50，xhigh 达 54），并提供低、中、高、xhigh 四档思考级别；100万 token 上下文统一按每百万输入 1.50 美元、输出 7.50 美元计价。Hydrogen 已登陆 Gemini API、AI Studio、企业版、Gemini 应用、Search 及 Antigravity 等场景；相比 Gemini 3.8 Flash 任务完成快 2.5 倍，Terminal-Bench 4.1 得分由 18.2% 升至 57%，虚构声明减少逾 5 倍。新 Orchestrator 可在 Antigravity 中动态切换 Carbon 与 Hydrogen，接近 Carbon 成功率的同时平均少用 24% 配额、快 19%。它还强化了多模态知识工作、网页开发、搜索意图理解与安全执行，显著降低智能体越权、欠服务及提示注入风险。

相关报道：antigravity.google (HN)

4. Microsoft 365 服务降级：页面仅提示启用 JavaScript

🔗 status.cloud.microsoft: Service degradation on Microsoft 365

该页面以 Microsoft 365 服务降级 为主题，但正文内容非常有限，仅说明需要 启用 JavaScript 才能运行应用，并未交代受影响的具体服务、用户范围、发生时间、当前状态或预计恢复时间。由于页面没有提供更多 故障详情，目前只能确认这是一则与 Microsoft 365 服务异常有关的提示信息，无法据此判断实际影响程度和修复进展。

5. 为什么写出正确软件如此困难：数学无法独自拯救我们

🔗 pron.github.io: Why writing correct software is hard and why math (alone) won’t help us (2016)

文章从可计算性与复杂性理论出发，指出软件正确性之所以困难，是因为它与停机问题、莱斯定理和忙碌海狸函数等根本限制紧密相关：不存在通用算法判定任意程序是否终止或满足非平凡性质，程序规模与验证难度之间的关系也无法被可计算函数统一界定。作者还强调，即使是几百行的小程序，其行为也可能独立于ZFC而无法被数学证明。因此，形式化方法和数学工具虽有帮助，却不能消除正确性的根本成本；程序与“完全理解、证明和正确”之间存在本质张力。

6. Rust 1.100 发布：never 类型落地，分配器与 Cargo 供应链能力升级

🔗 blog.rust-lang.org: Rust 1.100

Rust 1.100.0 正式发布，最大亮点是历经多年尝试后稳定 never 类型 !，并将 Infallible 改为其别名；这带来 editions 2024 之前 never type fallback 从 () 改为 ! 的罕见破坏性变更。此次还稳定 Allocator API 核心，允许 Vec 和 Box 使用自定义分配器，并新增 DropGuard、conjure_zst 等实用 API。Cargo 方面新增未使用依赖报告、改进构建缓存目录以减少碰撞，并引入 Cargo min-publish-age 依赖冷却，可延迟采用新发布版本以降低供应链风险。另有大量稳定 API 与内部改进。

相关报道：github.com (HN)

7. ZigZag：为 300 美元刺绣机自建免订阅应用

🔗 github.com: Show HN: My $300 embroidery machine needed a subscription, so I built my own app

作者因低价刺绣机被订阅限制，开发了 Rust 编写的可视化刺绣编辑器 ZigZag，内置 MCP 支持，让 AI 代理协同生成和修改设计。它可将 SVG 转为针迹，支持 PES、DST、EXP、JEF、VP3 多格式导出，并能蓝牙直传 Brother Skitch。软件含 Mac/Windows 客户端、CLI、多种针迹与走线规划、布料预设和数字化检查；界面类似 Illustrator，提供钢笔、画笔、路径运算、图片描摹和代理面板。

8. 让小旧设备跑大模型：1GB 内存也能上 16B

🔗 github.com: I’m making LLMs work on small and old devices

该项目用 llama.cpp 补丁 让电视盒子、旧平板和单板机运行尽可能大的语言模型，并在小米电视盒与 2013 款 iPad Air 上实测。它通过定制 1 位/2 位/三值内核、裁剪冷门词表行和 headless 模式降低内存占用，再以 专家按需从闪存分页 和预取机制，让 8B、16B MoE 模型 在约 1GB 可用内存下运行；密集模型也能按闪存速度流式读取。仓库提供补丁、模型重建与基准工具、部署文档和实验结果，采用 MIT 许可，后续将扩展到手机、路由器和单板机。

9. 任天堂重拳出击：GitHub大规模下架Switch模拟器与破解固件

🔗 ign.com: Nintendo Takes Down Emulators and Firmware in Massive GitHub DMCA Sweep

任天堂向GitHub发出四份DMCA下架通知，针对Switch模拟器Yuzu、Citron Neo及模组芯片固件，其中144个相关仓库已被移除并替换为通知。此次重点似是Picofly等可焊接到主机主板、用于绕过版权保护的芯片固件；任天堂称Switch含技术保护措施，防止盗版与未授权设备运行游戏。报道指相关固件仍在站外流传，任天堂也可能继续追打；文章还联系2024年Yuzu大规模下架及近期AI移植、重编译游戏遭开发商清理的背景。

10. 《雷神之锤4》废弃资料片获模组复活，现已可玩

🔗 moddb.com: Abandoned Quake 4 expansion finished by modders and now playable

openQ4 0.14.1“觉醒版”发布，让从未发售的《The Awakening》资料片可与原战役并列游玩；13张地图均由 openQ4 自有代码重建怪物、武器与载具，并修复了 alpha 内容中无法正常工作的部分。此次更新还带来稳定阴影映射、重做界面、Windows Vulkan、更智能 bots、实验性 Android/VR 支持，以及加载、HUD、多人、音频、语言和关卡编辑器等大量改进。玩家需自备《雷神之锤4》文件，该项目不附带资料片内容；开发者称这是面向 1.0 的一次 polish 推进。

11. AMD 深度访谈：Zen 6 与 Zen 6c 的架构进化

🔗 chipsandcheese.com: Talking Zen 6 with Mike Clark at AMD In-Depth

AMD 架构师 Mike Clark 在访谈中回顾 Zen 6 家族的演进：Zen 6c 不再只是密度方案，而成为配备完整 4MB/核 L3、最高 IPC 的性能核心，并通过更大队列、优化双解码前端、增加 VNNI 与四路向量加载等提升每周期效率。为平衡面积与调度，整数乘法单元从三个回到两个，L2 可稳定达到 64B/周期；分支预测在降低误判恢复延迟的同时保持甚至提升准确率，并用更大核心队列缓解 L3 延迟增长。

12. 新候选矮行星2026 ED138：绕日一周约281年

🔗 smithsonianmag.com: Dwarf planet candidate appears which takes roughly 280 years to orbit our sun

天文学家在薇拉·鲁宾天文台数据中发现矮行星候选体2026 ED138，它距太阳约为地球的46倍，轨道倾角近25度，可能曾受海王星引力扰动，绕太阳一周需约281年。研究人员回溯旧照片甚至1937年玻璃底片确认其存在。其直径估计为370至930英里，是否足够圆而成为正式矮行星仍需红外观测或掩星法确认。该发现也提示太阳系南部天空及银河背景附近仍有大量未探测天体。

13. 数据中心扩张：谁为电网买单？

🔗 news.cornell.edu: Data centers need power – lower income, rural residents pay the price

康奈尔大学研究显示，AI数据中心推高电网扩容与批发电价，却未按新增需求承担相应费用，形成成本转嫁。2025年四大电网中数据中心仅支付约38%的配套基础设施成本（31.2亿/82.5亿美元），其余62%主要由居民承担；低收入与农村居民受冲击最大，最低收入家庭额外能源支出可达收入28%。输电投资从2020年20亿美元升至2025年340亿美元，弗吉尼亚批发电价涨15%，加州湾区涨20%。研究也发现每吉瓦数据中心容量可带动约1.5万个岗位。作者建议通过削峰移荷、按新增需求直接收费、补贴低收入家庭及将税收优惠与就业和工资挂钩来平衡收益与负担。

14. Jane Street 软件工程面试将小幅调整

🔗 blog.janestreet.com: Our software engineering interviews are changing a little

Jane Street 表示，LLM 已深刻改变软件开发方式，但多数编码面试仍沿用传统形式。公司今年夏天开始为校招现场面试试行新形式：减少写代码，更侧重软件设计与代码审查，并考察用 LLM 生成代码、判断代码质量与意图的能力；多数轮次仍保留传统编码面试且不提供 LLM 辅助。新形式尚未覆盖所有现场面试，整体流程不变；候选人无需具备成熟的 LLM 方法论，重点仍是软件构建直觉、清晰思考工具优劣，以及设计与沟通能力。资深候选人的面试仍更多样。

15. 新加坡称美国在女间谍公司调查中“帮助有限”

🔗 nytimes.com: Singapore Says U.S. Not Helpful on Investigation into Suspected Spy’s Company

新加坡政府表示，美国在调查黄艾丽斯（Alice Huang）及其公司Megaspeed时提供的协助有限。新方称，2025年6月至2026年2月扣留黄护照，调查其公司潜在虚假申报，最终给予“严厉警告”并禁止其再入境。新加坡曾就超微（Supermicro）配合有限向美国司法部和FBI求助，但收效甚微；超微否认Megaspeed曾是其客户，称遵守出口管制。案件也引发对美国特朗普政府应对方式的质疑，新加坡警方仍在调查Megaspeed。

16. 22年PostgreSQL零日：类型混淆引爆RCE

🔗 mehmetince.net: 22-Year-Old PostgreSQL Bug Turned into Remote Code Execution

作者从pg_clickhouse漏洞研究追入PostgreSQL核心：Datum不携带类型，解释方式由OID和输出函数决定；他用LANGUAGE internal让int4值被textout按文本处理并致崩溃。受prepared statement启发，他想到查询可先解析、后执行，期间更改复合类型字段类型，最终发现潜伏22年的类型混淆原语，可把值按错误类型读取，形成极可靠内存破坏利用并实现远程代码执行。

17. LibreAGI：让开源模型不再随托管站点消失

🔗 libreagi.com: Libreagi – Save OSS Models

LibreAGI 是会员制私有 BitTorrent 追踪器，成员保存最可能消失的开源权重模型；按稀缺度计积分，单副本模型收益为基准四倍。权重接受 safetensors、GGUF、ONNX 等格式及 Apache-2.0、MIT 或 Qwen 社区许可，每个文件都对照来源提交校验，并由工作人员审核。其签名公开目录记录模型、哈希和来源，便于站点关闭后重建 swarm；公众可先通过 IRC 咨询并申请加入。

18. 罕见双星每8分钟发出射电脉冲

🔗 curtin.edu.au: Researchers discover rare star system that emits radio signals every 8 minutes

科学家发现稀有恒星系统GPM J071507−114153，由一颗每8分钟自转的白矮星和一颗类太阳G型恒星组成，这是首次观测到白矮星绕类太阳恒星运行并发出射电脉冲。该发现属于长周期暂现源（LPT）研究，脉冲清晰到可追踪白矮星轨道运动，表明信号来自白矮星附近甚至其自身。团队还探测到类太阳恒星的耀斑和强磁场等离子体环，并用MWA、MeerKAT和Keck确认其位置与光学对应体。研究者称，SKA建成后将发现更多此类系统并获得更精细的信号。

19. 中国前沿AI模型暴露受出口管制的Blackwell GPU指纹

🔗 unemploymentlabs.com: Chinese frontier AI models carry the fingerprint of export-controlled GPUs

对公开模型权重的取证分析发现，DeepSeek、Moonshot AI、MiniMax和蚂蚁集团自2026年4月以来发布的六款模型，其初始权重中的数值排列与NVIDIA Blackwell GPU的硬件指纹相符，而较早模型多匹配Hopper。研究者利用Philox随机数生成器的种子与线程布局反推GPU的SM数量，其中两款还在实体Blackwell芯片上复核。该证据支持这些公司使用Blackwell训练新模型，但不证明芯片所在地、获取方式或是否违反出口管制。按模型规模和训练数据估算，相关训练约需500至3000块Blackwell、历时两到三个月，成本可达数亿美元；其他多家中国实验室的新模型仍显示Hopper指纹。核心方法是基于模型权重指纹，并非泄密或内部消息。

20. ExcalidrawZ：Apple 平台原生 Excalidraw 客户端

🔗 github.com: ExcalidrawZ: Local Native Excalidraw on macOS/iOS

ExcalidrawZ 是面向 macOS、iPadOS 和 iOS 的 SwiftUI 原生客户端，保留熟悉的 Excalidraw 画布，并提供 文档式文件管理、分组排序、iCloud 同步与历史检查点。它可直接编辑 .excalidraw、.excalidraw.png、.excalidraw.svg，支持 Apple Pencil 手势、PDF 导入和 Mermaid 转可编辑图形。应用还集成 AI 绘图助手与 MCP 服务，可读取、创建、修改画布并预览提案；锁定文件会加密且对 AI 隐藏。用户可导出图片、可编辑文件和 PDF，并通过剪贴板、文件与系统分享进行备份。

21. PostgreSQL 多版本安全更新：14 终止支持，19 RC2 发布

🔗 postgresql.org: PostgreSQL 18.7, 17.12, 16.16, 15.20, 14.25, and 19 RC 2 Released

2026年11月12日，PostgreSQL 全球开发组发布 18.7、17.12、16.16、15.20、14.25 以及 19 RC2。此次更新修复了 52 个安全漏洞 和 140 多个缺陷，涉及任意代码执行、SQL 注入、越界读取及逻辑复制等问题。PostgreSQL 14 终止支持，生产环境应尽快升级。此次还发布 19 RC2。更新为累积式，通常无需导出重载；但若怀疑 GIN 或 pg_trgm GiST 索引受影响，或遇到 TOAST 缺失块错误，应重建索引；使用增量备份者建议更新后新建完整备份，并检查分区表 NOT NULL NO INHERIT 约束。

22. 英伟达前CEO黄仁勋再曝与另一名员工有染，辞职震动AI行业

🔗 reuters.com: Former Nvidia CEO Huang had a relationship with a second employee, sources say

据路透社报道，英伟达前CEO黄仁勋被曝与另一名员工存在亲密关系；此前与Alice Huang和Kimberly Powell的婚外情报道已导致其周四辞职。黄仁勋11月8日承认有婚外情，Alice Huang被美国情报部门怀疑为中国间谍。英伟达董事会任命CFO Colette Kress为临时CEO并寻找继任者，同时调查黄是否遭外国情报操作。消息令股价周四跌5.5%，10月初以来跌超30%，并可能扰动其参与塑造的AI行业。

相关报道：forbes.com (HN)

23. 基础模型框架：统一接入任意大语言模型

🔗 developer.apple.com: Foundation Models framework

该框架提供原生 Swift API，让应用统一接入任意大语言模型，包括 Apple Intelligence 的设备端模型与 Private Cloud Compute，并内置引导生成、工具调用、图像理解和动态配置文件。开发者可在同一会话中按需切换模型、工具与指令，借助图像与 Vision 能力完成 OCR、条码识别等任务；也可通过同一接口使用 Claude、Gemini 等服务器模型及符合 Language Model 协议的第三方 Swift 包。框架还提供评估框架、fm 命令行工具、开源工具包与 Python SDK，帮助测试提示词、构建智能体并加速开发。符合条件的开发者可免费使用 Private Cloud Compute 上的 Apple Foundation Models，但须遵守可接受使用要求及 AI Act 相关文档说明。

24. 自托管网站被“合法DDoS”逼到退网？

🔗 lowkey.party: Running web sites makes me not want to

作者讲述多年自托管网站的疲惫：LLM爬虫以及来自大型云厂商、Meta等无理由访问的流量，甚至饱和上传带宽；尝试Anubis因延迟放弃，用iocaine又被生成内容拖垮，最终用nftables丢弃大段云IP并加nft-blackhole缓解。他感到维护网站所需防护门槛越来越高，普通技术爱好者很难再拥有个人站点，除非付费给大厂CDN。受此影响，他多年未更新摄影网站，正考虑撤掉数字图片，改为按活动销售实体zine，只保留线下作品，以避免自己的时间和作品继续喂养企业级网页抓取。他怀念人人有个人网站的旧网络，也无奈于当前AI训练数据攫取对创作生态的侵蚀，但希望转向实体创作能成为一点安慰。

25. AI热潮或迎回调，但未必酿成金融灾难

🔗 economist.com: Why You Should Expect an AI Crash

文章认为，AI模型能力正以超预期速度提升，Anthropic有望启动史上最大AI公司IPO之一，但繁荣已显脆弱：英伟达遭遇性丑闻与间谍丑闻冲击，美国民主党在中期选举获胜后可能加大对数据中心和与特朗普关系密切的科技巨头施压。因此应预期AI崩溃或行业回调，却未必演变为全面金融灾难；核心问题是市场对科技泡沫与政策风险的担忧是否被低估。