Hitting the wall with Rust’s borrow checker

The Inconceivable Types of Rust: How to Make Self-Borrows Safe

What are GADTs and why do they make type inference sad?

Identifying Rust's collect:<Vec<_>>() memory leak footgun

(Rust) Tokio, FuturesUnordered, and the Thundering Herd Problem

Fixing the Next 10,000 Aliasing Bugs

Fixing the Next Thousand Deadlocks: Why Buffered Streams Are Broken and How To Make Them Safer

Novel way of handling integer overflow, which actually follows Liskov Substitution Principle (2021)

Let's Fix Buffered Streams

An Unfortunate Experience with Rust

Implicit Overflow Considered Harmful (and how to fix it)

When Zero Cost Abstractions Aren't Zero Cost

I Hacked Google App Engine: Anatomy of a Java Bytecode Exploit

An experiment in automatic syntax error correction