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
Why AWS Loves Rust, And How We’d Like To Help
- Matt Asay tl;dr: "We’re committing to further strengthen a community that has greatly benefited us and our customers." As well as the community, AWS investments include "developer tools, infrastructure components, interoperability, and verification.”featured in #217