diff --git a/draft/2025-02-19-this-week-in-rust.md b/draft/2025-02-19-this-week-in-rust.md index 1aa2d1c39..67d40f694 100644 --- a/draft/2025-02-19-this-week-in-rust.md +++ b/draft/2025-02-19-this-week-in-rust.md @@ -39,7 +39,7 @@ and just ask the editors to select the category. ### Project/Tooling Updates * [Towards Practical Formal Verification for a General-Purpose OS in Rust](https://asterinas.github.io/2025/02/13/towards-practical-formal-verification-for-a-general-purpose-os-in-rust.html) * [Slack Your REST Client with a couple of Serde Tricks](https://ideas.reify.ing/en/blog/rest-client-slack/) - +* [Welcome, Cot: the Rust web framework for lazy developers](https://mackow.ski/blog/cot-the-rust-web-framework-for-lazy-developers/) ### Observations/Thoughts * Scaling PayPay with Rust ([english](https://blog.paypay.ne.jp/en/scaling-paypay-with-rust) / [japanese](https://blog.paypay.ne.jp/scaling-paypay-with-rust))