X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/c77d0d355226974b9fb8d41379d10f68a2e6c910..c085f53e63f69c049614a05c3a4dd741684c5aee:/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?