By Ralf Jung :
Pointers Are Complicated II, or: We need better language specs |
Some time ago, I wrote a blog post about how there’s more to a pointer than meets the eye. One key point I was trying to make is that just because two pointers point to the same address...
Article Rust Ralf Jung 1
Debugging rustc type layouts |
This post is a “public service announcement” for people working on the guts of rustc. I wish I had known about this a year ago, so I hope this post can make this feature more widely known.
Article Rust Ralf Jung 1
Achievement 'PhD' unlocked |
It is done! My dissertation is finally complete. So if you always wanted an in-depth account of my research on Rust (and more), you can go read my dissertation. With its almost 300 pages, i...
Article Rust Ralf Jung 1
Why even unused data needs to be valid |
The Rust compiler has a few assumptions that it makes about the behavior of all code. Violations of those assumptions are referred to as Undefined Behavior. Since Rust is a safe-by-default ...
Article Rust Ralf Jung 1 Considered Harmful |
I am administrating the server that hosts this blog myself, and this includes running and maintaining my own mail server. Email is a messy and complicated bit of infrastructure, born in a m...
Article Rust Ralf Jung 1
What (not so) recently happened in Miri |
A lot has happened in Miri over the last year and a half, and I figured it would be a good idea to advertise all this progress a bit more widely, so here we go. We also recently performed a...
Article Rust Ralf Jung 1

Featured Contributors

Ralf Jung
Rust ..
Install the Toplog Bookmarklet to submit page with a single click. To Install, Just Drag or Right Click the below Link to bookmark it:
Post to Toplog Bookmarklet