personal/_posts/2017-08-12-internship-ending.md

   1 ---
   2 title: "So Long, and Thanks for All the Fish"
   3 categories: internship rust
   4 ---
   5
   6 Yesterday was the last day of my [Rust internship at Mozilla]({% post_url 2017-05-23-internship-starting %}).
   7 I can hardly believe that twelve weeks have passed since that post, but my calendar insists.
   8 If you want to see what I have done, you can go read the [posts]({% post_url 2017-05-23-internship-starting %}) [that]({% post_url 2017-06-06-MIR-semantics %}) I [wrote]({% post_url 2017-07-08-rustbelt %}) [during]({% post_url 2017-07-14-undefined-behavior %}) [the]({% post_url 2017-07-17-types-as-contracts %}) [internship]({% post_url 2017-08-11-types-as-contracts-evaluation %}).
   9 (I *almost* kept up with the plan of bi-weekly blog posts...)
  10 You can also watch the 10-minute video version of this that I made for the internship presentation.
  11 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.
  12
  13 <!-- MORE -->
  14
  15 I have had a great time, and I cannot thank everyone enough who made this possible -- most notably, aturon, nikomatsakis, and eddyb.
  16 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.
  17
  18 <3