Github CodeQL 现已支持 Rust 语言，帮助开发者检测代码安全问题。Redox OS 在 6 月获得资助并进行了系统改进，dynify 库解决了异步 trait 的动态调度问题，Tinykv 是一个轻量级键值存储数据库。推荐 Git 高手尝试 Jujutsu 提升效率。