Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables programmers to build more reliable and efficient software is the... (more…)

Translations of a simple C program to Rust. Contribute to BurntSushi/rsc-regexp development by creating an account on GitHub. (more…)

Property-based testing isn’t always the answer, but the very act of considering your code's abstract properties can help you understand it better. (more…)

Earlier this year, we used the C2Rust framework to translate applications such as Quake 3 to Rust. In this post, we’ll show you that it is also possible to translate privileged software such as modules that are loaded by the Linux kenel. We&... (more…)

During an ongoing argument in a chatroom between some folks about how “zomg systemd is ruining everything”, I decided to look at some init system history. I learned a cool tidbit of information from a HN comment1: apparently systemd’s design was inspired ... (more…)