Skip to content

Commit 6a6129e

Browse files
authored
Merge pull request #7192 from CarlKCarlK/patch-47
Add link to Vibe Validation for Rust (part 2)
2 parents 932e9c3 + 61031be commit 6a6129e

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

draft/2025-10-29-this-week-in-rust.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,8 @@ and just ask the editors to select the category.
6363
* [video] [Rust Axum 0.8 Backend Engineering | Hello World](https://www.youtube.com/watch?v=Imb6vJkD0Vc)
6464
* [video] [Building Coding Agent in Rust | Project Setup](https://www.youtube.com/watch?v=tQJTuYkZ4u8&t=1s)
6565

66+
* [Vibe Validation with Lean, ChatGPT-5, & Claude 4.5: Nine Rules for Proving (Rust) Algorithms Correct Without Knowing Formal Methods (Part 2)](https://medium.com/@carlmkadie/081e0f06886d)
67+
6668
### Research
6769

6870
- [Supporting `VIEW`s in Diesel](https://blog.weiznich.de/blog/diesel-infer-sql-nullablity/)

0 commit comments

Comments
 (0)