From 0a834474721c6a16eb3dfbf08e4270dc4e8e3875 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 11 Aug 2017 19:10:56 -0700 Subject: [PATCH 1/1] so long, and thanks for all the fish --- personal/_drafts/internship-ending.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 personal/_drafts/internship-ending.md diff --git a/personal/_drafts/internship-ending.md b/personal/_drafts/internship-ending.md new file mode 100644 index 0000000..5cba4c9 --- /dev/null +++ b/personal/_drafts/internship-ending.md @@ -0,0 +1,17 @@ +--- +title: "So Long, and Thanks for All the Fish" +categories: internship rust +--- + +Yesterday was the last day of my [Rust internship at Mozilla]({{ site.baseurl }}{% post_url 2017-05-23-internship-starting %}). +I can hardly believe that twelve weeks have passed since that post, but my calendar insists. +If you want to see what I have done, you can go read the [posts]({{ site.baseurl }}{% post_url 2017-05-23-internship-starting %}) [that]({{ site.baseurl }}{% post_url 2017-06-06-MIR-semantics %}) I [wrote]({{ site.baseurl }}{% post_url 2017-07-08-rustbelt %}) [during]({{ site.baseurl }}{% post_url 2017-07-14-undefined-behavior %}) [the]({{ site.baseurl }}{% post_url 2017-07-17-types-as-contracts %}) [internship]({{ site.baseurl }}{% post_url 2017-08-11-types-as-contracts-evaluation %}). +You can also watch the 10-minute video version of this that I made for the internship presentation. +The recording is available on [Air Mozilla](https://air.mozilla.org/intern-presentations-round-2-thursday-august-1st/); my talk starts at 2h 14:30. + + + +I have had a great time, and I cannot thank everyone enough who made this possible. +I will miss all the great people I met here, and all the places that will soon be too far away for a casual visit. + +<3 -- 2.30.2