【Rust日报】Rust 中的形式验证

文章 - 未来的愿景：Rust 中的形式验证

这篇文章回顾了形式化验证的基本概念，作者展示了如何使用 Hoare triples 来描述和推理程序的正确性，以及如何使用分离逻辑来解决验证的复杂性。文章还解释了为什么 Rust 适用于形式化验证，以及 Rust 当中的一些特性如何帮助简化和自动化程序验证过程。

img

Visions of the future: formal verification in Rust : https://xav.io/blog/rust-formal-verification/

教程 - 使用 Rust、Qdrant 和 OpenAI 构建 RAG 服务

来自 Shuttle 的示例，介绍了如何使用 Qdrant 和 OpenAI 构建一个主动检索增强生成示例，可以处理 CSV 文件、将内容嵌入到 Qdrant 中，并使用这些嵌入来准确回答特定用户查询。

Shuttle 在早前还有一篇关于 RAG 的文章介绍如何构建一个小型知识库网络服务，可以解析 Markdown 文件并进行查询。

Building Agentic RAG with Rust, Qdrant & OpenAI : https://www.shuttle.rs/blog/2024/05/23/building-agentic-rag-rust-qdrant

Building a RAG Web Service with Qdrant and Rust : https://www.shuttle.rs/blog/2024/02/28/rag-llm-rust

This Week In Rust 548

新一期的 Rust 周报速递发布，快来看看有哪些内容你曾经关注过 :)

This Week In Rust 548: https://this-week-in-rust.org/blog/2024/05/22/this-week-in-rust-548/

---

From 日报小组 PsiACE

社区学习交流平台订阅：

• Rust.cc 论坛：支持 rss

• 微信公众号：Rust 语言中文社区