From: Ralf Jung Date: Wed, 2 Jul 2025 14:50:43 +0000 (+0200) Subject: add MiniRust talk X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/773da63d169c57e770bc6459fc0026d87ff11a84?ds=inline;hp=8d2d8d56d4dbb75ba01f913906b63ba847f7d6aa add MiniRust talk --- diff --git a/personal/_posts/2025-07-02-minirust-talk.md b/personal/_posts/2025-07-02-minirust-talk.md new file mode 100644 index 0000000..b08917b --- /dev/null +++ b/personal/_posts/2025-07-02-minirust-talk.md @@ -0,0 +1,11 @@ +--- +title: "MiniRust: A core language for specifying Rust" +categories: rust research +--- + +A few weeks ago, many Rust folks met in Utrecht for RustWeek and we all had a great time. +As part if that, I also gave a talk about the current state of MiniRust. +This was my first time giving a talk in a (fully packed) movie theater; unfortunately, my special effects budget cannot keep up with the shows that would usually be presented there. +But nevertheless, if you would like to learn more about my vision for how we should specify the gnarly details of unsafe Rust, [please go watch my talk](https://www.youtube.com/watch?v=yoeuW_dSe0o). :) + +Thanks to everyone who was there for being a great audience, and thanks to the organizers for an amazing week and high-quality recordings!