link to sloonz's script

[web.git] / ralf / _posts / 2018-01-21-rustbelt-talk.md

diff --git a/ralf/_posts/2018-01-21-rustbelt-talk.md b/ralf/_posts/2018-01-21-rustbelt-talk.md
deleted file mode 100644 (file)
index 976d417..0000000
--- a/ralf/_posts/2018-01-21-rustbelt-talk.md
+++ /dev/null
@@ -1,12 +0,0 @@
----
-title: "RustBelt conference talk"
-categories: research rust
-forum: https://internals.rust-lang.org/t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509
----
-
-Last week, I was in Los Angeles at [POPL 2018](https://popl18.sigplan.org/home)
-to present our paper
-[RustBelt: Securing the Foundations of the Rust Programming Language](https://plv.mpi-sws.org/rustbelt/popl18/).
-The talk has been recorded, so if you want to get a 20-minute summary of the
-paper, go watch it [on YouTube](https://www.youtube.com/watch?v=Cy9NUVaiYUg).
-If you have any questions, feel free to join the forum thread linked below :)