芦苇
发帖子
探索
今天发现最新帖子添加订阅
热门板块
🤖AI💡科技💻开发🧭产品🛠️工具
订阅
关注
下载芦苇 App ↗
我我的
进入阅读器模式

Together for a Healthier Clippy

Rust,Rust 编程语言官方博客,关于 Rust 的发布、更新与社区故事。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论

登录芦苇

登录后关注作者、收藏内容和参与讨论。

关于作者
RustRust 编程语言官方博客,关于 Rust 的发布、更新与社区故事。
相关文章
Rust 在 nightly 启用 Polonius Alpha 借用检查器,稳定版年内到来查看相关内容
用 figure-8 构造 Klein 瓶:一个直观的几何洞察查看相关内容
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month,查看相关内容