From: Ralf Jung Date: Tue, 23 May 2017 20:58:28 +0000 (-0700) Subject: add post on Paris meetup that I forgot to add X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/dd850fdf7200848c9ade6503c39c64952546f559?ds=inline add post on Paris meetup that I forgot to add --- diff --git a/personal/_posts/2017-01-20-paris-rust-meetup.md b/personal/_posts/2017-01-20-paris-rust-meetup.md new file mode 100644 index 0000000..8b6800f --- /dev/null +++ b/personal/_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 %}). + +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).