< 返回版块

baymax-xhl 发表于 2023-06-18 23:07

Tags:Rust,日报,其他和内容相关的

2023第三届中国Rust开发者大会

img

img

发布 Mailtutan v0.3.0 - 用于测试和开发环境的 SMTP 服务器

变更日志:

  • 添加数据修剪支持
  • 添加邮件目录存储
  • 向 API 添加删除消息
  • 添加 TLS 支持
  • 添加 SMTP 普通身份验证支持

github: https://github.com/mailtutan/mailtutan/

Kani 0.30.0 已经发布

Kani 是一个开源验证工具,它使用模型检查来分析 Rust 程序。Kani 对于验证 Rust 中的不安全代码块特别有用,其中编译器不检查“不安全的超级大国”。

以下是版本0.30.0中的新功能摘要:

完整更新日志:https://github.com/model-checking/kani/compare/kani-0.29.0...kani-0.30.0

Github:https://github.com/model-checking/kani

From 日报小组 时光

社区学习交流平台订阅:

评论区

写评论
傲头逆颈 2023-06-19 14:29

看照片rustaceans 好多年轻人啊,发量都很多。

1 共 1 条评论, 1 页