1. Claude Haiku 5.5：更快、更便宜的小模型登场；
2. Chrome 155 开始支持 JPEG XL：更小、更清晰、更安全；
3. 维萨万事达及大银行再遭反垄断诉讼：商户手续费争议升级；
4. GPT-6 与人人可用的智能界面；
5. 经典 Commodore 64 键帽字体：C64 Keyboard 从照片复原；

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

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

1. Claude Haiku 5.5：更快、更便宜的小模型登场

🔗 anthropic.com: Claude Haiku 5.5

Claude 发布 Claude Haiku 5.5，定位为史上最快、最强且最便宜的小模型，适合高并发、成本敏感任务，如摘要、压缩、数据库查询、分类、客服与浏览器操作，也可作为 Opus 5.5/Sonnet 5.5 的子代理。其运行成本平均比 Haiku 4.5 降低约75%，并首次加入 可调努力设置，让用户权衡成本与智能。多项基准显示其性能显著优于 Haiku 4.5，早期客户反馈速度与准确率提升。Anthropic 同时将 Sonnet 5.5 缓存读取价格减半，并为 Max/Team 订阅者提供每月 API 额度。Haiku 5.5 已在 AWS、Google Cloud、Microsoft Azure 等平台上线。

2. Chrome 155 开始支持 JPEG XL：更小、更清晰、更安全

🔗 developer.chrome.com: Shipping JPEG XL in Chrome

Chrome 自 155 版起正式加入 JPEG XL 解码支持。该格式比 JPEG 压缩率提升 30–50%，并支持无损压缩、HDR 和无损 JPEG 转码，适合高保真与渐进式图片。为降低解码器攻击面，Chrome 采用纯 Rust 解码器 jxl-rs，并通过 SIMD 优化在保证性能的同时强化 内存安全；测试未发现内存安全漏洞。此举回应了开发者与 Interop 项目的持续呼声，官方建议同时尝试 AVIF 与 JPEG XL，并鼓励开发者开始使用 .jxl 图片和动画。

3. 维萨万事达及大银行再遭反垄断诉讼：商户手续费争议升级

🔗 classaction.org: Visa, Mastercard, major banks facing new litigation over ‘anticompetitive’ fees

圣迭戈一家披萨店提起集体诉讼，指控维萨、万事达与花旗、富国、美国银行、第一资本、大通等大型银行长期合谋，通过统一交换费及“反竞争规则”抬高商户信用卡交易成本，使商户每年支付超1000亿美元且无法转向低价支付方式。诉状称，先前逾50亿美元和解仅覆盖至2019年1月24日，新案拟代表自2019年1月25日起继续接受相关信用卡的商户，依《谢尔曼反托拉斯法》追责。

4. GPT-6 与人人可用的智能界面

🔗 openai.com: GPT‑6 and Intelligent UI for everyone

OpenAI 于 2026 年 10 月 7 日推出面向 ChatGPT 全体用户的 GPT-6，并带来 智能界面（Intelligent UI）。它可按问题自动组合文字、图形、按钮、表单、图表和交互组件，让日常回答更直观、复杂知识更易学，还能即时生成计算器、分账工具或小游戏。GPT-6 Instant 支持边思考边回答，联网搜索时平均提前 44% 开始作答，并提升搜索与难题处理质量。OpenAI 还强化了 安全性，增强对多轮越狱、高风险滥用和诚实边界的防护，同时减少无害请求的误拒。该更新先在 Plus、Pro、Business、Enterprise 的 Chat 标签推出，次日扩展至 Free 和 Go；Work 与 Codex 模型不变。未来 ChatGPT 将围绕任务生成所需界面，让软件适应人。

5. 经典 Commodore 64 键帽字体：C64 Keyboard 从照片复原

🔗 github.com: A font recreated from photographs of classic Commodore 64 keycaps

