publish internship-ending
authorRalf Jung <post@ralfj.de>
Sat, 12 Aug 2017 07:08:21 +0000 (00:08 -0700)
committerRalf Jung <post@ralfj.de>
Sat, 12 Aug 2017 07:08:21 +0000 (00:08 -0700)
personal/_posts/2017-08-12-internship-ending.md [moved from personal/_drafts/internship-ending.md with 90% similarity]

similarity index 90%
rename from personal/_drafts/internship-ending.md
rename to personal/_posts/2017-08-12-internship-ending.md
index 5cba4c94d3facaeb697859d3cd0ba3e36c09a03f..1734c3b5e6d5071e57ea5c4f467332583c43c268 100644 (file)
@@ -6,12 +6,13 @@ 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 %}).
+(I *almost* kept up with the plan of bi-weekly blog posts...)
 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.
 
 <!-- MORE -->
 
-I have had a great time, and I cannot thank everyone enough who made this possible.
+I have had a great time, and I cannot thank everyone enough who made this possible -- most notably, aturon, nikomatsakis, and eddyb.
 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