This presentation was recorded at GOTO Berlin 2017 http://gotober.com Florian Gilcher - Professional Programmer & Co-founder of asquera ABSTRACT Over the las... (more…)

To help bring our 2017 vision for Rust to fruition, the Rust subteams are launching initiatives targeted at specific roadmap goals. This post covers the library team’s major initiative: raising a solid core of the Rust crate ecosystem to a consistent leve... (more…)

Deep learning in Rust, with shape checked tensors and neural networks - GitHub - coreylowman/dfdx: Deep learning in Rust, with shape checked tensors and neural networks... (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…)

Shows how the TSic temperature sensor code is ported from C to Rust... (more…)