ISRG’s Prossimo project for memory safety aims to coordinate efforts to move the Internet’s critical software infrastructure to memory safe code. When we think about what code is most critical for today’s Internet, the Linux kernel is at the top of the li... (more…)
Read more »
What I'm going to describe is just derived from how traits themselvces work, but despite having now written a decent amount of Rust, I had not really fully absorbed this fact. (more…)
Read more »
Open-source programming language Rust is a critical component of our long-term strategy, says AWS. (more…)
Read more »
A static, type inferred and embeddable language written in Rust. - GitHub - gluon-lang/gluon: A static, type inferred and embeddable language written in Rust. (more…)
Read more »
F$&k the borrow checker, or “How I learned to stop worrying and love the compiler”. (more…)
Read more »