Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederralfj.de
Get the latest updates from directly as they happen.
Follow now 33 followers
Latest posts
Last updated 21 days ago
There is no memory safety without thread safety
21 days ago
Memory safety is all the rage these days But what does the...
The Tree Borrows paper is finally published
about 1 month ago
After several years of work, the Tree Borrows paper has finally been...
MiniRust: A core language for specifying Rust
about 1 month ago
A few weeks ago, many Rust folks met in Utrecht for RustWeek...
Program Logics à la Carte
7 months ago
My first PhD student paper has been accepted into POPL “Program Logics...
Do we really need Undefined Behavior?
8 months ago
I recently published a blog post on why Undefined Behavior is actually...
The last two years in Miri
8 months ago
It has been almost two years since my last Miri status update...
cargo careful: run your Rust code with extra careful debug checking
8 months ago
Did you know that the standard library is full of useful checks...
Pointers Are Complicated III, or: Pointer-integer casts exposed
8 months ago
In my previous blog post on pointer provenance, I have shown that...
From Stacks to Trees: A new aliasing model for Rust
8 months ago
Since last fall, Neven has been doing an internship to develop a...
Google Open Source Peer Bonus
8 months ago
We are all used to spam emails, supposedly from Google, that say...