CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. - GitHub - sarsko/CreuSAT: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. (more…)

A 10-minute lightning talk explaining two features of rust that no other popular language has.Start your Rust journey here: https://doc.rust-lang.org/stable/... (more…)

As part of the Ergonomics Initiative, I and several others on the Rust language team have been taking a hard look at Rust’s module system. There are two related perspectives for improvement here: learnability and productivity. Modules are not a place th... (more…)

Multistreaming with https://restream.io/ The live stream version of ... (more…)

I've been learning Rust recently, and it's the first new language (with new concepts, like borrowing) I've learnt for a while - probably the first since Clojure in 2013. I thought it was worth writing up exactly what I'm doing to learn it, in the hopes th... (more…)