X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/fe94428c5c1614dab6bf158a080b994ebec00996..9dea83eda92c22ca510e31f38caa5c0c83ba82b3:/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 efdca9c..00fb7ff 100644
--- a/personal/_posts/2025-12-22-miri.md
+++ b/personal/_posts/2025-12-22-miri.md
@@ -1,6 +1,7 @@
 ---
-title: "A paper about Miri, and other Miri news"
+title: "What's \"new\" in Miri (and also, there's a Miri paper!)"
 categories: rust
+reddit: /rust/comments/1pt3kfx/whats_new_in_miri_and_also_theres_a_miri_paper/
 ---
 
 It is time for another "what is happening in Miri" post.