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/d514524122b90f3327ea2b901ebaf0fabeb70b74?ds=sidebyside;hp=57350c3dab4d2921ab6cdd208abd193271f74a9e 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.