content/blog/adventures-in-bird-watching.md

@@ -2,8 +2,7 @@
 title: "Adventures in Bird Watching"
 date: 2023-07-08T11:24:07-04:00
 draft: false
-tags:
-    - Life
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/bash-traps-exit-error-sigint.md

@@ -2,8 +2,7 @@
 title: "Bash Traps: Exit, Error, Sigint"
 date: 2024-01-02T11:26:06-05:00
 draft: false
-tags:
-  - Bash
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/blogroll-from-subscriptions.md

@@ -4,7 +4,7 @@ draft: false
 math: false
 medium_enabled: true
 medium_post_id: 913b5fa85507
-tags: ["Blogging"]
+tags: []
 title: Blogroll From Subscriptions
 ---
 

content/blog/blogworkflow.md

@@ -2,7 +2,7 @@
 title: "Blog Workflow"
 date: 2019-10-28T00:16:44-04:00
 draft: false
-tags: ["Hugo", "Blogging"]
+tags: ["Hugo"]
 medium_enabled: true
 ---
 

content/blog/bonds-and-interest-rate-risk.md

@@ -2,8 +2,7 @@
 title: "Bonds and Interest Rate Risk"
 date: 2023-05-08T10:51:52-04:00
 draft: false
-tags:
-    - Finance
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/day-in-brooklyn.md

@@ -2,8 +2,7 @@
 title: "A day in Brooklyn"
 date: 2023-09-19T21:56:19-04:00
 draft: false 
-tags:
-    - Life
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/diversified-investments-index-fund.md

@@ -2,8 +2,7 @@
 title: "Diversified Investing using Index Funds"
 date: 2023-06-16T18:50:50-04:00
 draft: false
-tags:
-    - Finance
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/functional-completeness.md

@@ -2,8 +2,7 @@
 title: "Functional Completeness"
 date: 2023-05-30T07:30:08-04:00
 draft: false
-tags:
-    - Logic
+tags: []
 math: true
 medium_enabled: false
 ---

content/blog/goaccess.md

@@ -4,8 +4,7 @@ draft: false
 math: false
 medium_enabled: true
 medium_post_id: be642b59857
-tags:
-  - Nginx
+tags: []
 title: Visualizing Nginx logs with GoAccess
 ---
 

content/blog/how-to-safely-remove-dnf-repository.md

@@ -2,8 +2,7 @@
 title: "How to Safely Remove a DNF Repository"
 date: 2023-09-19T15:49:30-04:00
 draft: false
-tags:
-    - Fedora
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/implications-prenex-normal-form.md

@@ -2,8 +2,7 @@
 title: "Prenex Normal Form - Implication Exercise"
 date: 2023-02-17T11:05:35-05:00
 draft: false
-tags:
-    - Logic
+tags: []
 math: true
 medium_enabled: false
 ---

content/blog/intensional-logic-extends-first-order.md

@@ -4,8 +4,7 @@ draft: false
 math: true
 medium_enabled: true
 medium_post_id: 8e07b68aa8f5
-tags:
-    - Logic
+tags: []
 title: Intensional Logic Extends First Order
 ---
 

content/blog/lxc-fedora-38.md

@@ -2,8 +2,7 @@
 title: "Setting up unprivileged containers with LXC on Fedora 38"
 date: 2023-12-03T10:21:41-05:00
 draft: false
-tags:
-    - Containers
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/managing-mongodb-resource-usage-docker-compose.md

@@ -2,8 +2,7 @@
 title: "Limiting MongoDB Resource Usage within Docker Compose"
 date: 2023-09-19T16:08:41-04:00
 draft: false
-tags:
-  - Containers
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/mirror-public-repositories.md

@@ -2,9 +2,7 @@
 title: "Mirror Public Repositories"
 date: 2023-11-22T12:28:13-05:00
 draft: false
-tags:
-    - Git
-    - Archive
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/nginx-gzip.md

@@ -4,8 +4,7 @@ draft: false
 math: false
 medium_enabled: true
 medium_post_id: ebd510dbf691
-tags:
-    - Nginx
+tags: []
 title: Reducing Network Bandwidth in Nginx with Gzip
 ---
 

content/blog/no-response-default-nginx.md

@@ -2,8 +2,7 @@
 title: "No Response Default in Nginx"
 date: 2024-01-01T17:21:51-05:00
 draft: false
-tags:
-    - Nginx
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/obtaining-multiple-solutions-z3.md

@@ -4,8 +4,7 @@ draft: false
 math: true
 medium_enabled: true
 medium_post_id: d4f11c04d852
-tags:
-    - Formal Methods
+tags: []
 title: Obtaining Multiple Solutions Z3
 ---
 

content/blog/podman-nginx-tcpv6-http2-ready.md

@@ -7,7 +7,6 @@ medium_post_id: ac419c65c080
 tags:
 - Networking
 - Containers
-- Nginx
 title: Getting Podman and Nginx TCPv6 and HTTP/2 Ready
 ---
 

content/blog/pretty-rss-feeds.md

@@ -4,8 +4,7 @@ draft: false
 math: false
 medium_enabled: true
 medium_post_id: 5eb712e808ae
-tags:
-      - Blogging
+tags: []
 title: Pretty RSS Feeds
 ---
 

content/blog/proofdef.md

@@ -2,8 +2,6 @@
 title: "Theorem Proving Definitions"
 date: 2019-12-29T11:21:07-05:00
 draft: false
-tags:
-    - Formal Methods 
 images: []
 math: true
 medium_enabled: true

content/blog/python-dataclasses-derived-fields-validation.md

@@ -2,8 +2,7 @@
 title: "Python Dataclasses: Derived Fields and Validation"
 date: 2024-01-15T11:02:21-05:00
 draft: false
-tags:
-    - Python
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/rebalancing-portfolio-buy-low-sell-high.md

@@ -2,8 +2,7 @@
 title: "Rebalancing Portfolios: The buy low sell high of investing"
 date: 2023-06-17T12:22:37-04:00
 draft: false
-tags:
-    - Finance
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/renewing-gpg-keys.md

@@ -2,8 +2,7 @@
 title: "Renewing my GPG Keys"
 date: 2023-12-28T11:46:33-05:00
 draft: false
-tags:
-      - GPG/PGP
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/representing-uncertainty-closed-world-assumption.md

@@ -2,8 +2,7 @@
 title: "Representing Uncertainty under the Closed World Assumption"
 date: 2023-09-18T19:01:56-04:00
 draft: false
-tags:
-    - Logic
+tags: []
 math: true
 medium_enabled: false
 ---

content/blog/switching-raid-10.md

@@ -2,8 +2,7 @@
 title: "Switching to Raid 10"
 date: 2023-12-29T15:44:44-05:00
 draft: false
-tags:
-    - Storage
+tags: []
 math: false
 medium_enabled: false
 ---

content/blog/traefiknginx.md

@@ -1,8 +1,6 @@
 ---
 title: "How to use Nginx under Traefik"
 date: 2019-12-16T19:55:47-05:00
-tags:
-  - Nginx
 draft: false
 medium_enabled: true
 ---

content/blog/type-checking-javascript-files-using-typescript.md

@@ -2,8 +2,7 @@
 title: "Type Checking Javascript Files Using Typescript"
 date: 2023-09-19T15:30:02-04:00
 draft: false
-tags:
-    - JS
+tags: []
 math: false
 medium_enabled: false
 ---