replace int by uintptr_t

[web.git] / personal / _posts / 2019-11-18-stacked-borrows-paper.md

diff --git a/personal/_posts/2019-11-18-stacked-borrows-paper.md b/personal/_posts/2019-11-18-stacked-borrows-paper.md
index 39ce8ead382966d1eca366e72553d36ce4162a12..49d7dc7a4ba27d652fe98a25510feae7bcc210c3 100644 (file)
--- a/personal/_posts/2019-11-18-stacked-borrows-paper.md
+++ b/personal/_posts/2019-11-18-stacked-borrows-paper.md
@@ -1,6 +1,7 @@
 ---
 title: "Stacked Borrows: An Aliasing Model for Rust (the paper)"
 categories: research rust
+reddit: /rust/comments/dy8avz/stacked_borrows_an_aliasing_model_for_rust_the/
 ---
 
 I have [blogged]({% post_url 2019-05-21-stacked-borrows-2.1 %}) a [few]({% post_url 2019-04-30-stacked-borrows-2 %}) times before about [Stacked Borrows](https://github.com/rust-lang/unsafe-code-guidelines/blob/master/wip/stacked-borrows.md), my proposed aliasing model for Rust.