publications: add video links

[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 d1c4dd3f0f69839adaa0a411fcf9e1e15444d874..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.
 
 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?
 ## Miri progress
 
 The paper aside, what progress has Miri made in the last three years?


@@ -163,7 +165,7 @@ If your name should be on that list, then I am sorry for forgetting you.
 ## How you can help
 
 If you want to help improve Miri, that's awesome!
 ## How you can help
 
 If you want to help improve Miri, that's awesome!

-The [issue tracker](https://github.com/rust-lang/miri/issues) is a good place to start; the list of issues is short enough that you can just browse through it rather quickly to see if anything pikes your interest.
+The [issue tracker](https://github.com/rust-lang/miri/issues) is a good place to start; the list of issues is short enough that you can just browse through it rather quickly to see if anything piques your interest.

 The ones that are particularly suited for getting started are marked with a green label.
 Another good starting point is to try to implement the missing bit of functionality that keeps your test suite from working.
 That said, you should have gathered some Rust experience in a simpler project before tackling Miri; Miri is not a good codebase for your first steps in Rust.
 The ones that are particularly suited for getting started are marked with a green label.
 Another good starting point is to try to implement the missing bit of functionality that keeps your test suite from working.
 That said, you should have gathered some Rust experience in a simpler project before tackling Miri; Miri is not a good codebase for your first steps in Rust.