C64 Keyboard 字体 是一款依据经典 Commodore 64 键帽照片复刻的字体，字形经过清理并保持统一比例。用户可安装 TTF 或 OTF，也可通过浏览器预览试用；在预览中点击功能键或 PETSCII 按钮可插入符号，再复制到应用并选择该字体。它包含大写字母、数字、标点、箭头、£、π、部分重音字母和匈牙利字符，以及 f1–f12 功能键标签和全部 63 个 PETSCII 前图例；小写输入会显示为大写。字体源自作者的一台中欧版 Commodore 64，PETSCII 图形是由参考资料与键盘照片推断重建的轮廓，并非精确照片描摹。若安装旧版，应替换为 1.112 并重启应用。项目以 CC0 1.0 公共领域 发布，可修改、再分发甚至商用且无需署名，但照片未包含在内，也不涉及历史键帽设计或商标权利。它是独立非官方重建，未获 Commodore 认可。

6. bigwords.page：用链接把任意屏幕变成大字标牌

🔗 bigwords.page: Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app

bigwords.page 能把任何屏幕变成全屏标牌、计时器或信息展示，核心是链接本身就是应用：消息写在 URL 的 # 后，设置用 &key=value，支持换行、标题、用 || 分页轮播，也可通过内置编辑器生成。它适合接机牌、倒计时、Wi-Fi 密码、会议议程、新闻滚动、生日祝福等场景。文字会自动适配手机、平板、电视等任意浏览器屏幕，并支持 Markdown、幻灯片、倒计时、二维码和图片。因为是无需账号、应用或服务器存储，且消息只存在 URL 片段中、不会发送到服务器，所以分享、收藏和打开全屏都很方便，隐私性也更好。

7. 2026年诺贝尔化学奖：化学如何选择镜像分子

🔗 nobelprize.org: Nobel Prize in Chemistry 2026 to Henri B. Kagan and Kenso Soai

瑞典皇家科学院将2026年诺贝尔化学奖授予亨利·B·卡根与Kenso Soai，表彰他们发现非线性效应与自催化在不对称有机合成中的作用。生命分子具有同手性，只采用两种镜像分子中的一种，这一直是化学谜题。卡根1986年找到让一种镜像体大幅过量的方法；Soai于1995年设计出可能实现同手性的反应，并在2003年首次使反应只生成一种镜像分子。这些发现解释了同手性如何自发出现，并推动手性药物等制造。

8. 网页动态 ASCII 艺术：让字符在浏览器中动起来

🔗 ascii.rest: Animated ASCII Art for Web Pages

该项目把动态 ASCII 艺术做成可直接用于网页嵌入的展示，提供“仍然播放”、GitHub 源码以及深色模式切换入口。页面主体是一幅由点、圆圈、特殊符号等字符组成并持续变化的动画，呈现出复古终端风格，同时带有轻微随机感和节奏感。它既能帮助开发者了解如何用纯文本实现动画，也可作为轻量的视觉装饰，为网页增添独特的字符美学和互动氛围。整体适合怀旧风格站点、个人主页或创意演示。

9. Meta与微软限制员工用Claude，转向自研AI编程工具

🔗 rswebsols.com: Meta and Microsoft take steps to reduce employee usage of Claude AI

Meta和微软正削减内部Claude使用，转向自研编程工具，以控制AI成本并强化开发者生态。微软原预计年内部支出超10亿美元，后下调超三分之一；员工月度AI支出上限从10万美元降至约1万美元，但面向客户的Claude访问未停。Meta的Claude Code用户从约6万降至约3万，主因转向MetaCode和Muse Code；Meta在28天内仍向Claude Code投入超1.05亿美元。安全风险未消失，自动访问敏感文件、命令和凭证仍需严格权限与审查。Anthropic年化收入达650亿美元，表明需求仍强，此举更多是预算收紧与竞争加剧。

10. GitHub Git 操作、拉取请求与 Actions 故障已解决

🔗 githubstatus.com: Incident with Git Operations, Pull Requests and Actions – Resolved

2026年10月7日，GitHub 出现影响 Git 操作、拉取请求和 Actions 的服务故障，Webhooks 与 Issues 也短暂受到影响。UTC 15:06 至 15:16 之间发生广泛服务性能下降，随后各系统逐步缓解并恢复。至 16:25 UTC，该事件已正式解决，服务恢复稳定；官方表示根因已确认，正在应用缓解措施以防复发，详细根因分析将在可用后发布。

