The Curious Engineer

All blogs / Rust

Ralf's Ramblings

ralfj.de/blog

RustCompilersFunctional / PL theory

’15’16’17’18’19’20’21’22’23’24’25’26
Posts
138 from 8 Oct 2015 to 13 Mar 2026
Posting
now and then (4 in the last year)
Kind
personal blog
Feed
https://www.ralfj.de/blog/feed.xml

2026 2

  1. 2026 03 13 inline asm.md
  2. How to use storytelling to fit inline assembly into Rust

2025 10

  1. 2025 12 22 miri.md
  2. What's "new" in Miri (and also, there's a Miri paper!)
  3. 2025 07 24 memory safety.md
  4. There is no memory safety without thread safety
  5. 2025 07 07 tree borrows paper.md
  6. The Tree Borrows paper is finally published
  7. 2025 07 02 minirust talk.md
  8. The current state of MiniRust
  9. 2025 01 15 program logics a la carte.md
  10. Program Logics à la Carte

2024 6

  1. 2024 11 25 rustlantis.md
  2. Rustlantis: Randomized Differential Testing of the Rust Compiler
  3. 2024 08 14 places.md
  4. What is a place expression?
  5. 2024 04 14 bubblebox.md
  6. Sandboxing All The Things with Flatpak and BubbleBox

2023 6

  1. 2023 12 27 open source peer bonus.md
  2. Google Open Source Peer Bonus
  3. 2023 06 13 undefined behavior talk.md
  4. Talk about Undefined Behavior, unsafe Rust, and Miri
  5. 2023 06 02 tree borrows.md
  6. From Stacks to Trees: A new aliasing model for Rust

2022 10

  1. 2022 09 26 cargo careful.md
  2. Read more...
  3. 2022 08 16 eth.md
  4. Read more...
  5. 2022 08 08 minirust.md
  6. Read more...
  7. 2022 07 02 miri.md
  8. Read more...
  9. 2022 04 11 provenance exposed.md
  10. Read more...

2021 8

  1. 2021 11 24 ub necessary.md
  2. Read more...
  3. 2021 11 18 ub good idea.md
  4. Read more...
  5. 2021 06 10 ghostcell podcast.md
  6. Read more...
  7. 2021 03 23 safe systems programming in rust.md
  8. Read more...

2020 12

  1. 2020 12 14 provenance.md
  2. Read more...
  3. 2020 09 28 miri.md
  4. Read more...
  5. 2020 09 03 phd.md
  6. Read more...
  7. 2020 07 24 outlook.com considered harmful.md
  8. Read more...
  9. 2020 07 15 unused data.md
  10. Read more...
  11. 2020 04 04 layout debugging.md
  12. Read more...

2019 22

  1. 2019 11 25 how to panic in rust.md
  2. Read more...
  3. 2019 11 18 stacked borrows paper.md
  4. Read more...
  5. 2019 10 20 type soundness.md
  6. Read more...
  7. 2019 07 14 uninit.md
  8. Read more...
  9. 2019 05 21 stacked borrows 2.1.md
  10. Read more...
  11. 2019 05 15 typeclasses exponential blowup.md
  12. Read more...
  13. 2019 04 30 stacked borrows 2.md
  14. Read more...
  15. 2019 03 26 miri as rustup component.md
  16. Read more...
  17. 2019 03 09 firejail.md
  18. Read more...
  19. 2019 02 12 all hands recap.md
  20. Read more...
  21. 2019 01 12 rust 2019.md
  22. Read more...

2018 32

  1. 2018 12 26 stacked borrows barriers.md
  2. Read more...
  3. 2018 12 12 google scholar.md
  4. Read more...
  5. 2018 11 16 stacked borrows implementation.md
  6. Read more...
  7. 2018 08 22 two kinds of invariants.md
  8. Read more...
  9. 2018 08 07 stacked borrows.md
  10. Read more...
  11. 2018 07 24 pointers and bytes.md
  12. Read more...
  13. 2018 07 19 const.md
  14. Read more...
  15. 2018 07 13 arc synchronization.md
  16. Read more...
  17. 2018 07 11 research assistant.md
  18. Read more...
  19. 2018 06 10 mailman subscription spam continued.md
  20. Read more...
  21. 2018 06 02 mailman subscription spam.md
  22. Read more...
  23. 2018 05 28 cloudless contact sync.md
  24. Read more...
  25. 2018 04 10 safe intrusive collections with pinning.md
  26. Read more...
  27. 2018 04 05 a formal look at pinning.md
  28. Read more...
  29. 2018 01 31 sharing for a lifetime.md
  30. Read more...
  31. 2018 01 21 rustbelt talk.md
  32. Read more...

2017 22

  1. 2017 12 26 lets encrypt.md
  2. Read more...
  3. 2017 12 15 people of pl interview.md
  4. Read more...
  5. 2017 08 12 internship ending.md
  6. Read more...
  7. 2017 08 11 types as contracts evaluation.md
  8. Read more...
  9. 2017 07 17 types as contracts.md
  10. Read more...
  11. 2017 07 14 undefined behavior.md
  12. Read more...
  13. 2017 07 08 rustbelt.md
  14. Read more...
  15. 2017 06 09 mutexguard sync.md
  16. Read more...
  17. 2017 06 06 MIR semantics.md
  18. Read more...
  19. 2017 05 23 internship starting.md
  20. Read more...
  21. 2017 01 20 paris rust meetup.md
  22. Read more...

2016 2

  1. 2016 01 09 the scope of unsafe.md
  2. Read more...

2015 6

  1. 2015 10 12 formalizing rust.md
  2. Read more...
  3. 2015 10 09 breaking all the way out.md
  4. Read more...
  5. 2015 10 08 welcome.md
  6. Read more...