add link to reddit
authorRalf Jung <post@ralfj.de>
Mon, 8 Aug 2022 02:03:13 +0000 (22:03 -0400)
committerRalf Jung <post@ralfj.de>
Mon, 8 Aug 2022 02:03:13 +0000 (22:03 -0400)
personal/_posts/2022-08-08-minirust.md

index 4d2752b9bf684626c92d49ca2acc602c15eda58b..f13285b26a5c8fd63a377a1180c97f64e390a8bf 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "Announcing: MiniRust"
 categories: rust research
+reddit: /rust/comments/wiwjch/announcing_minirust/
 ---
 
 I have been thinking about the semantics of Rust -- as in, the intended behavior of Rust programs when executed, in particular those containing unsafe code -- a lot.