11. 玛格丽特·汉密尔顿逝世：她以软件将人类送上月球

🔗 news.mit.edu: Margaret Hamilton, who led software development for the Apollo program, has died

玛格丽特·汉密尔顿领导MIT团队为NASA阿波罗计划开发机载飞行软件，9月30日去世，享年90岁。她推动软件工程成为独立学科，并以防御性编程和优先级驱动软件保障阿波罗11号登月：着陆前计算机触发1202过载警报，系统自动舍弃非关键任务。她后创办公司，获2016年总统自由勋章，并成为女性科技先驱。她的一生被视为计算机科学与航天史的里程碑。

12. 纳维–斯托克斯方程翻译失真：Lean 验证为何不保证自然语言证明正确

🔗 arxiv.org: Navier–Stokes Lost in Translation

该论文指出，自动形式化 虽可将自然语言数学文本译成 Lean 并由机器验证，却无法保证原自然语言论证正确。由于数学语言歧义多，要做到 语义忠实翻译 极其困难；作者证明该问题在 可解复杂性指数（SCI） 与算术层级中任意高，SCI 为无穷，甚至比停机问题更难。文中给出多个 AI 误译实例，包括 OpenAI 宣称的纳维–斯托克斯解爆破证明，表明其 Lean 形式化证明与原始自然语言证明并不对应。

13. 软件博客的常见反模式：别让读者迷路

🔗 refactoringenglish.com: Anti-patterns in software blogging

文章整理软件博客常见反模式，核心是尊重读者注意力。开篇绕圈会让读者不知价值，应在标题和前三句说明“写给谁、有何收益”，并减少副标题、图片、名言等前置干扰。不要高估读者背景知识，少用 cgroups 等术语，或给出最小解释。过度链接把理解成本转嫁给读者，应让文章可独立读完，链接只作补充。续集注入要求读者先读旧文，最好改写成可独立阅读的文章。还要避免过度正式，像说话一样写；并检查手机端溢出、低对比度字体等问题，保证基本可读性。

14. 数学末日：AI 一夜攻克数学？

🔗 scottaaronson.blog: The Mathocalypse

Scott Aaronson 记录 OpenAI 一次性发布 372 项重大数学成果，其中包括 Unique Games Conjecture（UGC） 的证明，令他妻子、复杂性理论家 Dana Moshkovitz 百感交集。证明虽有 Lean 证书，却晦涩到几乎无人能读懂，数学界开始竞相消化。其他突破还涉及 L=BPL、整数乘法、量子复杂性、矩阵乘法等；但 P≠NP、P=BPP 等仍未解决。文章还对比 OpenAI 模式（直接倾倒原始 AI 证明，引发人类追赶）与 Anthropic 模式（让入选数学家整理发布），并讨论 AI 求解约 5% 长期开放问题后，数学社区的震撼、怀疑与适应。Aaronson 最后以《终结者 2》作结，暗示下一代将面对这个新世界。

15. Docker Agent：无代码构建多智能体

🔗 github.com: Docker Agent

Docker Agent 是 Docker CLI 插件，可用 YAML 配置 无代码构建、运行和分享 AI 智能体，并支持 多智能体协作 自动委派任务。它具备 MCP 工具生态，兼容 OpenAI、Anthropic、Gemini、AWS Bedrock、Docker Model Runner 等模型，还内置推理、记忆、RAG 与混合检索。智能体能打包至 OCI 仓库并随处运行，Docker Desktop 4.63+ 预装，也可经 Homebrew 或二进制安装，设置模型后即可用 docker agent run 快速开始。

16. 英国住宅地下15米隧道网挂牌30万英镑拍卖

🔗 readingchronicle.co.uk: House with 15m underground tunnels for sale for 300k

一名土木工程师在雷丁Tilehurst的住宅下，耗时二十多年手工挖出超过1300平方英尺、最深15米的地下空间，内有隧道、储藏室、暗门、一吨货物升降机和手建铁路，泳池火箭内还藏有秘密入口。物业含三层车间、泳池、花园及停车位，已有未来住宅改建许可，将以30万至32.5万英镑指导价于10月28至29日直播拍卖。拍卖方称其可用作安全储藏、防空洞、抗电磁脉冲数据中心或末日准备者乐园。

