X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/fe94428c5c1614dab6bf158a080b994ebec00996..e2be0cbf24117ccfe59f11e66c531264358941e8:/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 efdca9c..3966d43 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.
@@ -40,7 +41,7 @@ The following list attempts to summarize which shims have been added to Miri sin
 - Support for various new file descriptor kinds on Unix and specifically Linux, such as `socketpair`, `pipe`, and `eventfd` (by @DebugSteven, @tiif, @RalfJung, @FrankReh).
 - Support for Linux `epoll` (by @tiif with some groundwork and extensions by @DebugSteven, @FrankReh, @RalfJung).
 - Broaden the general file API support (by @Pointerbender, @Jefffrey, @tiif, @newpavlov).
-- Support for many Intel vendor intrinsics covering SSE2 all the way up to AVX2 (mostly by @eduardosm with some help by @TDecking and @Kixunil).
+- Support for many Intel vendor intrinsics covering SSE2 all the way up to AVX2 (mostly by @eduardosm with some help by @TDecking, @Kixunil). Thanks to @folkertdev, Miri even supports some AVX-512 intrinsics, making it a suitable [testbed](https://trifectatech.org/blog/emulating-avx-512-intrinsics-in-miri/) for code you may not be able to run on real hardware!
 - Support for basic functionality on FreeBSD (by @devnexen and @LorrensP-2158466).
 - Support for basic functionality on Illumos and Solaris (by @devnexen).
 - Support for basic functionality on Android (by @YohDeadfall).