andrew-lucker has 6 repositories available. Follow their code on GitHub.

After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust.

I’ve been working recently on Backtalk, a little toy Rust framework for building realtime APIs. Let’s say you’re building a hot new tech startup — Facebook for Cats. You’re going to need a web server to track all these cats. Let’s build one quickly using ... (more…)

(N.B. The world “fuck” appears multiple times in this post. I recommend that... (more…)

It is common to see the statement that “Rust cannot abstract over mutability”. Indeed, many functions in the standard library have an immutable and a mutable variant, e.g. RefCell::borrow() and RefCell::borrow_mut(). However, in some cases, such as...