add CACM article to blog
authorRalf Jung <post@ralfj.de>
Tue, 23 Mar 2021 10:23:42 +0000 (11:23 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 23 Mar 2021 10:23:42 +0000 (11:23 +0100)
ralf/_posts/2021-03-23-safe-systems-programming-in-rust.md [new file with mode: 0644]

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 (file)
index 0000000..8f8b763
--- /dev/null
@@ -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. :)