微软发布 Type Server Protocol：把类型检查从编辑器里拆出来
DEV
微软 Pylance 团队在 pylance-release 仓库发布 Type Server Protocol（TSP）文档，试图为「类型检查服务」定义一套标准协议：编辑器只做客户端，类型检查器作为独立进程提供诊断、补全与跳转。背景是 LSP 已统一语言服务接口，但 Pyright/Pylance、mypy、ty 等类型工具与编辑器的集成仍各自为政。该提案在 Hacker News 拿到 189 分、139 条评论。若被采纳，Python 类型工具将变得可互换，更换检查器不必重写插件，也为其他语言的类型服务提供参照。
winevdm：让 64 位 Windows 重新跑起 16 位 Windows 程序
DEV
GitHub 项目 otya128/winevdm 让 64 位 Windows 重新运行 16 位程序：Windows 1.x/2.x、3.0、3.1 时代的老应用与游戏，通过基于 Wine 的 16 位加载器跑在现代系统上。微软自 32 位 Windows 起逐步移除 NTVDM，64 位系统彻底没有 16 位子系统，工业控制、老旧内部工具因此长期困在虚拟机里。项目把 OTVDM/WineVDM 打包成可直接下载的构建，并在 Hacker News 引发讨论。对需要维护遗留系统的团队，它是比整机虚拟化更轻的选项，也再次说明兼容性是 Windows 最深的竞争壁垒。
Hob：MIT 开源的本地版 Claude Cowork / ChatGPT 桌面端
AI
FrigadeHQ 开源桌面应用 Hob（MIT 许可），支持 macOS、Windows、Linux，定位是 Claude Cowork 与 ChatGPT 桌面端的本地替代：同样能读取并操作你的本地文件，但模型跑在自己电脑上，用开源权重推理。作者 Christian 称项目只花了几周，代码全部公开。它解决的是隐私与成本问题——把合同、代码、笔记交给云端助手前不必再犹豫，也适合离线或内网环境。对开发者而言，Hob 是一个可参考的「本地模型 + 工具调用 + 文件系统权限」完整样例，说明端侧 Agent 已能撑起日常任务。
Pharo 14 发布：把「改代码」变成「改正在运行的系统」
NEW
开源 Smalltalk 环境 Pharo 于 10 月 26 日发布 14 版，官方公告提供新镜像、虚拟机与迁移说明。Pharo 一直坚持「活的对象系统」路线：代码、数据与运行中的程序同在一个可热更新的镜像里，改完立即生效，调试器可以直接修改正在跑的栈帧。Hacker News 上该发布获得 239 分、63 条评论，讨论集中在 Smalltalk 的实时性对小团队探索性开发的价值，以及封闭镜像与现代 Git/CI 工作流之间的摩擦。对厌倦了「改一行、等一次构建」的开发者，Pharo 14 仍是最省事的可编程运行时样本。
教程：用预签名 URL 做带有效期的文件导出下载
DEV
Dev.to 教程《用预签名 URL 实现带临时下载链接的文件导出》，给出对象存储导出功能的一套稳妥做法：导出文件始终私有，导出任务完成后才生成带有效期的预签名链接，并把过期时间单独保存到数据库，让「删除」逻辑可被测试。文章强调三个易错点：不要把存储桶设为公开读；链接一旦泄露，在有效期内无法收回，因此有效期要短；过期检查与对象删除要分开验证，避免测试只覆盖其中一条路径。对做报表导出、账单下载的团队，这是把「临时授权」与「数据生命周期」分开建模的最小可行方案。
iOS 27.2 起五个欧盟国家强制使用新版 ATT 弹窗
NEW
从 iOS/iPadOS 27.2 起，苹果在法国、德国、意大利、波兰、罗马尼亚五国强制使用「扩展版」App Tracking Transparency 提示，旧样式弹窗不再被接受。Dev.to 文章梳理了实际改动：提示文案与选项布局变化、需要在工程中声明追踪用途并适配新回调，未更新的应用可能在上架审核时被拒。背景是欧盟 DMA 与隐私监管压力下，苹果对追踪同意流程做的本地化调整。对面向欧洲市场的 App 团队，这是必须在 27.2 推送前完成的合规改动，也意味着买量归因数据短期会波动。
阮一峰周刊 416 期：编程已经面目全非
阮一峰《科技爱好者周刊》第 416 期，标题《编程已经面目全非》。这一期的主打话题讨论 AI 编码工具普及之后，「写代码」这件事本身发生了哪些结构性变化：从人写每一行，到人描述意图、机器产出、人负责审查与验收，以及随之而来的调试、评审与责任归属问题。周刊同时保留本周科技动态、工具与资源推荐、文摘与读者留言等固定栏目。作为中文技术社区持续更新最久的周更之一，这一期的价值不在给出结论，而在于把很多开发者隐约感觉到、却没说清楚的职业变化摆到台面上。
OpenAI 称在数学、CS、物理取得新发现，预印本挑战「指数时间假设」
HOT
OpenAI 发布官方文章，宣布在数学、计算机科学和物理三个方向取得新发现，同时在 GitHub 的 openai/math 仓库放出预印本《The Exponential Time Hypothesis Is False》（10 月 25 日）。指数时间假设（ETH）是复杂性理论的核心假设之一：若 3-SAT 无法在次指数时间内求解，大量问题的下界由此推出，如今这一假设被正面挑战。Hacker News 两条讨论合计超过 600 分、250 条评论，焦点在证明是否成立、AI 在其中的贡献比例。需提醒的是预印本尚未经同行评审，但其影响面已远超一次普通模型发布。
Cloudflare 复盘 Workers AI 的 KV cache 跨请求暴露事件
HOT
Cloudflare 发布事故复盘：Workers AI 平台上 GLM-5.3 模型的推理 KV cache 出现跨请求暴露，最多 155 条响应可能读到了其他会话的缓存内容。原因是缓存键的隔离维度不足，多租户场景下未能按请求/用户切分。Cloudflare 已修正键设计、清理受影响缓存并通知相关客户。这件事的重要性在于：KV cache 复用是大模型推理降本的关键手段，几乎所有推理框架都在做前缀缓存，但复用的边界一旦画错就是数据泄露。自建推理服务的团队应把「缓存键即安全边界」写进设计评审。
在 Windows 11 上还能跑的最古老 GUI 程序
DEV
博客文章《在 Windows 11 上仍能运行的最古老 GUI 应用》做了一次考古：作者逐一尝试 Windows 1.x/2.x 时代的图形程序，确认哪些能通过系统的兼容机制在最新 Windows 11 上启动，并解释 16 位、32 位子系统在这条链路上各自扮演的角色。文章在 Hacker News 获得 281 分、179 条评论，很多人分享了自己维护老程序的经历。它的价值不只在怀旧：向后兼容是 Windows 最难被替代的资产，也提醒开发者，一个看似「永远在线」的内部工具，可能要在没有任何源码的情况下再撑十年。
为什么工程师停不下抽象：给「提前设计」算一笔账
分布式系统研究者 Murat Buffalo 的博文《来自未来的人：为什么 Johnny 停不下抽象》，讨论工程师为何总在加一层抽象，以及这笔账最后由谁买单。核心观点是：抽象本质上是向未来借债，押注需求会朝某个方向变化；押对了降低了认知负担，押错了就把复杂度藏起来，问题爆发时连本带利偿还。作者用「来自未来的人」比喻那些提前为未知场景设计接口的工程师，并给出判断标准：抽象应该跟随已经发生的重复，而不是想象中的变化。Hacker News 上 113 分、60 条评论。
Sebastian Raschka 的「从零构建推理模型」视频课程
AI
Sebastian Raschka 发布《从零构建推理模型》视频课程，配套长文在其杂志刊出，系统讲解 reasoning model 的训练路径：从预训练与指令微调，到用可验证奖励做强化学习，再到推理时长与准确率的权衡，并给出可跑的最小实现。作者强调课程面向有 PyTorch 基础、想搞清「推理能力到底从哪来」的开发者，而非调 API 的用户。该内容在 Hacker News 拿到 549 分、81 条评论，反映社区对推理模型原理材料的旺盛需求。对想自建或微调推理模型的团队，这是比论文综述更好上手的入口。
修复 vLLM 中的工具调用准确率：Agent 的最后一公里
AI
Ubicloud 博客《修复 vLLM 中的工具调用准确率》记录了自托管开源模型做 function calling 时的一类持久问题：模型能生成调用意图，但参数 JSON 经常残缺、类型错误或字段名漂移，导致 Agent 频繁失败。文章给出排查路径——先区分是模型能力、chat template 的 tool 段渲染，还是采样与解析环节——再通过结构化输出约束（语法/JSON schema）与模板修正把成功率拉回可用水平。HN 上 145 分、64 条评论。对正在用 vLLM 搭 Agent 的团队，这类工程细节往往比换更大的模型更有效。
LSP 之后，微软又拿出 Type Server Protocol，Hob 则把模型搬回本地桌面。信号很清楚：AI 工具正从「编辑器插件」下沉为「协议与运行时」的一层。谁定义这一层，谁就握住下一轮工具生态的入口。
OpenAI 的 ETH 预印本和 Anthropic 的 S-1 抢走了所有头条，但工程侧真正的信号是 Cloudflare 的 KV cache 跨请求暴露与 vLLM 的 tool-call 修复：推理复用的性能红利、多租户隔离、结构化输出可靠性，是自建 Agent 绕不开的三块硬骨头。
阮一峰说「编程已经面目全非」，同一周 Windows 11 上仍有几十年前的 GUI 程序在跑。抽象层飞速叠加，兼容性债务却被无限承接。工程师真正的判断力，在于分清哪些抽象值得押注、哪些只是把复杂度推迟到明天。