Rust 编写的开源操作系统 Redox OS 成功移植 Wayland-低调大师

Rust 编写的开源操作系统 Redox OS 成功移植 Wayland

2025-12-05 17

Rust 编写的开源操作系统 Redox OS 近日迎来了一个重要进展：团队已成功将 Wayland 移植到系统中，并让基础组件在 Redox 上顺利运行。

根据最新进度，Redox 已能够运行：

基于 Smithay 的 Wayland 合成器 Smallvil
GTK 的 Wayland 移植版本
甚至包括 WebKitGTK（GTK 版浏览器引擎）

Wayland 是现代 Linux/类 Unix 系统中常用的图形显示协议/服务器，相比老的 X11，有更现代、模块化、效率更高的设计。使用 Wayland 对 Redox 来说，是将其带 closer to 现代桌面/GUI 系统支持的重要一步。这意味着基于 GTK 的现代 GUI 应用，有望在 Redox 上获得初步支持。

Redox 仍提供 X11 路线，团队已让 MATE 桌面环境 在 X11 Session 下运行，为用户提供两种图形系统选择。

不过，当前的 Wayland 合成器性能仍不理想，官方将其称为“尚不足以满足需求”，整体仍处于实验性阶段。但这一里程碑为 Redox 迈向现代桌面体验奠定了基础，也让这个 Rust 操作系统距离可用 GUI 生态更近一步。

微信关注我们

原文链接：https://www.oschina.net/news/387994

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

OpenAI 最强代码模型 GPT‑5.1‑Codex‑Max 上架 GitHub Copilot

OpenAI 近日正式通过 API 向开发者开放其目前最强大的编程模型 GPT‑5.1‑Codex‑Max，主打长时间运行和“代理式”编码任务，在多项权威基准测试中的成绩明显优于常规版 GPT‑5.1‑Codex。更具吸引力的是，尽管性能提升明显，这一新模型在 API 中的定价却与 GPT‑5 保持一致，被外界视为一次“高性能不涨价”的策略性升级。报道指出，GPT‑5.1‑Codex‑Max 通过名为“压缩（compaction）”的技术进行训练，可在超过一百万 tokens 的超长上下文窗口中持续工作，内部测试显示该模型能够稳定执行持续超过 24 小时的任务。在 SWE‑Bench Verified、SWE‑Lancer IC SWE 和 TerminalBench 2.0 等面向真实软件工程场景的基准测试中，GPT‑5.1‑Codex‑Max 的得分分别提升至 77.9%、79.9% 和 58.1%，相较常规版 GPT‑5.1‑Codex 有明显进步，凸显其在复杂、多步骤开发任务中的优势。在商用层面，OpenAI 已将 GPT‑5.1‑Codex‑Max 以与 GPT‑5 ...

2025-12-05

12

《The Information》最新报道指出，字节跳动正在中国 AI 云服务市场上对阿里云形成强势冲击，尤其在 “模型即服务（MaaS）” 这条新增长曲线上表现突出。字节跳动旗下火山引擎通过自家大模型 Doubao（豆包）推动业务迅速扩张。由于 Doubao 仅通过火山引擎对外提供服务，企业若想使用其模型，必须直接接入字节跳动的云平台。这种“专属模型 + 云服务”模式成为其强劲增长的核心。更重要的是，字节跳动以极低价格、简化接入流程和大力度优惠吸引企业用户。例如，有套餐输入每百万 token 仅 0.8 元，并为初期客户提供五折优惠。许多原本使用阿里云等平台的公司在迁移后表示，AI 成本降低了约 50%。数据也显示出竞争格局的明显变化：2025 年上半年，中国 AI 模型服务市场中，字节跳动占约 37% 的份额，领先阿里云的 21%。这意味着，在传统云计算之外，AI 推理和模型服务已经成为新的主战场。面对压力，阿里云已开始降价并组织专门团队应对，但行业人士认为“模型服务 + 高性价比”正成为新趋势，对以基础设施见长的传统云厂商形成结构性挑战。业内普遍认为，中国 AI 云市...

2025-12-05

17

资源下载

更多资源

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。