RustBelt: Computer Scientist proves safety claims of Rust programming language

Ralf Jung, a doctoral student of Saarland University and now postdoc at the Max Planck Institute for Software Systems in Saarbrücken, has made a significant contribution to the safety of the ‘Rust’ programming language. The new and increasingly popular pr… Read more

Similar

Why does musl make my Rust code so slow?

I’ve been running some benchmarks of my Ballista project lately. You can see the current results here. During this benchmarking work, I discovered that the Rust benchmarks were ridiculously slow. After some debugging, it turns out that this is due to the ... (more…)

Read more »