Scientists Found Rust on the Moon. That Should Be Impossible
Rust requires oxygen, water, and the right conditions, all of which the Moon lacks. So where did a newly discovered iron oxide come from? Earth is one possibility. (more…)
Read more »Kata Containers rewritten in Rust gets a major speed boost
The Open Infrastructure Foundation’s Kata Containers 2.0 is both much smaller and faster than its earlier version. Read more
Similar
Introducing `safer_ffi`: write Rust code callable from C without `unsafe`
Introducing `safer_ffi`, a Rust framework that allows you to write foreign function interfaces (FFI) without polluting your Rust code with `unsafe` while improving readability. (more…)
Read more »CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
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…)
Read more »Blocking inside async code in Rust
Hi everyone, I haven’t blogged in a while so it feels good to be back. First things first — here’s some quick news. After two years of work on Crossbeam, in 2019 I’ve shifted my main focus onto asynchronous programming to research the craft of building ru... (more…)
Read more »Implementing Our Own Version of Rust’s Non-Lexical Lifetimes in Bolt
In this post, we'll look at flow-sensitive type-checking rules - and implement our own version of "Non Lexical Lifetimes" used in Rust's borrow checker. (more…)
Read more »The latest Rust news to your inbox. Once a month.
No spam and it’s easy to unsubscribe.