X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/29f5f7973a5dc4900397bdbd7d799f5c788af93a..9b001308930c3173c577885a651530bfb3de91f8:/ralf/_posts/2017-08-12-internship-ending.md diff --git a/ralf/_posts/2017-08-12-internship-ending.md b/ralf/_posts/2017-08-12-internship-ending.md index 1734c3b..a398185 100644 --- a/ralf/_posts/2017-08-12-internship-ending.md +++ b/ralf/_posts/2017-08-12-internship-ending.md @@ -3,9 +3,9 @@ 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 %}). +Yesterday was the last day of my [Rust internship at Mozilla]({% 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 %}). +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 %}). (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.