A while ago I was a mobile developer. I made apps for iOS and had to constantly worry about memory consumption, performance, you know, all… (more…)

Hello Rustaceans, Inspired by the "contributors wanted" wiki, starting issue 120 of This Week in Rust, there will be a new section "Call for Participation" which will highlight tasks from Rust community projects, specially to newcomers who want to get s... (more…)

I have some thoughts on the use of Rust for data-intensive computations. Specifically, I've found several of Rust's key idioms line up very well with the performance and correctness needs of data-intensive computing. (more…)

Paper Technical Appendix Coq Formalization Artifact (with VM) ... (more…)

Whether or not you use Rust Programming Language (https://rust-lang.org) today, we want to hear from you! (more…)