An anonymous reader quotes InfoWorld: Proponents of Rust, the language engineered by Mozilla to give developers both speed and memory safety, are stumping for the language as a long-term replacement for C and C++. But replacing software written in these l... (more…)

We command the virtual GPU (virtio-gpu) by sending certain commands to the host (the device). The guest (the OS driver) has an allocation of RAM that becomes the framebuffer. The driver then tells the device, “hey, here’s the RAM that we’re going to use t... (more…)

We recommend upgrading to the latest Safari, Google Chrome, or Firefox. (more…)

If you have ever written a program of any scale before, you may have run into bugs. Tiny mistakes that you made while writing that screw up the execution of your program. The more complex your program gets, the higher the chance of bugs slipping in! (more…)

I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)