rename Iris workshop talk file to be more consistent
[web.git] / personal / _posts / 2017-01-20-paris-rust-meetup.md
1 ---
2 title: Talk @ Paris Rust Meetup
3 categories: research rust
4 reddit: /rust/comments/5p714x/rust_paris_meetup_talks_on_rust_formalization/
5 ---
6
7 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.
8 You should totally check them out if you have a chance.
9
10 On that meetup, I gave a short talk about the current status of my [formalization of the Rust type system]({% post_url 2015-10-12-formalizing-rust %}).
11 <!-- MORE -->
12 That was rather spontaneously arranged just two days before the meetup, but it was definitely worth it.
13 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/).
14 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/).
15
16 I am aware I have been rather silent here over the last year.
17 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).
18 Hopefully I can find some time to write them Soon (TM).