System programming in Rust: beyond safety

System programming in Rust: beyond safety Balasubramanian et al., HotOS’17 Balasubramanian et al. want us to switch all of our systems programming over to Rust. This paper sets out the case. … Read more

Similar

The Pain of Real Linear Types in Rust

For whatever reason "linear" types in Rust came up at work today, at which point I made my usual assertion that they're a nightmare, because they don't compose well. I tried to explain it off the top of my head, but I figured it's best for me to just writ... (more…)

Read more »