From 773da63d169c57e770bc6459fc0026d87ff11a84 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 2 Jul 2025 16:50:43 +0200 Subject: [PATCH 1/1] add MiniRust talk --- personal/_posts/2025-07-02-minirust-talk.md | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 personal/_posts/2025-07-02-minirust-talk.md 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! -- 2.39.5