From a3e6bc46a411170c1f288db0e9a7e798469fa002 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 2 Apr 2021 11:25:12 +0200 Subject: [PATCH 1/1] license some blog posts under CC BY-SA 4.0 --- personal/_layouts/post.html | 3 ++- personal/_posts/2016-01-09-the-scope-of-unsafe.md | 2 ++ personal/_posts/2017-06-09-mutexguard-sync.md | 2 ++ personal/_posts/2020-12-14-provenance.md | 2 ++ 4 files changed, 8 insertions(+), 1 deletion(-) diff --git a/personal/_layouts/post.html b/personal/_layouts/post.html index 652d476..77d1385 100644 --- a/personal/_layouts/post.html +++ b/personal/_layouts/post.html @@ -10,7 +10,8 @@ layout: default {{ content }}

- Posted on {{ site.blog.title }} on {{ page.date | date: "%b %-d, %Y" }}.
+ Posted on {{ site.blog.title }} on {{ page.date | date: "%b %-d, %Y" }}{% if page.license %} and licensed under {{ page.license }}{% endif %}.
Comments? Drop me a mail{% if page.reddit %} or leave a note on reddit{% endif %}{% if page.forum %} or leave a note in the forum{% endif %}! diff --git a/personal/_posts/2016-01-09-the-scope-of-unsafe.md b/personal/_posts/2016-01-09-the-scope-of-unsafe.md index ec9fde0..96a7eb4 100644 --- a/personal/_posts/2016-01-09-the-scope-of-unsafe.md +++ b/personal/_posts/2016-01-09-the-scope-of-unsafe.md @@ -2,6 +2,8 @@ title: The Scope of Unsafe categories: research rust reddit: /rust/comments/4065l2/the_scope_of_unsafe/ +license: CC BY-SA 4.0 +license-url: https://creativecommons.org/licenses/by-sa/4.0/ --- I'd like to talk about an important aspect of dealing with unsafe code, that still regularly seems to catch people on the wrong foot: diff --git a/personal/_posts/2017-06-09-mutexguard-sync.md b/personal/_posts/2017-06-09-mutexguard-sync.md index 2fe628a..8bfa213 100644 --- a/personal/_posts/2017-06-09-mutexguard-sync.md +++ b/personal/_posts/2017-06-09-mutexguard-sync.md @@ -2,6 +2,8 @@ title: How MutexGuard was Sync When It Should Not Have Been categories: rust research reddit: /rust/comments/6gavfe/how_mutexguard_was_sync_when_it_should_not_have/ +license: CC BY-SA 4.0 +license-url: https://creativecommons.org/licenses/by-sa/4.0/ --- A couple of weeks ago, our ongoing effort to [formalize Rust's type system]({% post_url 2015-10-12-formalizing-rust %}) lead to us actually discovering a bug in the Rust standard library: diff --git a/personal/_posts/2020-12-14-provenance.md b/personal/_posts/2020-12-14-provenance.md index 693d8e2..4e95665 100644 --- a/personal/_posts/2020-12-14-provenance.md +++ b/personal/_posts/2020-12-14-provenance.md @@ -2,6 +2,8 @@ title: "Pointers Are Complicated II, or: We need better language specs" categories: rust research forum: https://internals.rust-lang.org/t/pointers-are-complicated-ii-or-we-need-better-language-specs/13562 +license: CC BY-SA 4.0 +license-url: https://creativecommons.org/licenses/by-sa/4.0/ --- Some time ago, I wrote a blog post about how [there's more to a pointer than meets the eye]({% post_url 2018-07-24-pointers-and-bytes %}). -- 2.30.2