content/blog/00_aoc_coq.md

@@ -2,7 +2,6 @@
 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,7 +3,6 @@ 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,7 +2,6 @@
 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,7 +2,6 @@
 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

@@ -1,9 +0,0 @@
----
-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,15 +170,6 @@ 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>
-        {{- block "after" . }}{{- end }}
+        {{- partial "footer.html" . -}}
     </body>
 </html>

themes/vanilla/layouts/blog/single.html

@@ -30,13 +30,3 @@
     {{ .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

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