17. 浏览器里重编译 PSP 战神：无需模拟器，60 帧运行

🔗 github.com: God of War on PSP, recompiled to WebAssembly and running in the browser

该项目把 PSP 游戏的 MIPS 机器码提前翻译为 C++，再编译为 WebAssembly，并配合小型 PSP 操作系统与图形芯片重实现，通过 WebGL2 直接在浏览器运行。首个作品《战神：奥林匹斯之链》可从启动、菜单、过场到战斗以 60 帧运行，支持最高 4 倍分辨率、手机触控与音频，暂时跳过影片；《战神：斯巴达之魂》也经少量 DRM 解密、系统调用和光照修复后达到 55 至 60 帧。项目不包含游戏数据，用户需自备合法光盘镜像，脚本会生成网页。实现上包括 静态重编译、高层的系统调用模拟、GE 显示列表解码、双线程渲染与 AudioWorklet 音频。作者还总结性能优化：限制垂直同步交换、避免 WebAssembly 计时 BigInt、调整 WebGL 索引与顶点缓冲、优化模板与 alpha 全屏操作，并把图形线程独立。当前仅验证两款 Ready at Dawn 游戏，其他游戏可能卡在未实现系统调用或 GE 特性。托管需跨源隔离以使用 SharedArrayBuffer，生成代码归游戏版权方，不应发布。

18. 全球日益担忧：社交媒体正在损害民主

🔗 pewresearch.org: Across the Globe, People Increasingly Say Social Media Is Harming Democracy

皮尤研究中心2026年对37国调查显示，多数有趋势数据的国家中，认为社交媒体损害民主的比例较2022或2023年显著上升。美国64%持此看法，富裕国家总体更负面；但全球中位仍有55%认为社交媒体对民主是好事、35%认为是坏事，年轻人更偏正面。人们既认可它让人更知情和更有政治发声渠道，也担心虚假信息操纵与政治分裂，多国后一担忧明显增加。

19. 谷歌 Playground：无代码分钟级造游戏

🔗 labs.google: Google Playground

Google 推出实验性游戏平台 Playground，用户可通过 文本提示 在聊天式界面中 无需编程 快速制作自定义游戏，主打分钟级完成。它适合业余爱好者和对 AI 好奇的人，可选择问答、塔防、竞速等热门类型，也能从零开始创作。平台还设有发现与灵感专区，展示他人作品。官方提示该服务可能需订阅，仅在部分国家面向 18 岁以上用户开放。

20. AI 辅助证明：11 个正方形的最优装填

🔗 github.com: AI-assisted proof of optimal packing for 11 squares

十一个正方形最优装填的完整证明已在 Lean 中通过验证。EvolvingPrograms 的验证运行接受了全部 7,920 个本地 Lean 模块，最终审计报告为 零 admissions，并导入了指定提交 1bf942a7af1ea330e95489d8997deebd4227ca71 的证明源码与固定构建配置。昂贵的精确数值证书检查使用 native_decide，而几何、检查器健全性与证明组装仍保留普通 Lean 证明。因此，最终定理依赖 Lean 内核与原生编译器，并非仅依赖内核的验证声明。

结果给出最优边长为
[ T=\frac{6u+4}{1+2u-u^2}, ] 其中 (u) 是方程
[ 5u^8-10u^7-2u^6+14u^5+12u^4-6u^3+2u^2+2u-1=0 ] 在区间 ((9/25,37/100)) 内的唯一根；构造值约为 (3.8770835900228141773)。模型允许任意方向、合法边界接触与不相交的内部。复现验证需固定 Lean 4.34.1 和指定 Mathlib 修订，检查 OPTIMALITY_PROVED_WITH_NATIVE_CERTIFICATES、零 admissions 以及 trust_model: lean_kernel_and_native_compiler，也可用 check_sources.py 进行仅源码检查。

21. Google Playground：用文字创造并畅玩自定义游戏

