X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/8bc1b22a247217fcc90043223e7838705363dbbb..b9d85d70222a2d385983f972bc920aed58a9f806:/personal/_posts/2025-12-22-miri.md?ds=sidebyside

diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md
index c6ec030..d6164d8 100644
--- 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?