Linus Torvalds 正式释出 Linux 内核 7.3，共合并 18,765 个非合并提交，由 3,021 名开发者共同完成，其中 807 人为首次贡献内核代码。本次版本亮点之一是新引入的 failfs 伪文件系统，所有路径解析均返回失败，配合 chroot 及预置文件描述符可构建网络服务文件访问沙箱；ksmbd 则添加对 Apple Time Machine 协议的兼容支持，通过实现 AAPL 协商、Finder 元数据流等机制填补 AFP 弃用后的跨平台备份空白。其他重要更新还包括扩展 binfmtmisc 格式注册、组调度优化、新的 fchroot() 系统调用、schedext 子调度器增强以及 ntfs3 备用数据流支持等。 相关文章： 🤔 Linux 7.3：failfs 沙箱、SMB Time Machine 与 AI 代码审查 - News Hacker | 极客洞察 Linux 7.3 释出 - 奇客Solidot–传递最新科技情报
全部资讯
美国逾1000座冰川的全面评估研究显示，自1950年代中期以来四分之一的冰川消失，面积缩小35%（195.29平方公里、55.3亿吨冰），平均每十年减少8%。冰川是天然固体水库，全球暖化导致其快速萎缩，削弱了下游生态系统应对干旱的能力。美国本土冰川多数规模较小，平均面积仅0.35平方公里，依赖局部地形条件维持存在。其萎缩速度高于其他地区，如喜马拉雅山东部冰川1962至2006年间面积减少19%，平均每十年约减少5%。研究发表在PNAS期刊上。
Hacker News 围绕一篇发表于 oro.gay、题为《Flatpak: an insecurity nightmare》的旧文展开讨论，焦点集中在 Flatpak 沙箱安全性、与 Snap 的取舍及 Wayland 桌面控制权之争。评论认为 Flatpak 的补丁式沙箱无法弥补 Linux 单用户权限模型下进程可广泛访问个人文件的系统性缺陷，真正强制的权限边界需要 OS 层统一设计。分发模式上，部分用户反对 Snap 的集中化商店，也有人指出 Flatpak 在低速网络下需数小时下载依赖。Wayland 讨论中，批评者指责 Flatpak 阵营过度坚持基于 D-Bus 的方案，力推 compositor 作为唯一权限与交互权威，曾逼走 XFCE 维护者。此外，评论提及文章本身是三年前的旧文被重新传播，并反映移动端侧栏遮挡正文的可读性问题。整体情绪反映对 Linux 桌面长期碎片化叙事和 Wayland 统一前景的疲惫。
Microsoft于2026年10月19日发布.NET 11 RC2，附带可用于生产环境的Go-Live许可证，支持Visual Studio 2026 Insiders和VS Code的C# DevKit。库方面，CborReader支持分块读取，引入CompositeMLKem与Hpke两个实验性后量子加密类型，ValidationAttribute.FormatMessage允许宿主提供消息模板，SocketsHttpHandler新增HTTP/2并发流上限。运行时在iOS与tvOS默认禁用咨询性文件锁以避免后台被系统终止。ASP.NET Core的QuickGrid参数转为正式项，IValidationMessageFormatter被移除，Blazor BasePath移至Components命名空间。SDK文件式程序支持带引号指令与Name=Value元数据，MSBuild通配符匹配提速10–13%。F#编译器新增runtime-async内建函数与reraise()支持，List与Array函数内联以减少分配。MAUI模板新增--ui csharp选项与Avalonia桌
2026年10月15日8:11至13:04，DeepSeek网页、App及V4 Pro、V4.1 Flash API出现近5小时服务中断，海外多地用户反馈响应异常，官方状态页亮红并启动排查，于13:04完成恢复。下午DeepSeek官方开放平台发布补偿通知，宣布按用户账号10月8日至14日近7日内消耗金额以赠金形式全额返还，赠金自动到账且后续计费优先抵扣。同期，依赖DeepSeek模型的腾讯WorkBuddy端推出双层补偿，对受影响的国内版用户全额退还同期积分，并向全量用户额外赠送500积分；OpenCode则在其客户端免费开放DeepSeek V4.1Flash模型调用，区别于官方预充值模式。此外，一个名为"DeepSeekHarness"的账号同日在B站注册，与DeepSeek已推出的开源Agent平台同名，疑似Agent产品推广前奏。 相关文章： 游戏公司误退 3.3 万遭拒还，家长持 AI 伪造录音闹庭被训诫 - AI新闻资讯 DeepSeek 突发故障 4 小时 53 分，腾讯 WorkBuddy 补偿：积分全退再送 500 - AI新闻资讯 [AI资讯]智能体驳斥多义性假说
Troy Hunt 发布第 526 期每周更新，主题为"先建设 HIBP AI/SI"。文章讨论了"vibe coding"已不再被视为贬义词的行业感受，并引用了 Linus Torvalds 于 2026 年 10 月 17 日在 Linux 内核邮件列表上批评禁止 AI 编码工具的言论。Hunt 认为当今开发者必须拥抱 AI 工具才能保持竞争力。文章本身为博客导览页，仅提供了节目链接和作者简介，实质性技术细节与 HIBP 的 AI/SI 具体建设内容并未在正文中展开。
暂无摘要
本文是Cory Doctorow 2026年10月19日的Pluralistic专栏，核心探讨广告技术的"技术政治学"。作者借用Langdon Winner"人工制品是否具有政治性"的框架，将技术政治分为三类：嵌入设计者的政治、意外但不可避免的政治、内在的政治。作者认为互联网的"原罪"不是广告本身，而是监控。监控广告与广告的结合是政治选择而非技术必然，监控倾向资本密集型垄断，加剧Meta/Google双头垄断，并通过Jedi Blue等非法操纵市场。上下文广告不依赖监控，更有利于出版商、媒体品质多元化与反垄断，可通过去中心化广告平台实现。专栏结尾列出"Object permanence"历史链接回顾、特朗普政府动态及近期活动与书目信息。
原标题：《There's never been a better time to go into math (by: 3blue1brown) [video]》 评分: 354 | 作者: mdp2021 💭 机器解完所有题，人类改行给证明配字幕吗？ 🎯 讨论背景 3blue1brown（由数学教育者 Grant Sanderson 创办、以可视化讲解闻名的 YouTube 频道）的视频主张，在 AI 快速进入数学证明后，学习和从事数学仍可能比以往更有机会。讨论背景是 OpenAI 等 AI 实验室近期展示了针对高难数学问题的结果，部分证明可经 Lean（形式化定理证明器）等系统检查，但其推理路线常难被数学家直接读懂。争论不仅关乎证明是否正确，还关乎纯数学作为人类理解、技艺、教育与职业共同体的角色：机器“解出”问题是否等于知识真正被人类获得。评论者也将其与 LLM 对 software engineering、教育和其他知识工作的冲击相连，并追问生产率收益会创造新岗位还是集中于模型与算力的所有者。 📌 讨论焦点 数学研究的核心是理解与探索，不只是答案 许多评论认为，纯数学的价值不
原标题：《Hybrid Reasoning Agents: 35–55% fewer tokens and up to 2.6 × faster inference》 评分: 379 | 作者: allinonai 💭 省下的 Token，够买回模型藏起的意图吗？ 🎯 讨论背景 HybridAgent 是 Together Computer 发布的一种混合推理方法，基于现有语言模型骨干（讨论中主要涉及 Qwen3），让模型在文本 Token 推理和连续 latent vector 推理之间切换。其 HybridLink 试图连接两种表征：内部可跳过冗长的自然语言推理，必要时再生成文本、工具调用或将 latent 状态投影为近邻 Token。争论建立在 CoT（模型输出的中间推理文本）既有助于性能、也被实验室用于安全审查的现实上，而 latent 推理可能避免“向量→Token →向量”的信息瓶颈。continuous chain of thought（连续思维链）和 looped transformer（重复运行网络层的架构）是相邻路线，因此评论者质疑该方案的新颖性、审计承诺及开源