LWN

RSS: https://lwn.net/headlines/rss
LWN.net(Linux Weekly News),Linux 社区最权威的新闻与分析来源,追踪内核开发与开源动态。

减少 C 语言中的未定义行为

LWN 记录了 Kernel Recipes 2026 会议上 Martin Uecker 的演讲:讨论 C 语言中的未定义行为(UB)以及 C 是否有可能成为内存安全语言。 文章梳理了 C89 抽象机器模型、UB 给编译器优化带来的自由度(包括著名的 nasal demons),并给出多个编译器实际出错或产生争议的例子(结构体 padding、除法零优化、volatile hoisting、时间旅行 bug)。 C23 已加入“no time travel”规则,C2y 草案已移除约 45 处 UB。Uecker 将内存安全拆解为类型安全、空间安全性和时间安全性,分别讨论 tagless union、数组边界检查(counted_by)、use-after-free 检测(Fil-C、CHERI 等)。 结论:完全内存安全在近期需依赖受限子语言加形式化验证,但 C 语言仍在持续改进,C23/C2y 移除多项遗留特性并新增位精确整数类型、受检整数运算等。
评论点赞收藏1 天前

Typst 取得重大进展

LWN 评测 Typst 0.15:新增可变字体、MathML 导出的 HTML、多 PDF 标准编译、多参考文献等实用特性。作者用 Roboto Flex 和 Zycon 两个开源可变字体做了动画示例;HTML 输出已可用但仍是实验功能;bundle 特性可用单个源文件生成多份带互链的 HTML/PDF,对建站和学术讲义有用。 文中也指出,Typst 虽已在技术上逼近 LaTeX 替代(Apache-2.0、Rust、460 位贡献者、1500+ 生态包),但出版界的网络效应使多数期刊仍要求 LaTeX/Word 源文件,Typst 在 pre-1.0 阶段难被广泛接受。 整体偏工具向,信息密度高,但对非排版/学术人群的讨论入口有限。
评论点赞收藏5 天前

关于现代化开源桌面的想法

LWN 报道 KDE Akademy 2026 上一场关于开源桌面 UX 现代化的演讲。前 Google/Apple UI 设计师 Scott Jenson 主张:桌面 UX 在过去 20 年基本停滞,WIMP 模型已被用尽;Linux 桌面长期跟随 Apple/Microsoft 做 UX 研究,如今后者创新乏力甚至走偏(OneDrive 强推、Recall 隐私争议、广告植入等),Linux 不能再"尾随"。 他提出 3 层反馈:移动端没赢生产力、WIMP 仍有空间、"别动我的桌面"情绪可以接受但要温和演进。文章还覆盖:Mac Finder 拖拽/鼠标 up-down 与 Linux 拖拽行为差异、桌面"工作记忆"缺失(剪贴板状态化)是"直接操作之咒"、Lifestreams/WinFS/NEPOMUK 等历史"语义桌面"项目被低估、Anthropic Claude 读文件系统上下文带来的启发,以及 Apertus 等本地开放模型。 演讲含 29 分钟原型:宽屏优先的 Exposé 类平铺、拖到屏幕边缘变"widget stash area"、Obsidian Canvas 风格可持久化文档剪贴板。 结论:桌面 UX 需要从像素层(风格)到结构、战略与技术限制(stuff)全栈重想;开源项目要主动实验而非补丁。
评论点赞收藏6 天前

期待 Git 2.56——以及未来的 3.0

Git 2.56 预计 9 月底发布,包含 700+ 提交,主要是小改进:git history 新增 drop 子命令(但仍无法处理含 merge 的历史)、git status 会建议 pull、git refs 新增低层子命令、--delete-merged 等。 更大的看点在 3.0:默认从 SHA-1 切换到 SHA-256(GitHub 支持仍不明确但已有员工透露即将有消息)、新增 reftable 作为 refs 的默认存储(libgit2 已支持)、Rust 成为构建必需项,以及可能仅接受小写对象 ID。 维护者 Hamano 尚未正式决定下一版是否为 3.0,但社区目前对进入 3.x 基本没有强烈反对。
评论点赞收藏8 天前

Rust Never类型稳定化纪实:从两年开发到Breaking Change的权衡

Rust 1.99将稳定never类型!,终结Infallible workaround,但带来breaking change。 涉及3300个crate受影响、仅7个真正损坏。crater测试+社区协作是Rust处理语言演进的范本。 文章解释了never type的实用价值(泛型优化)和哲学意义(类型推断简化),并给出迁移指南。
评论点赞收藏21 天前

LWN 订阅价格即将上调

LWN 宣布从9月15日起将订阅价格上调约20%,以应对通胀压力。这是24年来第三次涨价,上次调整在2022年初。
评论点赞收藏28 天前

Debian投票通过"负责任使用生成式AI"政策

Debian投票通过AI使用政策,允许在开发中负责任地使用生成式AI工具。 Debian项目不背书也不禁止AI工具在软件开发、维护和文档中的使用,承认AI能提升志愿者效率。 但贡献者必须理解、审查、测试并修改AI辅助输出后才能提交,对提交内容负全部责任。
评论点赞收藏32 天前

可自举构建:原理与实践

