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/search.scss

@@ -8,6 +8,11 @@ $search-element-padding: 0.5rem 1rem 0.5rem 1rem;
     box-shadow: 0px 0px 5px rgba($primary-color, 0.7);
 }
 
+.stork-wrapper {
+    margin-top: 0.5rem;
+    margin-bottom: 0.5rem;
+}
+
 .stork-input-wrapper {
     display: flex;
     flex-direction: row;

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/index.html

@@ -1,14 +1,12 @@
 {{ define "main" }}
 {{ .Content }}
 
-<p>
+<div class="stork-wrapper">
-    <div class="stork-wrapper">
+    <div class="stork-input-wrapper">
-        <div class="stork-input-wrapper">
+        <input class="stork-input" data-stork="blog" placeholder="Search (requires JavaScript)"/>
-            <input class="stork-input" data-stork="blog" placeholder="Search (requires JavaScript)"/>
-        </div>
-        <div class="stork-output" data-stork="blog-output"></div>
     </div>
-</p>
+    <div class="stork-output" data-stork="blog-output"></div>
+</div>
 
 Recent posts:
 <ul class="post-list">
@@ -18,5 +16,5 @@ Recent posts:
 </ul>
 
 <script src="https://files.stork-search.net/stork.js"></script>
-<script>stork.register("blog", "/index.st");</script>
+<script>stork.register("blog", "/index.st", {"showProgress" : false});</script>
 {{ 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>