Symbolica 2.2：Rust 符号计算库新增原生符号积分

Symbolica 是一个用 Rust 编写的符号计算库，2.2 版本加入原生符号积分能力。

作者将 7000 多条 Rubi 积分规则移植到 Rust 中，并使用 72,944 道题目的语料进行验证。新版本可以返回积分结果，也可以给出规则应用过程。性能测试显示，在 Ryzen 9 5900X 上使用 8 核运行完整语料约需 18 分钟；在独立测试集上，结果快于 Mathematica 中的 Rubi 4.17。

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

Gaze：用 Rust 编写的 Linux 人脸认证系统

Gaze 是一个用 Rust 编写的 Linux 人脸认证系统，包含 PAM 模块、桌面集成和本地推理流程。

由于 PAM 模块以 root 权限运行，并需要处理摄像头输入，项目将相关逻辑放在本地 Rust 程序中。人脸 embedding 保留在本地，活体检测使用 MiniFASNet V2；带有 IR 摄像头的设备可以进一步提高抗欺骗能力。作者提到，认证延迟已稳定低于 900ms。

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

COSMIC：System76 对纯 Rust 桌面环境的七个月进展回顾

这篇文章是 System76 对 COSMIC 首发后七个月开发进展的回顾，内容覆盖桌面环境和多项系统应用。

更新涉及多全屏窗口工作区、输入协议、文件管理器、终端、设置、播放器、截图、portal、外接显示器亮度支持和系统监视器等组件。

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

Weblings：在浏览器中完成 Rust 编译、链接和运行

Weblings 是一个在浏览器本地执行 Rust 编译、链接和运行流程的项目。

项目使用 rustc -> cranelift IR -> waffle IR -> wasm linker 的处理链路，最终生成浏览器可运行的 Wasm 二进制。帖子称，小程序的完整编译、链接和运行多数可以控制在 100ms 以内，当前支持带 std 的代码，并接入 Rustlings 练习内容。

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