Symbolica 2.2 发布：7000+ 规则把符号积分原生带进 Rust

Symbolica 2.2 这次升级很硬核：作者把一个高性能符号计算框架继续往前推，核心新东西是原生、可追踪的符号积分。它背后不是几条玩具规则，而是把 7000+ 条 Rubi 积分规则移植进了 Rust，并用 72,944 道题目的语料做了验证。对 Rust 生态来说，这不是常见的“封装一个现有数学库”，而是把计算机代数系统里最难做的一块能力之一，真正往原生实现推进。

更重要的是，这个版本不只给出积分结果，还能返回逐步应用了哪些规则。这让它同时具备研究、教学和调试价值：既能拿来算，也能拿来看“它为什么这么算”。文章里还给出了性能数据：完整语料集在 Ryzen 9 5900X 上 8 核跑完约 18 分钟，在一个独立测试集上甚至比 Mathematica 里的 Rubi 4.17 还快。

Rust 社区里一直有不少高性能计算、编译器、形式化和科学计算方向的开发者，但真正把符号数学做到这个密度、这个可解释性、还保持原生性能的项目并不多。Symbolica 2.2 让人看到的是：Rust 在“系统语言”这层标签之外，也开始更有底气地碰计算数学基础设施了。

原文链接：https://symbolica.io/posts/symbolic_integration/

Gaze：用纯 Rust 做 Linux 人脸认证，把 root 侧安全问题正面拿下

Gaze 的亮点不只是“Linux 上的人脸认证”，而是它把这件事放在了一个很适合 Rust 的边界上：PAM 模块会以 root 权限运行，而且要处理来自摄像头的非可信输入。作者明确说，之所以整套系统完全用 Rust 写，就是因为这里的内存安全、边界处理和运行时稳定性不是锦上添花，而是产品可靠性的底层要求。

从功能上看，这个项目并不只是做个能亮相的 Demo。它强调一切都本地运行，人脸 embedding 不离开机器；支持 MiniFASNet V2 的活体检测，避免照片或视频直接骗过系统；如果设备有 IR 摄像头，还能继续增强抗欺骗能力。桌面适配也铺得比较开：GNOME 有原生登录 / 锁屏扩展，Hyprland 有专门的 Hyprlock 支持，KDE Plasma 和其他桌面环境也都考虑到了。

更实际的一点是，作者给出的认证延迟已经做到稳定低于 900ms，而且项目已经提供 GTK4 / Adwaita GUI、CLI 以及主流发行版打包。对 Rust 生态来说，Gaze 代表的不是抽象的“Rust 可以写安全软件”，而是 Rust 正在往 Linux 桌面登录、安全认证和 root 侧系统组件这种传统上风险很高的区域稳稳推进。

原文链接：https://old.reddit.com/r/rust/comments/1v5timj/gaze_facial_authentication_for_linux_written_in/

COSMIC 七个月进化录：纯 Rust 桌面把功能密度继续堆高

System76 这篇回顾最值得看的，不是单个新特性，而是 COSMIC 在首发后七个月里仍然保持着相当密的系统级迭代速度。文章列出来的内容非常杂而且非常“桌面操作系统”——从多全屏窗口工作区、输入协议补全、游戏启动修复，到工作区搜索、文件管理、终端、设置、播放器、截图、门户、外接显示器亮度支持，再到新的系统监视器，几乎每一层都在补。

如果把这些更新拆开来看，会发现 COSMIC 继续在证明一件事：纯 Rust 做桌面环境 不只是“能做出几个漂亮应用”，而是真的在往完整桌面栈推进。比如文件管理器拿到了更成熟的多标签、网络路径、Recents 搜索和隐私控制；终端补了快捷键、IME 和标签拖拽；设置则继续把搜索、VPN、主题、键位和无障碍能力往统一体验里收拢。它已经不是一个“未来想法”，而是一个持续交付的工程面产品。

对 Rust 社区来说，COSMIC 的意义一直不只是桌面用户会不会迁移过去，而是它持续提供了一个非常稀缺的样板：当 Rust 不再只写底层组件，而是一路写到 compositor、系统应用和用户交互层时，工程组织和产品完成度到底能走多远。七个月后的答案很明确——它没有停在概念验证，而是在继续变成一套更完整的系统。

原文链接：https://system76.com/blog/post/cosmic-de-first-seven-months

Rust 编译器跑进浏览器：Weblings 把编译、链接和运行全搬到前端

Weblings 这次最抓眼球的地方，不只是“又一个在线 Playground”，而是它把 Rust 编译、链接和执行 这整条链路尽量都搬到了浏览器本地。作者给出的路线很清楚：rustc -> cranelift IR -> waffle IR -> wasm linker，最后产出浏览器可直接运行的 WASM 二进制。也就是说，代码不是发到远端服务器去编，而是在用户自己的浏览器里完成主要工作。

这个方向真正有意思的地方，在于它开始把 Rust 的“可学、可试、可带着走”推到一个新的形态。帖子里提到，小程序的完整编译 / 链接 / 运行时间多数能压到 100ms 以内；浏览器里的演示也已经能直接跑带 std 的代码。作者还把 Rustlings 整套练习接进了 Web UI，这让它不再只是一个技术演示，而是在往教育、训练和低门槛实验环境上继续扩。

如果这个思路继续成熟，它带来的就不只是“在网页里写 Rust”这么简单。作者明确提到，后面还想探索在浏览器里完成嵌入式构建和刷写。这意味着 Weblings 触碰的是 Rust 工具链前端化、本地化和教学场景产品化的一整条线，对 Rust 社区的传播和上手门槛都很有想象空间。

原文链接：https://old.reddit.com/r/rust/comments/1v4pfv6/rust_compilation_in_the_browser_with_wasm/