Link to favorite posts from footer.

content/blog/00_aoc_coq.md

@@ -2,6 +2,7 @@
 title: "Advent of Code in Coq - Day 1"
 date: 2020-12-02T18:44:56-08:00
 tags: ["Advent of Code", "Coq"]
+favorite: true
 ---
 
 The first puzzle of this year's [Advent of Code](https://adventofcode.com) was quite

content/blog/10_compiler_polymorphism.md

@@ -3,6 +3,7 @@ title: Compiling a Functional Language Using C++, Part 10 - Polymorphism
 date: 2020-03-25T17:14:20-07:00
 tags: ["C and C++", "Functional Languages", "Compilers"]
 description: "In this post, we extend our compiler's typechecking algorithm to implement the Hindley-Milner type system, allowing for polymorphic functions."
+favorite: true
 ---
 
 [In part 8]({{< relref "08_compiler_llvm.md" >}}), we wrote some pretty interesting programs in our little language.

content/blog/boolean_values.md

@@ -2,6 +2,7 @@
 title: "How Many Values Does a Boolean Have?"
 date: 2020-08-21T23:05:55-07:00
 tags: ["Java", "Haskell", "C and C++"]
+favorite: true
 ---
 
 A friend of mine recently had an interview for a software

content/blog/typesafe_interpreter_revisited.md

@@ -2,6 +2,7 @@
 title: Meaningfully Typechecking a Language in Idris, Revisited
 date: 2020-07-22T14:37:35-07:00
 tags: ["Idris"]
+favorite: true
 ---
 
 Some time ago, I wrote a post titled [Meaningfully Typechecking a Language in Idris]({{< relref "typesafe_interpreter.md" >}}). The gist of the post was as follows:

content/favorites.md

@@ -0,0 +1,9 @@
+---
+title: Favorites
+type: "favorites"
+description: Posts from Daniel's personal blog that he has enjoyed writing the most, or that he thinks turned out very well.
+---
+The amount of content on this blog is monotonically increasing. Thus, as time goes on, it's becoming
+harder and harder to see at a glance what kind of articles I write. To address this, I've curated
+a small selection of articles from this site that I've particularly enjoyed writing, or that I think
+turned out especially well. They're listed below, most recent first.

themes/vanilla/assets/scss/style.scss

@@ -170,6 +170,15 @@ hr.header-divider {
     border-radius: 0.15rem;
 }
 
+hr.footer-divider {
+    margin: auto;
+    margin-top: 1.5rem;
+    margin-bottom: 1.5rem;
+    max-width: $container-width;
+    border: none;
+    border-bottom: $standard-border;
+}
+
 ul.post-list {
     list-style: none;
     padding: 0;

themes/vanilla/layouts/_default/baseof.html

@@ -7,6 +7,6 @@
         <main class="container">
         {{- block "main" . }}{{- end }}
         </main>
-        {{- partial "footer.html" . -}}
+        {{- block "after" . }}{{- end }}
     </body>
 </html>

themes/vanilla/layouts/blog/single.html

@@ -30,3 +30,13 @@
     {{ .Content }}
 </div>
 {{ end }}
+{{ define "after" }}
+<hr class="footer-divider">
+<footer class="container">
+    Liked this article? I'm currently looking for Computer Science internships for the summer
+    of 2021. Take a look at my <a href="/Resume-Danila-Fedorin.pdf">resume</a>, 
+    <a href="https://github.com/DanilaFe">GitHub profile</a>,
+    and <a href="/favorites">my favorite articles from this blog</a>
+    to learn more about me!
+</footer>
+{{ end }}

themes/vanilla/layouts/favorites/single.html

@@ -0,0 +1,10 @@
+{{ define "main" }}
+<h2>{{ .Title }} </h2>
+{{ .Content }}
+
+<ul class="post-list">
+    {{ range (where (where .Site.Pages.ByDate.Reverse "Section" "blog") ".Kind" "!=" "section") }}
+    {{ if .Params.favorite }}{{ partial "post.html" . }}{{ end }}
+    {{ end }}
+</ul>
+{{ end }}

themes/vanilla/layouts/partials/post.html

@@ -1,5 +1,5 @@
 <li>
-    <a href="{{ .Permalink }}" class="post-title">{{ .Title }}</a>
+    <a href="{{ .Permalink }}" class="post-title">{{ if .Params.favorite }}🟊{{ end }} {{ .Title }}</a>
     <p class="post-wordcount">{{ .WordCount }} words, about {{ .ReadingTime }} minutes to read.</p>
     <p class="post-preview">{{ .Summary }} . . .</p>
 </li>