From 317ebd9167f15892e966c0c3dbcfc7077bf47d42 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 18 Aug 2025 11:35:51 +0200 Subject: [PATCH 1/1] fix typo --- personal/_posts/2025-07-02-minirust-talk.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2025-07-02-minirust-talk.md b/personal/_posts/2025-07-02-minirust-talk.md index 952e25b..d7d2cff 100644 --- a/personal/_posts/2025-07-02-minirust-talk.md +++ b/personal/_posts/2025-07-02-minirust-talk.md @@ -4,7 +4,7 @@ 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 titled "MiniRust: A core language for specifying Rust" 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). :) -- 2.39.5