From: Ralf Jung Date: Tue, 23 Mar 2021 10:23:42 +0000 (+0100) Subject: add CACM article to blog X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/00c0aeb60c045de6da23fa8c8521c92c3266255a?ds=inline add CACM article to blog --- diff --git a/personal/_posts/2021-03-23-safe-systems-programming-in-rust.md b/personal/_posts/2021-03-23-safe-systems-programming-in-rust.md new file mode 100644 index 0000000..8f8b763 --- /dev/null +++ b/personal/_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. :)