From cd71fa0dcd30d511f48f703d8031727bc1953f7d Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Fri, 20 Nov 2020 23:28:24 +0100 Subject: Note down stuff It's Friday night, I'm allowed to make non-descriptive commit titles. --- reviews/papers.org | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 reviews/papers.org (limited to 'reviews') diff --git a/reviews/papers.org b/reviews/papers.org new file mode 100644 index 0000000..57bd65b --- /dev/null +++ b/reviews/papers.org @@ -0,0 +1,4 @@ +* [[https://arxiv.org/abs/2011.06171][The Usability of Ownership]] :rust: +I'm glad I learned "incompleteness" as a more concise way to express +"the borrow checker not being smart enough to accept code that does +not violate Rust's theoretical ownership rules". -- cgit v1.2.3