Ralf's Ramblings: Rust ralfj.de

How to use storytelling to fit inline assembly into Rust

ralfj.de·7w·Lobsters, Hacker News, Hacker News, r/programming, r/rust

A paper about Miri, and other Miri news

ralfj.de·19w·Lobsters, Hacker News, r/rust

There is no memory safety without thread safety

ralfj.de·40w·Lobsters, Hacker News, r/golang, r/programming

The Tree Borrows paper is finally published

ralfj.de·43w·Lobsters, Hacker News

MiniRust: A core language for specifying Rust

ralfj.de·44w

Rustlantis: Randomized Differential Testing of the Rust Compiler

ralfj.de·75w·Lobsters, Hacker News

What is a place expression?

ralfj.de·90w

Google Open Source Peer Bonus

ralfj.de·123w

Talk about Undefined Behavior, unsafe Rust, and Miri

ralfj.de·151w

From Stacks to Trees: A new aliasing model for Rust

ralfj.de·152w

cargo careful: run your Rust code with extra careful debug checking

ralfj.de·188w

A New Beginning

ralfj.de·194w

Announcing: MiniRust

ralfj.de·195w

Log in to enable infinite scrolling