Rust compiler bug test case reduction techniques

Update 19 November 2019: fixed miscellaneous typos and a bug in the
invariance example pointed out by
readers both privately and on reddit … Read more


Rust’s Most Unrecognized Contributor

I think the Rust language is a big success. When I think back on it I am in awe: so much had to go right to get where we are, and there were so many opportunities to go wrong. It took many tiny miracles for the Rust language to become what it has. Those m... (more…)

Read more »

Rust procedural macros vs. GCC plugins

Much of my work recently has been in Rust. I’ve known about Rust since its early days but I’ve never had the inclination to sit down and work with it until now. In many respects, I feel like I’m working in a functional programming language given the wide-... (more…)

Read more »