FOSSY 2026 会议上,Timothy Sample 介绍了可自举构建(bootstrappable builds)——从极小种子程序逐步构建整个 Linux 用户空间,避免依赖预编译二进制,从而防御 Ken Thompson 描述的「信任信任」攻击。 他正在开发 Germ,一个约 2.25KB 的 Scheme 解释器,试图跳过传统 C→Scheme→C 的复杂链条,直接以 Scheme 启动 Guix 构建流程。Germ 概念更简洁,但当前仅支持 x86_64,性能仍不及 GNU Mes。
评论点赞收藏33 天前

3D打印机软件持续违反AGPL许可证

Bambu Lab的Bambu Studio修改版PrusaSlicer未提供源代码,通过动态加载.so文件和网络调用绕过AGPLv3要求。用户逆向工程User-Agent字符串后遭DMCA下架。 SFC正在推动社区参与维权,已筹集远超目标的资金并雇佣全职诉讼律师。
评论点赞收藏35 天前

C 语言的尾调用优化其实很晚才普及

C 语言的尾调用优化(TCO)直到近年才被 GCC 和 Clang 广泛支持。C 调用约定历史上要求调用方清理栈,导致尾调用无法优化。2001 年 Mark Probst 在 GCC 中实现了 TCO,但有限制。 作者去年测试发现现代 GCC/Clang 已能处理文章中的尾调用场景,这让 Gforth 项目可以用更多代码片段,但 Python 社区抢先实现了。
评论点赞收藏51 天前

Arch Linux 禁用 AUR 孤儿包接管功能

Arch Linux 已禁用 AUR 孤儿包的接管功能,原因是恶意攻击者通过接管废弃包推送植入远控木马的更新。该木马通过 Tor 网络接收指令并上传用户数据。 此前六月曾暂停新用户注册,七月十三日重新开放但限制措施效果有限。
评论点赞收藏61 天前

GCC 管理委员会发布 AI 贡献政策:拒绝 LLM 生成代码,但允许用于研究与测试

GCC 管理委员会宣布接受一项新政策,拒绝包含 LLM 生成内容或其衍生内容的“法律上显著”贡献(约 15 行代码或文本),但允许使用 LLM 进行测试用例生成、研究、分析、漏洞发现及补丁审查等,只要输出不直接纳入贡献。 该政策基于 GNU 项目维护指南对“法律上显著”的定义,委员会表示将定期审查并调整政策。文章附带社区评论,围绕政策可执行性、AI 检测难度、开发者动机及开源伦理展开激烈争论。
评论点赞收藏62 天前

内核中的危险指针技术

Linux 内核社区正在考虑采用 Mathieu Desnoyers 和 Paul McKenney 提出的 hazard pointers 方案,作为 RCU 的替代方案以减少内存占用和延迟。 Hazard pointers 是一种无锁数据更新方法,在特定场景下性能优于 RCU,但尚未成为通用解决方案。
评论点赞收藏65 天前

GNU Binutils 2.47 发布

GNU Binutils 2.47 发布,新增对多个 RISC-V 标准扩展的支持,AArch64 新增 -M annotate 选项显示未定义指令的符号,32-bit s390 目标被弃用。
评论点赞收藏65 天前

Linux 内核 7.2-rc5 预补丁发布

Linux 内核 7.2-rc5 预补丁已发布,Linus Torvalds 表示改动范围偏大但未发现异常内容。 该版本为开发周期中的候选版本,供社区测试。LWN 作为技术资讯源提供更新信息,适合关注内核开发的读者跟踪进展。
评论点赞收藏65 天前

Kitty终端模拟器追逐鼠标:从布局调整到TUI应用构建

Kitty终端模拟器在v0.47.0版本中大幅增强鼠标支持,允许通过拖拽直观调整窗口布局。该更新使Kitty能替代tmux等终端复用器,并作为构建文本用户界面(TUI)应用的基础设施。 作者实测展示了利用Kitty的图像协议和会话功能,结合fzf、icat和exif命令搭建的简易图片浏览器。Kitty已衍生出图形、键盘处理等新终端协议,被Ghostty、Wezterm及Neovim插件广泛采用。
评论点赞收藏65 天前

Debian 项目就大模型使用问题启动通用决议讨论

Debian 项目正式启动关于在发行版开发中使用大语言模型的通用决议讨论。目前提出三种方案:全面禁止、尽可能拒绝、或在特定条件下允许。 投票时间尚未确定,社区正处于意见收集阶段。这一动态反映了开源核心基础设施对 AI 辅助工具的态度分歧,可能影响后续贡献者工作流及项目治理规范。
评论点赞收藏66 天前

周六安全更新汇总

LWN 汇总了本周 AlmaLinux、Debian、Fedora、Mageia、Oracle 和 SUSE 等主流 Linux 发行版的最新安全更新。涉及内核、OpenSSL、Java、Python、Docker、Kubernetes 及各类基础库的漏洞修复。 运维人员可据此检查系统补丁状态,确认关键组件是否受影响。
评论点赞收藏67 天前

GNU C 库 2.44 版本发布

GNU C Library 2.44 发布。主要更新包括引入新的 /etc/tunables.conf 文件用于系统级参数配置,新增控制只读可执行段使用透明大页的 tunable,以及多项数学函数改进和安全修复。
评论点赞收藏67 天前

周五发布的大量稳定版内核更新

Greg Kroah-Hartman 发布了多个 Linux 稳定版内核更新,包括 7.1.5、6.18.40、6.12.97 等版本。此次更新补丁数量巨大,部分版本 rc1 阶段就包含超过 2000 个补丁。 建议用户升级。
评论点赞收藏68 天前

登录芦苇

登录后关注作者、收藏内容和参与讨论。