add post on Paris meetup that I forgot to add

[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
new file mode 100644 (file)
index 0000000..8b6800f
--- /dev/null
+++ b/ralf/_posts/2017-01-20-paris-rust-meetup.md
@@ -0,0 +1,18 @@
+---
+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).