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/1e1671f3655c9ca3ee48d6f5462b8d316f30af6b?ds=inline add link to reddit --- diff --git a/personal/_posts/2022-08-08-minirust.md b/personal/_posts/2022-08-08-minirust.md index 4d2752b..f13285b 100644 --- a/personal/_posts/2022-08-08-minirust.md +++ b/personal/_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.