X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/9dea83eda92c22ca510e31f38caa5c0c83ba82b3..HEAD:/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 00fb7ff..3966d43 100644
--- a/personal/_posts/2025-12-22-miri.md
+++ b/personal/_posts/2025-12-22-miri.md
@@ -41,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).