视频：verify-rust-std - 验证 Rust 标准库
来自 Linux 基金会的 Open Source Summit 演讲《Verifying the Rust Standard Library》，演讲人是 Amazon Web Services 的 Carolyn Zech，kani 维护人员。
Rust 编程语言因其内存安全保障和开发人员生产力优势，正在关键基础设施和系统编程领域迅速普及。美国国家网络战略等重要技术政策明确支持 Rust 作为实现内存安全软件的途径。
然而，不安全的代码块可能会绕过 Rust 的编译时保证。为了解决这一差距，AWS 与 Rust 基金会合作开展了 Rust 标准库验证项目，该项目旨在正式验证 Rust 标准库的安全性。
我们正在积极将自动化验证集成到 Rust 库发布流程中，从而确保在各个版本之间持续进行安全验证。
我们的演讲将阐明验证竞赛的结构框架和基本原理。我们将展示当前的进展，展示成功的验证案例，并讨论验证过程中使用的各种开源工具。
最后，我们将总结 2025 年的优先领域，以及 Rust 社区积极参与这一关键安全倡议的实用方法。
观看：https://m.youtube.com/watch?v=8_lzVNs1uPk
仓库：https://github.com/model-checking/verify-rust-std
Corrode Podcast：KSAT 使用 Rust 来处理关键任务卫星地面站，该地面站遍布全球 300 多个天线，处理千兆字节的空间数据
最新一期《Rust in Production》播客邀请了 KSAT 的 Rust 工程师 Vegard Sandengen，探讨 Rust 在关键太空基础设施中的应用。
他分享了 Rust 在全球分布式地面站网络中的运行经验，包括调度南极等地的卫星通信、处理海量数据，以及一个稳定运行 1.5 年的认证服务。
Vegard 还讨论了将 Rust 引入团队的挑战，强调了团队支持的重要性。
Rust 在航天工业从政府机构向软件优先公司转型中发挥着关键作用。
收听：https://corrode.dev/podcast/s04e07-ksat/
Egui：发布 v0.32.0
egui 是一个纯 Rust 编写的、易于使用的立即模式 GUI。
这是一个重要的 egui 版本，具有几个令人兴奋的新功能！
- Atom 是 egui 中用于文本和图像的新布局原语
- 弹出窗口、工具提示和菜单已完全重写
- 大幅改进 SVG 支持
- 更清晰的图形（尤其是文本！）
阅读：https://github.com/emilk/egui/releases/tag/0.32.0
仓库：https://github.com/emilk/egui
Reddit：https://www.reddit.com/r/rust/comments/1lwfxcv/announcing_egui_0320_atoms_popups_and_better_svg/
Rudy：与 DWARF 格式的调试信息进行交互，并为调试器提供惰性求值和增量计算
rudy 是一个用于处理 Rust 调试信息的工具集，旨在提升 Rust 调试体验，并为构建 Rust 特定调试工具提供基础。
它包含两个主要 crate：rudy-dwarf 用于直接处理 DWARF 调试信息，rudy-db 是基于 rudy-dwarf 的高级接口，提供常见调试功能。
rudy-lldb 是 rudy-db 的一个应用，通过 Python 脚本扩展 lldb 的功能，使其能够更好地理解和展示 Rust 程序的调试信息，如原始内存地址的美化打印、方法调用和源代码位置查找等。
rudy-dwarf 提供了索引、解析器和访问者 trait 等功能，使用解析器组合器来提取 DWARF 条目的数据，支持对复杂 Rust 类型的解析。
项目还使用 salsa 实现增量计算和缓存，以提高调试信息处理的效率。
仓库：https://github.com/samscott89/rudy
Reddit：https://www.reddit.com/r/rust/comments/1lwda9u/introducing_rudy_a_toolchain_for_rust_debuginfo/
TrailBase：发布 v0.14
TrailBase 是一款使用 Rust、SQLite 和 V8 构建、易于自托管、亚毫秒级、单次可执行的 FireBase 替代方案。
它提供类型安全的 REST 和实时 API、内置 JS/ES6/TS 运行时、服务器端渲染 (SSR)、身份验证和管理 UI 等等，让您能够专注于构建下一个移动、Web 或桌面应用程序，并减少移动部件数量。
亚毫秒级的延迟消除了对专用缓存的需求，也避免了更多陈旧或不一致的数据。
自上次发布以来，一些亮点包括：
- 允许使用真正随机的 UUIDv4 记录 ID，并依赖 AES 加密的行 ID 作为游标。此外，我们现在使用 UUIDv4 用户 ID 替代 UUIDv7，以避免创建时间泄露。
- 管理页面 UI：支持每个 TABLE/VIEW 的多个 API，并为每个 API 添加高质量的 cURL 示例。
- 在准备或多租户中，所有地方都有完全限定的数据库名称。
- 将 OpenAPI 模式纳入默认构建并改善集成。
- 支持 Geolite2-City DB 以实现更细粒度的 geoip 定位。
- 许多较小的改进：is-null 记录过滤器、头像处理、服务器端呈现的 OAuth 提供程序、固定重定向......
仓库：https://github.com/trailbaseio/trailbase
Arch-manwarn：监控 Arch Linux 新闻，在必要时阻止系统升级而导致损坏
arch-manwarn 是一个用 Rust 编写的轻量级工具，作为 pacman hook，用于监控 Arch Linux 新闻，仅在必要时阻止系统升级，避免因未读的重要手动干预而导致系统损坏。
它具有缓存、修剪、可自定义关键字匹配等功能，支持多个 RSS 源和灵活的配置文件。
仓库：https://github.com/NLion74/arch-manwarn
讨论：构建 Rust 桌面应用程序需要什么数据库
“SQLite。”
Reddit：https://www.reddit.com/r/rust/comments/1lwejnn/db_for_rust_desktop_app/
--
From 日报小组 苦瓜小仔
社区学习交流平台订阅：
评论区
写评论还没有评论