You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
*[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)
@@ -64,6 +65,8 @@ and just ask the editors to select the category.
64
65
### Research
65
66
66
67
### Miscellaneous
68
+
*[Rust’s Async Closures: A New Way to Handle Asynchronous Logic.](https://rust-trends.com/posts/rust-s-async-closures/)
69
+
*[Rust’s if/let While Chains: Cleaner Control Flow is Coming!.](https://rust-trends.com/posts/rust-s-if-let-while-chains/)
67
70
*[video][Meet Elusion: New DataFrame Library for Python 🐍 users powered by Rust 🦀 with Borivoj Grujicic](https://www.youtube.com/watch?v=H-GhJIFreHY)
0 commit comments