今日速览

2026年10月27日 · 星期二

• Anthropic 递交 S-1 准备上市：今日热度断层第一（1461 分、1430 评论）。评论区最关心三件事：增速放缓、算力承诺上千亿美元、开源模型算不算风险。
• 微软给约 6 万人（约四分之一员工）发「自愿离职」方案，12 月初前决定。大公司在用 AI 资本开支挤人力成本。
• OpenAI 一天两件事：GPT-6.1 Terra 比上一代 Terra 和 6.1 Sol 便宜一半，主打电脑操作和办公；另宣布模型证明了数学、CS、物理三项新结果，「指数时间假设（ETH）为假」最震撼。
• 多租户推理的新坑：Cloudflare 公开 GLM-5.3 在超长提示下把别人会话的内容回给了用户，共 155 条——上下文窗口宣称值大于实际缓存容量是根因之一。
• 本地 AI 与内容生意：开源 Hob 想做「跑在自己电脑上的 Claude Cowork」；CSS-Tricks 换回创作者手里，教程站在 AI 时代怎么活成了讨论焦点。
• 其他：太阳能发电量超过核电；新 iPad mini 换 OLED 但涨价近四成；Pascal 发明了固定线路公交；33 年前的空当接龙还能在 Win11 上跑。

Anthropic 递交 S-1，正式冲刺 IPO

10 月 26 日向 SEC 提交上市申请，PBC（公益公司）架构加长期利益信托。HN 今日最热帖。

账面看是一家增长极快、毛利不错的公司；真正的问题是这种增长能不能撑住几千亿美元的算力承诺。

微软给约 6 万人发「自愿离职」方案

约占员工四分之一，覆盖美、加、印、英 VP 及以下员工，12 月初前决定。

「自愿」二字是给选择权，也是给压力：不接，可能下一轮就是裁员。

GPT-6.1 Terra：价格砍半，主打电脑操作和办公

OpenAI 中档模型更新，API 标价比 GPT-5.6 Terra 和 GPT-6.1 Sol 低 50%。

这是给「大量重复办公任务」用的模型，不是给最难的编程用的——OpenAI 自己也这么说。

OpenAI：模型证明了数学、CS、物理三项新结果

包括局部光滑化猜想、「指数时间假设为假」、Yang–Mills 存在性，并配合 Lean 形式化验证。

长期未解的问题正在「几周倒下一批」，而且集中在能被机器快速检验对错的领域。

Cloudflare 承认 GLM-5.3 把别人的回复串给了用户

超长提示触发 KV 缓存越界，155 条回复含其他客户请求的内容，已和 SGLang 联合披露。

多租户推理不是天然隔离的；「宣称的上下文长度」和「实际能装下的长度」不一致，就是事故的种子。

Show HN：Hob，开源的本地版「Claude Cowork」

在 Mac/Windows/Linux 上跑 Gemma、gpt-oss 等开源权重模型，离线可用，MIT 协议。

本地 AI 助手已经很多，但「装完就能用、能碰本地文件、不上云」仍有人愿意为它点赞。

Raschka 推出 11 小时「从零构建推理模型」视频课

8 集 PyTorch 编码课：评估、推理时扩展、强化学习、蒸馏，配套其新书。

从零写一遍不是为了训练出能用的模型，而是为了真正看懂现在每个模型都在用的推理机制。

CSS-Tricks 换了新主人：创始人从 DigitalOcean 手里接回

被收购多年后近乎停摆，现由最活跃的贡献者 Geoff 接手。

老牌教程站回到用心的人手里是好事，但 AI 正在吃掉「教人写代码」这块饼。

论文：「指数时间假设」是错的

OpenAI 公开的预印本：确定性算法以亚指数时间精确计数 k-CNF 的可满足赋值。

理论上的大地震，实践上暂时没用——算法是「天文级」的。

微软发布 Type Server Protocol：把 Python 类型分析拆成服务

