Rocket is a web framework for the Rust
programming language that makes it simple to write fast web applications
without sacrificing flexibility or type safety.
Read more »
We looked at the history of Rust and talked to Steve Klabnik and Ashley Williams, two current members of the Rust core team. (more…)
Read more »
Munich, Germany – 7 March, 2023 – The development of secure systems is critical for the automotive market. The Rust programming language, with its built-in support for memory-safe software development, is an important enabler for the design of mission-cri... (more…)
Read more »
We present Aeneas, a new verification toolchain for Rust programs based on a
lightweight functional translation. We leverage Rust's rich region-based type
system to eliminate memory reasoning for many Rust programs, as long as they do
not rely on interior... (more…)
Read more »
I love the aesthetics of terminals and I’m not the only one, there is a whole
subreddit dedicated to people sharing their desktops and
showcasing different… (more…)
Read more »