Rocket: A Web Framework For Rust
- Mark Litwintschik tl;dr: "Web framework written in Rust. It provides a concise API and is opinionated and feature-rich beyond what you would typically find in a micro-framework."featured in #253
featured in #246
featured in #241
How We Improved The Performance Of Our Rust App
- Aram Drevekenin tl;dr: There are two performance issues Aram solves in the multiplexer app - data overflow in the MPSC channel and performance of rendering and data parsing.featured in #239
Towards Inserting One Billion Rows In SQLite Under A Minute
- Avinash Sajjanshetty tl;dr: Avinash discusses how far he's gotten in attempting to building a 4 column DB with a billion rows in under a minute using Python and Rust scripts, with the following compromises: (1) lack of durability i.e. crashing is fine. (2) Can use machine resources to the fullest. (3) Can use pseudo-random methods from stdlib.featured in #238
Automatic Rust Verification Tools (2021)
- Alastair Reid tl;dr: Alastair took advantage of all the experts at the 2021 Rust Verification Workshop to make an up to date list of tools. This post focuses on the automatic one, such as interpreters, model checkers, etc...featured in #233
featured in #229
featured in #227
Planning The Rust 2021 Edition
- Ryan Levick tl;dr: "The Rust 2021 Edition working group is happy to announce that the next edition of Rust, Rust 2021, is scheduled for release later this year. "featured in #226
featured in #224