From: Ralf Jung Date: Mon, 8 Aug 2022 02:03:13 +0000 (-0400) Subject: add link to reddit X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/84910fa9a1ba32d4c948ebe7a1e88f8cd4e79fa4?ds=sidebyside add link to reddit --- diff --git a/ralf/_posts/2022-08-08-minirust.md b/ralf/_posts/2022-08-08-minirust.md index 4d2752b..f13285b 100644 --- a/ralf/_posts/2022-08-08-minirust.md +++ b/ralf/_posts/2022-08-08-minirust.md @@ -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.