From d3d9145610e0b33a4651c9f8af320e919b3c9283 Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Tue, 10 Sep 2024 05:28:25 -0500
Subject: [PATCH] some fixes

---
 .gitignore                                    |  2 +
 .vscode/extensions.json                       |  5 +-
 frontmatter.json                              | 47 +++++++++++++++++++
 src/components/PostList.astro                 |  7 ++-
 ...-docker-compose-container-without-shell.md |  2 +-
 ...3-path-induction-gadt-perspective.lagda.md |  2 +-
 .../index.md                                  |  7 +++
 src/pages/drafts.astro                        |  2 +-
 src/styles/post.scss                          |  3 ++
 src/styles/tagList.scss                       |  4 +-
 10 files changed, 73 insertions(+), 8 deletions(-)
 create mode 100644 frontmatter.json
 create mode 100644 src/content/posts/2024-09-10-lambda-calculus-part-1/index.md

diff --git a/.gitignore b/.gitignore
index 1cb103a..6124c61 100644
--- a/.gitignore
+++ b/.gitignore
@@ -30,3 +30,5 @@ _build
 .pnpm-store
 
 /public/generated
+
+.frontmatter
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
index 22a1505..d821303 100644
--- a/.vscode/extensions.json
+++ b/.vscode/extensions.json
@@ -1,4 +1,7 @@
 {
-  "recommendations": ["astro-build.astro-vscode"],
+  "recommendations": [
+    "astro-build.astro-vscode",
+    "eliostruyf.vscode-front-matter"
+  ],
   "unwantedRecommendations": []
 }
diff --git a/frontmatter.json b/frontmatter.json
new file mode 100644
index 0000000..5244cb4
--- /dev/null
+++ b/frontmatter.json
@@ -0,0 +1,47 @@
+{
+  "$schema": "https://frontmatter.codes/frontmatter.schema.json",
+  "frontMatter.framework.id": "astro",
+  "frontMatter.preview.host": "http://localhost:4321",
+  "frontMatter.content.publicFolder": "public",
+  "frontMatter.content.pageFolders": [
+    {
+      "title": "posts",
+      "path": "[[workspace]]/src/content/posts"
+    }
+  ],
+  "frontMatter.taxonomy.contentTypes": [
+    {
+      "name": "default",
+      "pageBundle": false,
+      "previewPath": "",
+      "filePrefix": null,
+      "clearEmpty": true,
+      "fields": [
+        {
+          "title": "Title",
+          "name": "title",
+          "type": "string",
+          "single": true
+        },
+        {
+          "title": "Description",
+          "name": "description",
+          "type": "string"
+        },
+        {
+          "title": "Publishing date",
+          "name": "date",
+          "type": "datetime",
+          "default": "{{now}}",
+          "isPublishDate": true
+        },
+        {
+          "title": "Content preview",
+          "name": "heroImage",
+          "type": "image",
+          "isPreviewImage": true
+        }
+      ]
+    }
+  ]
+}
diff --git a/src/components/PostList.astro b/src/components/PostList.astro
index d642589..a8f1054 100644
--- a/src/components/PostList.astro
+++ b/src/components/PostList.astro
@@ -79,7 +79,7 @@ const sortedPosts = sortBy(allPosts, (post) => -post.data.date);
 <style lang="scss">
   .postListing {
     width: 100%;
-    border-spacing: 6px 16px;
+    border-spacing: 6px 24px;
 
     :global(.timestamp) {
       font-family: var(--monofont);
@@ -88,7 +88,7 @@ const sortedPosts = sortBy(allPosts, (post) => -post.data.date);
     }
 
     :global(.tags) {
-      gap: 4px;
+      gap: 8px;
       display: inline-flex;
 
       :global(.tag) {
@@ -99,6 +99,9 @@ const sortedPosts = sortBy(allPosts, (post) => -post.data.date);
 
     td {
       line-height: 1;
+      display: flex;
+      flex-direction: column;
+      gap: 4px;
 
       .title {
         font-size: 12pt;
diff --git a/src/content/posts/2023-03-29-shell-in-docker-compose-container-without-shell.md b/src/content/posts/2023-03-29-shell-in-docker-compose-container-without-shell.md
index 63e504c..25923d2 100644
--- a/src/content/posts/2023-03-29-shell-in-docker-compose-container-without-shell.md
+++ b/src/content/posts/2023-03-29-shell-in-docker-compose-container-without-shell.md
@@ -4,7 +4,7 @@ date: 2023-03-29
 tags: ["docker", "linux"]
 ---
 
-First (published) blog post of the year! :raising_hands:
+First (published) blog post of the year! :raised_hands:
 
 Here is a rather dumb way of entering a Docker Compose container that didn't
 have a shell. In this specific case, I was trying to enter a Woodpecker CI
diff --git a/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md b/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md
index c879d1c..af791bb 100644
--- a/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md
+++ b/src/content/posts/2023-10-23-path-induction-gadt-perspective.lagda.md
@@ -2,7 +2,7 @@
 title: "Path induction: a GADT perspective"
 slug: 2023-10-23-path-induction-gadt-perspective
 date: 2023-10-23
-tags: ["type-theory", "programming-languages"]
+tags: ["type-theory", "pl-theory"]
 ---
 
 <details>
diff --git a/src/content/posts/2024-09-10-lambda-calculus-part-1/index.md b/src/content/posts/2024-09-10-lambda-calculus-part-1/index.md
new file mode 100644
index 0000000..610bdd6
--- /dev/null
+++ b/src/content/posts/2024-09-10-lambda-calculus-part-1/index.md
@@ -0,0 +1,7 @@
+---
+title: Lambda calculus part 1
+date: 2024-09-10T10:16:12.486Z
+type: default
+draft: true
+tags: [pl-theory]
+---
diff --git a/src/pages/drafts.astro b/src/pages/drafts.astro
index d531865..bc7c4af 100644
--- a/src/pages/drafts.astro
+++ b/src/pages/drafts.astro
@@ -1,7 +1,7 @@
 ---
 import PostList from "../components/PostList.astro";
 import BaseLayout from "../layouts/BaseLayout.astro";
-import { join, dirname } from "path";
+import { join, dirname } from "node:path";
 
 const currentUrl = Astro.url;
 ---
diff --git a/src/styles/post.scss b/src/styles/post.scss
index bc35718..6ded4fe 100644
--- a/src/styles/post.scss
+++ b/src/styles/post.scss
@@ -27,6 +27,7 @@
   display: flex;
   padding: 20px;
   box-sizing: border-box;
+  gap: 6px;
 
   flex-direction: column;
 
@@ -225,6 +226,8 @@
 
   >p {
     line-height: 1.25;
+    margin-bottom: 1.25rem;
+    margin-top: 1.25rem;
   }
 
   >p>img {
diff --git a/src/styles/tagList.scss b/src/styles/tagList.scss
index 2a82773..a485fc7 100644
--- a/src/styles/tagList.scss
+++ b/src/styles/tagList.scss
@@ -1,6 +1,6 @@
 .tags {
   display: flex;
-  gap: 6px;
+  gap: 8px;
   //   margin-bottom: 6px;
   flex-wrap: wrap;
 
@@ -24,4 +24,4 @@
       text-decoration: none;
     }
   }
-}
+}
\ No newline at end of file