Rust is a popular memory-safe systems programming language. In order to
interact with hardware or call into non-Rust libraries, Rust provides
\emph{unsafe} language features that shift responsibility for ensuring memory
safety to the developer. Failing to... (more…)
Read 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…)
Read more »
I'll get right to it: I've rewritten Psychopath in Rust. And I feel like this requires an explanation. The short version is that Psychopath is a personal project that I work on for fun, and I had fun rewriting it... (more…)
Read more »
Egglog https://github.com/philzook58/egglog is a prolog-like syntax I’m fiddling with for the egg egraph library. Check out the online demo here http://www.philipzucker.com/egglog/ (rust compiles to wasm)... (more…)
Read more »
Microsoft has one of the largest C/C++ codebases in the world. All of its core products from Windows and Office to the Azure cloud run on it. Unsurprisingly, since C++ is not a memory-safe language… (more…)
Read more »