41554 blogs · [ { "id": "01a087cf-634c-715e-bd9f-e1628811e64d", "title": "How to use storytelling to fit inline assembly into Rust", "url": "https://www.ralfj.de/blog/2026/03/13/inline-asm.html", "published_at": "2026-03-12T23:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e16288c45ceb", "title": "What's \"new\" in Miri (and also, there's a Miri paper!)", "url": "https://www.ralfj.de/blog/2025/12/22/miri.html", "published_at": "2025-12-21T23:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e16289921e98", "title": "There is no memory safety without thread safety", "url": "https://www.ralfj.de/blog/2025/07/24/memory-safety.html", "published_at": "2025-07-23T22:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628a635568", "title": "The Tree Borrows paper is finally published", "url": "https://www.ralfj.de/blog/2025/07/07/tree-borrows-paper.html", "published_at": "2025-07-06T22:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628a854ca8", "title": "The current state of MiniRust", "url": "https://www.ralfj.de/blog/2025/07/02/minirust-talk.html", "published_at": "2025-07-01T22:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628afba7d1", "title": "Program Logics à la Carte", "url": "https://www.ralfj.de/blog/2025/01/15/program-logics-a-la-carte.html", "published_at": "2025-01-14T23:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628bf20c3a", "title": "Rustlantis: Randomized Differential Testing of the Rust Compiler", "url": "https://www.ralfj.de/blog/2024/11/25/rustlantis.html", "published_at": "2024-11-24T23:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628c4de3a4", "title": "What is a place expression?", "url": "https://www.ralfj.de/blog/2024/08/14/places.html", "published_at": "2024-08-13T22:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628c5b090d", "title": "Sandboxing All The Things with Flatpak and BubbleBox", "url": "https://www.ralfj.de/blog/2024/04/14/bubblebox.html", "published_at": "2024-04-13T22:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628c8284e0", "title": "Google Open Source Peer Bonus", "url": "https://www.ralfj.de/blog/2023/12/27/open-source-peer-bonus.html", "published_at": "2023-12-26T23:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628d1eb88c", "title": "Talk about Undefined Behavior, unsafe Rust, and Miri", "url": "https://www.ralfj.de/blog/2023/06/13/undefined-behavior-talk.html", "published_at": "2023-06-12T22:00:00+00:00" }, { "id": "01a087cf-634c-715e-bd9f-e1628da2a5c0", "title": "From Stacks to Trees: A new aliasing model for Rust", "url": "https://www.ralfj.de/blog/2023/06/02/tree-borrows.html", "published_at": "2023-06-01T22:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/ralfj.de/posts