X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/5c29844c099418f64b36cbabf260ae242f281db8..refs/heads/master:/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 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 %}). - -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).