Symbolic execution of LLVM IR with an engine written in Rust - PLSysSec/haybale... (more…)

I wanted to explore different ways of communicating between different processes executing on the same machine, and doing so as fast as possible. We're focussing on high speed inter-process communication (IPC), but some of these approaches can be extended ... (more…)

This is the 5th post in the Start Rust focus series. Up until now, JavaScript has been the only ubiquitous language available in browsers. It has made JavaScript much more popular than its design (and its associated flaws) would have allowed. I don’t want... (more…)

I've recently been working on a Rust course for the Qvault app. In order to write a more engaging course, I want students to be able to write and execute code... (more…)

Like a number of other folks, I have recently been exploring some slightly less well-worn corners of the Rust type system. In my particular case, this involv... (more…)