文章 - 未來(lái)的愿景：Rust 中的形式驗(yàn)證

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

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

教程 - 使用 Rust、Qdrant 和 OpenAI 構(gòu)建 RAG 服務(wù)

來(lái)自 Shuttle 的示例，介紹了如何使用 Qdrant 和 OpenAI 構(gòu)建一個(gè)主動(dòng)檢索增強(qiáng)生成示例，可以處理 CSV 文件、將內(nèi)容嵌入到 Qdrant 中，并使用這些嵌入來(lái)準(zhǔn)確回答特定用戶查詢。

Shuttle 在早前還有一篇關(guān)于 RAG 的文章介紹如何構(gòu)建一個(gè)小型知識(shí)庫(kù)網(wǎng)絡(luò)服務(wù)，可以解析 Markdown 文件并進(jìn)行查詢。

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 周報(bào)速遞發(fā)布，快來(lái)看看有哪些內(nèi)容你曾經(jīng)關(guān)注過(guò) :)

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

From 日?qǐng)?bào)小組 PsiACE

社區(qū)學(xué)習(xí)交流平臺(tái)訂閱：

• Rust.cc 論壇：支持 rss

• 微信公眾號(hào)：Rust 語(yǔ)言中文社區(qū)