热门 crate 里 65% 仍低于 1.0
作者从 crates.io API 拉取了按历史下载量排序的前 1000 个 crate，再按距上次更新的时间分桶。6 个月内 537 个，6 到 12 个月 151 个，1 到 2 年 132 个，2 到 3 年 73 个，3 年以上 107 个。1000 个里面有 649 个最高版本低于 1.0。
作者把长期没有新版本的 crate 归到已经做完这一类。fnv 上次发布是 2020 年 5 月，近 90 天仍有 1.83 亿次下载。same-file 上次发布是 2020 年 1 月，ident_case 是 2019 年 3 月，hex 是 2021 年 3 月。文中的“上次更新”用的是 crates.io 每个 crate 的 updated_at，新版本发布时这个字段才会变。
原文链接：https://www.reddit.com/r/rust/comments/1x2amot/i_checked_the_1000_mostdownloaded_crates_65_are/
循环 trait impl 不能外置证明
这是 Niko Matsakis 在 baby steps 上的文章，讨论 supertrait 义务由谁来证明。Reddit 帖子由 kibwen 转发。
文章写了两种做法。模块化证明要求 impl 自己证明 supertrait 成立。trait Magic: Copy 的 impl 必须能证明 Copy 也成立，所以 impl Magic for String 不合法，因为 String: Copy 不成立。外部证明把 supertrait 义务交给使用这份 impl 的代码：impl 只表示 shallow 实现，调用方还要再证明 shallow supertrait。在这套规则下 impl Magic for String 可以写出来，但 is_magic::<String>() 编不过，因为调用方证明不了 String: Copy。
文章接着写 unsafe trait。unsafe impl 由 impl 自己保证不安全条件，程序其他部分信任这份 impl。作者举了 unsafe trait NullWord，以及一份把 Box<T> 标成可空的无效 impl。如果 impl 不能单独被信任去证明 supertrait，调用方对 unsafe 条件的信任也对不上。文章的结论是 supertrait 义务按模块化证明处理。Ralf Jung 和 lcnr 指出了 unsafe trait 这一侧的问题。下一篇预计写 coinductive modular proofs。
原文链接：https://smallcultfollowing.com/babysteps/blog/2026/10/10/modular-vs-external-proofs/
proofs.rs 登记 Rust 验证结果
proofs.rs 是一个公开登记 Rust crate 形式化验证结果的网站。作者写了公告，站点地址是 https://proofs.rs 。
页面按 crate 和 API 列出验证报告，写明验证了哪些性质，并链到存放验证代码和证据的 GitHub 仓库。每份报告有评论区。站点不给 crate 发安全认证。发布步骤是 fork 一个 crate，加上验证标注，再用 cargo-proofs 提交。目前 cargo-proofs 支持 Kani 和 Creusot。站点上的示例报告包括 itoa 1.0.18 的功能正确性，工具是 Creusot，4 条 claim；另外还有 utf8parse 0.2.2、fnv 1.0.7 和 hex 0.4.3。站点处于早期 beta。
原文链接：https://proofs-rs.hashnode.dev/announcing-proofs-rs-a-public-registry-for-rust-formal-verification-results
TokioConf 2027 开放征稿
Tokio 团队开放了 TokioConf 2027 的演讲征稿。会议时间是 2027 年 4 月 26 日至 27 日，地点是俄勒冈州波特兰的 The Armory，官网是 https://tokioconf.com 。
征稿截止时间是 2026 年 11 月 30 日 23:59 太平洋时间，提交页是 https://sessionize.com/tokioconf-2027 。征稿范围包括用 Rust 和 Tokio 做产品、设计与架构、测试与验证、性能，以及 AI 与 Rust。联系邮箱是 hello@tokioconf.com。
原文链接：https://tokio.rs/blog/2026-10-06-tokioconf-2027-cfp
From Rust中文社区 Mike
社区学习交流平台订阅：
评论区
写评论还没有评论