X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/bd79c5d008140277a98c9039efb26407aef6d2c2..84910fa9a1ba32d4c948ebe7a1e88f8cd4e79fa4:/ralf/_posts/2022-08-08-minirust.md 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.