how-to-panic: link to ongoing cleanup effort

[web.git] / 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
index b08917ba2f7b0c5557a51f66e5616c487d976fd9..d7d2cffbfe8f51b76cbfa6778aaad74efb2c4af8 100644 (file)
--- a/personal/_posts/2025-07-02-minirust-talk.md
+++ b/personal/_posts/2025-07-02-minirust-talk.md
@@ -1,10 +1,10 @@
 ---
 ---

-title: "MiniRust: A core language for specifying Rust"
+title: "The current state of MiniRust"

 categories: rust research
 ---
 
 A few weeks ago, many Rust folks met in Utrecht for RustWeek and we all had a great time.
 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.
+As part of that, I also gave a talk titled "MiniRust: A core language for specifying Rust" 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). :)
 
 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). :)