🔗 blog.google: Google Playground: Create and play custom games

Google 发布实验性游戏平台 Playground，用户无需编程，只需输入文字提示即可创建、试玩和分享自定义游戏。它提供对话式界面，可调整规则、物理、角色与环境，并支持私密分享或发布到 Explore 画廊。游戏基于浏览器，可在手机或电脑游玩，部分类型含 多人玩法与排行榜。所有发布内容会按社区准则接受安全筛查。未来还将整合 Unity Spark，带来专业级机制、高保真 3D 与 Unity 运行时；目前先在美国向 18+ 用户开放，创建权限按 Google AI 订阅分层推出。

22. PS5越狱狂潮加速：索尼面临空前压力

🔗 pushsquare.com: PS5 Jailbreaks Are Escalating at an Unprecedented Pace

过去一周，PS5 越狱进展惊人，新漏洞支持 固件 v7.00 至 v13.60，覆盖多数未升级主机；v13.60 是今年7月发布，较新。AI 工具助力下，改装者已装多种模拟器，从 Switch 到初代 Xbox，性能不一但速度惊人。抢购合适固件主机推高二手价，GameStop 的 PS5 Pro 甚至达 1500 美元。同时 PC 模拟 PS5 也快速发展，部分独占如《恶魔之魂》可在 PC 运行。索尼预计将频繁推送固件修补，但旧固件漏洞难挡；这可能加重其压力，甚至影响 PS6 过渡节奏。

23. 像1866年一样写作：大模型重新学会电报体

🔗 fiveminutesforward.com: Write Like It’s 1866: LLMs Relearn Telegraphese

文章把 LLM API 的 按 token 计费 比作 1866 年跨大西洋电报按词收费，并检验两种旧压缩策略。商业代码本只能节省约 10%，因为多数文本并非字典形状；而让模型用 电报体（cablese） 写机器可读记录，可在自身计费口径上节省 40%–49%。跨模型测试显示，读者模型从压缩记录答题的恢复比为 0.99–1.10，意味着理解力基本不降甚至略升，且无需训练或改 API，只需一句指令。它最适合内容已定稿、供模型消费的场景，如草稿、记忆库、代理间交接；需要给人看时再展开，仍低于纯文本成本。要点是：机器可读记忆 可用电报体扩容近一倍，输出账单近乎减半；但必须用可关闭推理的模型，否则如 gpt-5-mini 会因强制推理反而更贵。与自发涌现但不可读、不稳定的代理协议相比，电报体是人类可读、可审计、可复现的既定格式。Telegraph Test 用固定问答和配对检验量化这种压缩，结论是它跨家族可用，却被普遍忽视。

24. SynthID 检测器

🔗 synthid.com: SynthID Detector

该文本仅包含 SynthID 检测器 这一名称，没有进一步说明其 功能说明、工作原理、适用场景、使用方法、技术细节、准确性或限制条件。因此，目前只能确认它是与 SynthID 相关的检测工具或入口；若要形成完整摘要，还需补充更多页面内容、产品文档或官方描述。现有信息不足以判断它如何识别 AI 生成内容、支持哪些格式，以及是否对外开放使用。

25. 把 if 上推、把 for 下放：惯用法、代数与限制

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

该文解释 TigerBeetle Tiger Style 中的启发式：把 if 上推、把 for 下放，即让父函数或调用方集中处理分支，把无分支逻辑下沉到辅助函数；把循环推迟到过滤之后并包装成批处理，让热循环无分支、利于向量化。数据库优化中对应早期投影与选择、延后连接，以及批/向量化执行。范畴论视角把条件上推视为把输入限制到子对象，如用 Walrus 代替 Option；filter/map 的合法重写由 catMaybes 的自然性给出：filter p . map f == map f . filter (p . f)，但只有当 p . f 化为便宜的输入谓词时，才省下对注定被丢弃元素调用 f 的开销。文章强调，这些重写并非无条件成立：**控制流集中**需条件循环不变、连接谓词只引用单侧列等，否则只能移到边界并用类型记录。核心是：**代数决定合法性，成本决定收益**。