【Rust日报】2025-07-16 Rust 功能测试：使用 `hint-mostly-unused` 加快编译
💡
原文中文，约2400字，阅读约需6分钟。
📝
内容提要
Rust团队推出了新功能Zhint-mostly-unused，通过跳过未使用的依赖项代码生成，显著提高编译速度，发布构建的编译时间可减少23%至51%。用户可在Cargo.toml中启用此功能，目前仅在夜间版可用。
🎯
关键要点
- Rust团队推出新功能Zhint-mostly-unused，通过跳过未使用的依赖项代码生成加速编译时间。
- 新功能在发布构建中可减少编译时间23%至51%。
- 用户可通过在Cargo.toml中设置启用此功能，目前仅在夜间版可用。
- 提出了一种有效方法用于对用Rust编写的密码协议实现进行形式化验证。
- Bert13是首个获得验证的后量子TLS 1.3库，展示了该方法论的应用。
- Helix编辑器发布v25.07，新增文件浏览器、支持模糊搜索和改进命令模式。
- CortexBrain是基于eBPF的轻量级服务网格，旨在连接云端和边缘设备。
- CortexBrain通过内核级别观察和跟踪网络事件，提升整体性能。
- Par是一种实验性并发编程语言，支持线性逻辑、函数式编程和隐式并发。
- Par语言最近更新了原生支持的原始类型和基本I/O功能。
🏷️
标签
➡️
