Linux 7.0即将到来,随之而来的是bcachefs新版本以及对苹果新磁盘格式支持的萌芽。
Linux文件系统领域正在发生有趣的发展,新版bcachefs文件系统问世,Linux发行版开始提供对苹果APFS磁盘格式的支持。
新一代写时复制快照GPL文件系统bcachefs 1.37.0版本刚刚发布。该版本支持即将推出的Linux内核7.0。Linux 7.0预计下月发布,最新的候选版本7.0-rc4与新的bcachefs版本同日发布。正如我们去年报道的那样,bcachefs现在再次在Linux内核之外开发,但可以作为DKMS模块加载。
此版本改进了擦除编码,加快了从不安全关机中的恢复速度,多设备文件系统运行更快等等。
Git提交说明中提到了bcachefs手册的新版本,创建者Kent Overstreet称其为"操作原理",简称P.o.O.,公告中甚至还有一个关于"poo"的笑话。我们链接的PDF版本是项目主页上的主要版本,但这个版本似乎有一段时间没有更新了。
发布说明称操作原理现在多达100页,而主页上的版本仅有24页。想了解最新发展,bcachefs-tools git仓库有更多当前信息。也许Overstreet先生在我们上个月提到的大语言模型编程助手的帮助下取得了更多进展。
APFS进展
写时复制快照是现代操作系统的重要特性,FreeBSD团队对其内置的Solaris ZFS文件系统原生支持感到自豪。OpenZFS在Linux上运行良好,但由于Sun的许可证与Linux的GPL不兼容,无法合并到Linux内核中。
有一段时间,看起来苹果也会为macOS采用ZFS,但最终没有实现。相反,它构建了自己的APFS,十年前发布了这个文件系统。
默认情况下,Linux仍无法挂载或读取APFS卷。我们测试了Asahi Linux 39,以及2024年的Asahi Linux 40和后来的Asahi Linux 41。令我们惊讶的是,我们无法挂载macOS卷。
我们还没有时间尝试,但2026年3月发布的KDE Linux原则上应该能够做到这一点。它目前仍在开发中,只处于alpha测试阶段,但本月的新特性是APFS支持,这要归功于Ernesto Fernández的linux-apfs-rw项目。这也还相当初步,目前只到0.3.18版本,这是自2023年1月项目切换到标记发布以来的第19个版本。
KDE Linux是基于Arch Linux的不可变操作系统,其设计与Valve的Steam OS 3有很多相似之处。第三方应用程序使用Flatpak安装,但这是个问题,因为Flatpak主要针对GUI应用程序,从shell调用Flatpak应用程序很复杂。此版本引入了一个新的基于容器的终端应用程序系统,称为Kapsule,它基于Canonical LXD的Incus分支。
不过,它不会在苹果芯片Mac上挂载任何东西。目前,KDE Linux只支持x86-64,并且根本不直接针对Mac。与竞争对手GNOME OS不同,KDE Linux明确支持多个虚拟机管理程序,我们希望很快回来对其进行深入研究。
Q&A
Q1:bcachefs 1.37.0有什么新功能?
A:bcachefs 1.37.0支持即将推出的Linux内核7.0,改进了擦除编码,加快了从不安全关机中的恢复速度,多设备文件系统运行更快。此外还更新了操作原理手册,现在多达100页。
Q2:Linux能直接支持苹果APFS文件系统吗?
A:默认情况下,Linux无法挂载或读取APFS卷。但KDE Linux的2026年3月版本将支持APFS,这要归功于linux-apfs-rw项目。不过这个功能还处于初步阶段,目前只到0.3.18版本。
Q3:KDE Linux和其他Linux发行版有什么不同?
A:KDE Linux是基于Arch Linux的不可变操作系统,设计类似Valve的Steam OS 3。第三方应用使用Flatpak安装,新版本引入了Kapsule容器系统用于终端应用。目前只支持x86-64架构,明确支持多个虚拟机管理程序。
好文章,需要你的鼓励
Replit与RevenueCat达成合作,将订阅变现工具直接集成至Replit平台。用户只需通过自然语言提示(如"添加订阅"),即可完成应用内购和订阅配置,无需离开平台。RevenueCat管理超8万款应用的订阅业务,每月处理约10亿美元交易。此次合作旨在让"氛围编程"用户在构建应用的同时即可实现商业变现,月收入未达2500美元前免费使用,超出后收取1%费用。
LiVER是由北京大学、北京邮电大学等机构联合提出的视频生成框架,核心创新是将物理渲染技术与AI视频生成结合,通过Blender引擎计算漫反射、粗糙GGX和光泽GGX三种光照图像构成"场景代理",引导视频扩散模型生成光影物理准确的视频。框架包含渲染器智能体、轻量化编码器适配器和三阶段训练策略,支持对光照、场景布局和摄像机轨迹的独立精确控制。配套构建的LiVERSet数据集含约11000段标注视频,实验显示该方法在视频质量和控制精度上均优于现有方法。
所有人都说AI需要护栏,但真正在构建它的人寥寥无几。SkipLabs创始人Julien Verlaguet深耕这一问题已逾一年,他发现市面上多数"护栏"不过是提示词包装。为此,他打造了专为后端服务设计的AI编程智能体Skipper,基于健全的TypeScript类型系统与响应式运行时,实现增量式代码生成与测试,内部基准测试通过率超90%。他认为,编程语言的"人类可读性时代"正走向终结,面向智能体的精确工具链才是未来。
这项由蒙特利尔学习算法研究所(Mila)与麦吉尔大学联合发布的研究(arXiv:2604.07776,2026年4月)提出了AGENT-AS-ANNOTATORS框架,通过模仿人类数据标注的三种角色分工,系统化生成高质量网页智能体训练轨迹。以Gemini 3 Pro为教师模型,仅用2322条精选轨迹对90亿参数的Qwen3.5-9B模型进行监督微调,在WebArena基准上达到41.5%成功率,超越GPT-4o和Claude 3.5 Sonnet,并在从未见过的企业平台WorkArena L1上提升18.2个百分点,验证了"数据质量远比数量重要"这一核心结论。