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 (file)
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!