From 6f1497828285bd345256d17f8b43850e09bbd549 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 2 Jan 2016 15:15:30 +0100
Subject: [PATCH 1/1] posts: add link to reddit page, if it exists

---
 personal/_layouts/page.html                    | 4 +++-
 personal/_posts/2015-10-12-formalizing-rust.md | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/personal/_layouts/page.html b/personal/_layouts/page.html
index d3b16f2..4208919 100644
--- a/personal/_layouts/page.html
+++ b/personal/_layouts/page.html
@@ -44,7 +44,9 @@
 
       {{ content }}
 
-      {% if page.post %}<p class="comment">Comments? <a href="mailto:post-AT-ralfj-DOT-de">Drop me a mail</a>!</p>{% endif %}
+      {% if page.post %}
+        <p class="comment">Comments? <a href="mailto:post-AT-ralfj-DOT-de">Drop me a mail</a>{% if page.reddit %} or <a href="https://www.reddit.com/r{{ page.reddit }}">leave a note on reddit</a>{% endif %}!</p>
+      {% endif %}
     </article>
 
   </div></body>
diff --git a/personal/_posts/2015-10-12-formalizing-rust.md b/personal/_posts/2015-10-12-formalizing-rust.md
index 3ad7cfa..672f900 100644
--- a/personal/_posts/2015-10-12-formalizing-rust.md
+++ b/personal/_posts/2015-10-12-formalizing-rust.md
@@ -1,6 +1,7 @@
 ---
 title: Formalizing Rust
 categories: research rust
+reddit: /rust/comments/3ofkz6/formalizing_rust/
 ---
 
 My current research project - and the main topic of my PhD thesis - is about developing a *semantic model* of the [Rust programming language](https://www.rust-lang.org/) and, most importantly, its type system.
-- 
2.30.2