Advanced type systems that enforce various correctness and safety guarantees--such as linear and ownership types--have a long history in the Programming Languages research community. Despite this history, a human-centered evaluation of these type systems ... (more…)

The Rust team is happy to announce the latest version of Rust, 1.21.0. Rust is a systems programming language focused on safety, speed, and concurrency. (more…)

3rd person shooter in the very early development phase - mrDIMAS/StationIapetus... (more…)

RISC-V architecture gets support for language that enables development of highly concurrent and highly safe systems. The Rust language has a syntax that is... (more…)

The Cryptowatch team has recently welcomed Héctor Ramón, also known as hecrj, who is the author of a Rust GUI framework called iced. Héctor has joined us as our first full-time Rust developer. Héct… (more…)