Pylance 仓库里的一份协议文档，用 JSON-RPC 查询类型信息，沿用 LSP 的数据格式。

名字听着通用，其实只服务 Python；社区怀疑是微软为 Pylance 续命。

Win11 上还能跑的最老 GUI 程序是哪个？

作者找到 1993 年 2 月的 Win32s 版空当接龙，原封不动能玩，又往更早的 NT 预发布版挖。

Win32 也许是唯一稳定的 ABI；33 年前的程序还能跑，是微软兼容性的硬功夫。

微距拍摄：打印机喷墨落纸的瞬间

德国 25 岁微距摄影师 @macrofying 的系列视频，单条约 57 万次观看。

把日常机器放大到墨滴尺度，本身就是好内容。

64KB 内存里能做多少 LISP 的事（2019）

T3X 的长文：在 PDP-11 级别的 64KB 里塞下 LISP 系统、运行栈和 cons 池。

资源约束逼出好设计，这是一篇关于「少即是多」的老文。

「尼采式调试器」：不给答案、只追问你的 AI

开源工具，用对抗式提问逼开发者自己找到 bug，自称「反 AI」却要 Anthropic API key。

好想法（苏格拉底式追问帮人学习），但名字和「反 AI」定位都被挑了刺。

冯·诺依曼：为什么这个「未来人」停不下抽象

Murat 读《The Man from the Future》的笔记：53 年人生开创了一串学科。

一个人能横跨集合论、量子力学、博弈论、蒙特卡洛和存储程序计算机，靠的是对「思考」本身的上瘾。

你的 ColdFusion 服务器上，是否偷偷跑着 PHP？

作者发现从没装过 PHP 的 IIS 服务器上残留着 PHP，教你用 PowerShell 查并安全删除。

你不知道自己装了什么，就不知道自己暴露了什么。

太阳能发电量正式超过核电

BBC 分析 Ember 数据：截至 2026 年 9 月的 12 个月，太阳能发电比核电多 13%。

十年前只占全球 1% 的太阳能，2026 年将到 10%——便宜到「冒犯」。

新 iPad mini：换 OLED、8.5 英寸，但涨价近四成

A20 Pro 芯片、防水防尘、横向前置摄像头；评论吐槽 60Hz 和价格。

硬件规格是「史上最大更新」，评论区最大的声音却是：太贵了。

在 2 美元的单片机上用 SIMD 做计算机视觉

作者为 ESP32-S3 写了 SIMD 加速的 FAST 角点检测，速度约为参考实现的 2 倍。

便宜芯片里藏着少有人用的能力，挖出来就是性价比。

帕斯卡发明了固定线路公交（2024）

1662 年巴黎「五苏马车」：固定路线、7.5–15 分钟一班，不用看时刻表。

公交的发明不是车，而是「服务」：固定线路 + 高频率，让人敢不查时刻表就出门。

Diamond Foundry 展示全钻石晶体管

与斯坦福合作，用表面转移掺杂做钻石 MOSFET，号称开关快 50 倍。

钻石晶体管还远，钻石做散热基板更可能先落地。

Pharo 14 发布：纯面向对象的 Smalltalk 环境

新版集中在现代化开发工具；评论在聊 AI 时代小众语言的命运。

AI 让人不再在乎用什么语言——这对小众语言既是坏消息也是好消息。

网站应该能好好打印

作者发现自己的网页按 Ctrl-P 效果很差，于是讲怎么用打印样式表修好。

能打印是「内容为本」的试金石，也能省掉很多「给我导出 PDF」的需求。

Sigma FP2：极小的模块化全画幅相机

延续 fp 系列的超紧凑设计和像素数，主打视频博主和混合创作者。

机身做小只是一半，镜头大小才决定你愿不愿带出门。

开源 Nginx 原生 Prometheus 指标模块

Categorica 不想再跑一个 sidecar 容器导出指标，于是写了 Nginx 模块直接输出。

少一个进程，少一个需要被监控的东西。