文章 - 未來的愿景：Rust 中的形式驗證

這篇文章回顧了形式化驗證的基本概念，作者展示了如何使用 Hoare triples 來描述和推理程序的正確性，以及如何使用分離邏輯來解決驗證的復雜性。文章還解釋了為什么 Rust 適用于形式化驗證，以及 Rust 當中的一些特性如何幫助簡化和自動化程序驗證過程。

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 周報速遞發(fā)布，快來看看有哪些內容你曾經關注過 :)

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

From 日報小組 PsiACE

社區(qū)學習交流平臺訂閱：

• Rust.cc 論壇：支持 rss

• 微信公眾號：Rust 語言中文社區(qū)