Add link to Vibe Validation for Rust (part 2)

Author: CarlKCarlK

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

@@ -49,6 +49,8 @@ and just ask the editors to select the category.
 
 ### Rust Walkthroughs
 
+* [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)
+
 ### Research
 
 ### Miscellaneous