link to sloonz's script

[web.git] / ralf / _posts / 2017-01-20-paris-rust-meetup.md

diff --git a/ralf/_posts/2017-01-20-paris-rust-meetup.md b/ralf/_posts/2017-01-20-paris-rust-meetup.md
deleted file mode 100644 (file)
index 8b6800f..0000000
--- a/ralf/_posts/2017-01-20-paris-rust-meetup.md
+++ /dev/null
@@ -1,18 +0,0 @@
----
-title: Talk @ Paris Rust Meetup
-categories: research rust
-reddit: /rust/comments/5p714x/rust_paris_meetup_talks_on_rust_formalization/
----
-
-This week, I have been at the Paris Rust Meetup.  Meeting all sorts of Rust people was great fun, and the Mozilla offices in Paris are absolutely impressive.
-You should totally check them out if you have a chance.
-
-On that meetup, I gave a short talk about the current status of my [formalization of the Rust type system]({{ site.baseurl }}{% post_url 2015-10-12-formalizing-rust %}).
-<!-- MORE -->
-That was rather spontaneously arranged just two days before the meetup, but it was definitely worth it.
-If you are interested in what this work is all about and where we are currently, you can go watch the recording of the talk at [Air Mozilla](https://air.mozilla.org/rust-paris-meetup-35-2017-01-19/).
-My talk covers the first 20 minutes of that recording, but you should just keep on watching as I was followed by Niko and Aaron talking about [Rayon](https://github.com/nikomatsakis/rayon) and [Tokio](https://tokio.rs/).
-
-I am aware I have been rather silent here over the last year.
-I do have some topics in the pipeline that I'd like to write more extensive posts on (some of which I hinted at during the talk).
-Hopefully I can find some time to write them Soon (TM).