diff --git a/content/blog/adventures-in-bird-watching.md b/content/blog/adventures-in-bird-watching.md index c4c6966..9b99a78 100644 --- a/content/blog/adventures-in-bird-watching.md +++ b/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 --- diff --git a/content/blog/bash-traps-exit-error-sigint.md b/content/blog/bash-traps-exit-error-sigint.md index c4c2b31..9daeee7 100644 --- a/content/blog/bash-traps-exit-error-sigint.md +++ b/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 --- diff --git a/content/blog/blogroll-from-subscriptions.md b/content/blog/blogroll-from-subscriptions.md index 4f94820..7bd4848 100644 --- a/content/blog/blogroll-from-subscriptions.md +++ b/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 --- diff --git a/content/blog/blogworkflow.md b/content/blog/blogworkflow.md index c1bbf79..4665440 100644 --- a/content/blog/blogworkflow.md +++ b/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 --- diff --git a/content/blog/bonds-and-interest-rate-risk.md b/content/blog/bonds-and-interest-rate-risk.md index f23694b..19231bf 100644 --- a/content/blog/bonds-and-interest-rate-risk.md +++ b/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 --- diff --git a/content/blog/day-in-brooklyn.md b/content/blog/day-in-brooklyn.md index 4e03c1a..14aa6a5 100644 --- a/content/blog/day-in-brooklyn.md +++ b/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 --- diff --git a/content/blog/diversified-investments-index-fund.md b/content/blog/diversified-investments-index-fund.md index e6d0f9a..ee46f20 100644 --- a/content/blog/diversified-investments-index-fund.md +++ b/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 --- diff --git a/content/blog/functional-completeness.md b/content/blog/functional-completeness.md index b3d0fb7..d04ff8b 100644 --- a/content/blog/functional-completeness.md +++ b/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 --- diff --git a/content/blog/goaccess.md b/content/blog/goaccess.md index 3cd28f0..276d411 100644 --- a/content/blog/goaccess.md +++ b/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 --- diff --git a/content/blog/how-to-safely-remove-dnf-repository.md b/content/blog/how-to-safely-remove-dnf-repository.md index 754c16a..3d3ab1a 100644 --- a/content/blog/how-to-safely-remove-dnf-repository.md +++ b/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 --- diff --git a/content/blog/implications-prenex-normal-form.md b/content/blog/implications-prenex-normal-form.md index a8990b6..428723d 100644 --- a/content/blog/implications-prenex-normal-form.md +++ b/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 --- diff --git a/content/blog/intensional-logic-extends-first-order.md b/content/blog/intensional-logic-extends-first-order.md index e0abb69..2e42612 100644 --- a/content/blog/intensional-logic-extends-first-order.md +++ b/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 --- diff --git a/content/blog/lxc-fedora-38.md b/content/blog/lxc-fedora-38.md index 3f1015a..cb524ea 100644 --- a/content/blog/lxc-fedora-38.md +++ b/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 --- diff --git a/content/blog/managing-mongodb-resource-usage-docker-compose.md b/content/blog/managing-mongodb-resource-usage-docker-compose.md index c82774d..8697a2e 100644 --- a/content/blog/managing-mongodb-resource-usage-docker-compose.md +++ b/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 --- diff --git a/content/blog/mirror-public-repositories.md b/content/blog/mirror-public-repositories.md index d52306b..21b1317 100644 --- a/content/blog/mirror-public-repositories.md +++ b/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 --- diff --git a/content/blog/nginx-gzip.md b/content/blog/nginx-gzip.md index ee532e1..262aa05 100644 --- a/content/blog/nginx-gzip.md +++ b/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 --- diff --git a/content/blog/no-response-default-nginx.md b/content/blog/no-response-default-nginx.md index d5cf035..50c0977 100644 --- a/content/blog/no-response-default-nginx.md +++ b/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 --- diff --git a/content/blog/obtaining-multiple-solutions-z3.md b/content/blog/obtaining-multiple-solutions-z3.md index f15be7c..1a8de7e 100644 --- a/content/blog/obtaining-multiple-solutions-z3.md +++ b/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 --- diff --git a/content/blog/podman-nginx-tcpv6-http2-ready.md b/content/blog/podman-nginx-tcpv6-http2-ready.md index 5931a66..02a9ea2 100644 --- a/content/blog/podman-nginx-tcpv6-http2-ready.md +++ b/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 --- diff --git a/content/blog/pretty-rss-feeds.md b/content/blog/pretty-rss-feeds.md index a9d6f5b..fe94cbd 100644 --- a/content/blog/pretty-rss-feeds.md +++ b/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 --- diff --git a/content/blog/proofdef.md b/content/blog/proofdef.md index d6049de..c3db36e 100644 --- a/content/blog/proofdef.md +++ b/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 diff --git a/content/blog/python-dataclasses-derived-fields-validation.md b/content/blog/python-dataclasses-derived-fields-validation.md index 46cc1a4..242f243 100644 --- a/content/blog/python-dataclasses-derived-fields-validation.md +++ b/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 --- diff --git a/content/blog/rebalancing-portfolio-buy-low-sell-high.md b/content/blog/rebalancing-portfolio-buy-low-sell-high.md index 24bf7c5..66ce1a1 100644 --- a/content/blog/rebalancing-portfolio-buy-low-sell-high.md +++ b/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 --- diff --git a/content/blog/renewing-gpg-keys.md b/content/blog/renewing-gpg-keys.md index dec1d79..1cf27e4 100644 --- a/content/blog/renewing-gpg-keys.md +++ b/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 --- diff --git a/content/blog/representing-uncertainty-closed-world-assumption.md b/content/blog/representing-uncertainty-closed-world-assumption.md index 169a63b..ef50337 100644 --- a/content/blog/representing-uncertainty-closed-world-assumption.md +++ b/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 --- diff --git a/content/blog/switching-raid-10.md b/content/blog/switching-raid-10.md index 655da9e..000c32c 100644 --- a/content/blog/switching-raid-10.md +++ b/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 --- diff --git a/content/blog/traefiknginx.md b/content/blog/traefiknginx.md index 4c78d9f..a943c5b 100644 --- a/content/blog/traefiknginx.md +++ b/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 --- diff --git a/content/blog/type-checking-javascript-files-using-typescript.md b/content/blog/type-checking-javascript-files-using-typescript.md index ff5c53d..497be60 100644 --- a/content/blog/type-checking-javascript-files-using-typescript.md +++ b/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 ---