tweak title, and add reddit link

diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md
index efdca9caff007efce428b699cd3c59a2ef4fbea4..00fb7ff411c7f4c05b0c42e378e2c29d1a9a4fc8 100644 (file)
--- 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
 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.
 ---
 
 It is time for another "what is happening in Miri" post.