From 99e64258f081e83a64b093725fa6796016f0bffd Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 23 Mar 2021 11:23:42 +0100 Subject: [PATCH 1/1] add CACM article to blog --- .../2021-03-23-safe-systems-programming-in-rust.md | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 ralf/_posts/2021-03-23-safe-systems-programming-in-rust.md diff --git a/ralf/_posts/2021-03-23-safe-systems-programming-in-rust.md b/ralf/_posts/2021-03-23-safe-systems-programming-in-rust.md new file mode 100644 index 0000000..8f8b763 --- /dev/null +++ b/ralf/_posts/2021-03-23-safe-systems-programming-in-rust.md @@ -0,0 +1,11 @@ +--- +title: "Safe Systems Programming in Rust" +categories: research rust +reddit: /rust/comments/mb08i2/safe_systems_programming_in_rust/ +--- + +It has been a long time coming; now our Communications of the ACM article [Safe Systems Programming in Rust](https://cacm.acm.org/magazines/2021/4/251364-safe-systems-programming-in-rust/fulltext) has finally been published. +A [pdf version](https://cacm.acm.org/magazines/2021/4/251364-safe-systems-programming-in-rust/pdf) is also available. +We explain at a high level what makes Rust so innovative and interesting, and how we are studying Rust formally in the [RustBelt project](https://plv.mpi-sws.org/rustbelt/). +The ACM even produced a [short video](https://vimeo.com/514402648) which includes Derek and me explaining the main points of the article. +Have fun. :) -- 2.30.2