Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot... (more…)

My last post was wrong in the details, so let me show a better example. Rust code : pub extern fn foo(v: &u64, callback: fn()) -> u64 { l... (more…)

Rust continues to shine in the Linux world, with yet another core utility now being rewritten in the language. (more…)

I’ve been thinking a lot lately about how often Rust changes. There are some people that assert that Rust stays fairly static these days, and there are some people who say Rust is still changing far too much. In this blog post, I want to make a data drive... (more…)

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube. (more…)