add link to Miri talk

[web.git] / personal / _posts / 2025-12-22-miri.md

diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md
index c6ec030d61fb91a9a90df294764d5a11e8793d2b..d6164d8edbeef32a897abf727ebfbad433b4dbaf 100644 (file)
--- a/personal/_posts/2025-12-22-miri.md
+++ b/personal/_posts/2025-12-22-miri.md
@@ -26,6 +26,8 @@ To learn more about Miri, you can read the [**paper**](https://plf.inf.ethz.ch/r
 Yes, there's a paper! That's the first bit of news.
 *"Miri: Practical Undefined Behavior Detection for Rust"* has been accepted to POPL 2026, one of the most prestigious and competitive conferences for fundamental research in Programming Languages.
 
+**Update (2026-02-04):** A recording of the conference talk about this paper is now also [available online](https://www.youtube.com/watch?app=desktop&v=9A8ZeDIStAs).
+
 ## Miri progress
 
 The paper aside, what progress has Miri made in the last three years?