From 7e6a7c32856cfd22c76e27853705613e75912ac1 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Sun, 30 Nov 2025 12:10:33 -0500 Subject: [PATCH] Retagged posts from 2025 --- content/blog/adventures-in-rust-webassembly.md | 4 +++- content/blog/anti-scraper-techniques.md | 7 ++++++- content/blog/blog-question-challenge-jan2025.md | 3 ++- .../cursed-knowledge-javascript-arrays-are-objects.md | 3 ++- content/blog/deterministic-set-iteration-dafny.md | 6 +++++- content/blog/exploring-via-public-transit.md | 3 ++- content/blog/filesystem-as-persistent-kvs-python.md | 5 ++++- content/blog/flattening-cases-avoid-nesting-lean-4.md | 5 ++++- content/blog/ollama-cuda-podman-quadlets.md | 5 ++++- content/blog/program-safety-type-theory.md | 4 +++- content/blog/quick-lean-if-then-else-in-hypothesis.md | 4 +++- content/blog/recently-2504-april-showers.md | 3 ++- content/blog/verifying-proofs-type-checkers.md | 9 ++++++++- content/blog/weather-forcecasts-cli-nws.md | 6 +++++- themes/pulp | 2 +- 15 files changed, 54 insertions(+), 15 deletions(-) diff --git a/content/blog/adventures-in-rust-webassembly.md b/content/blog/adventures-in-rust-webassembly.md index e95d0b1..e8c0cc3 100644 --- a/content/blog/adventures-in-rust-webassembly.md +++ b/content/blog/adventures-in-rust-webassembly.md @@ -2,7 +2,9 @@ title: "Adventures in Rust WebAssembly" date: 2025-02-21T10:13:17-05:00 draft: false -tags: ["Rust", "Web"] +tags: + - WebAssembly + - Rust math: false medium_enabled: false --- diff --git a/content/blog/anti-scraper-techniques.md b/content/blog/anti-scraper-techniques.md index 47aeb0a..df96b49 100644 --- a/content/blog/anti-scraper-techniques.md +++ b/content/blog/anti-scraper-techniques.md @@ -2,7 +2,12 @@ title: "Dealing with Web Scrapers" date: 2025-07-02T09:10:23-04:00 draft: false -tags: [] +tags: + - web scraping + - CAPTCHA + - rate limiting + - robots.txt + - proof of work math: false medium_enabled: false --- diff --git a/content/blog/blog-question-challenge-jan2025.md b/content/blog/blog-question-challenge-jan2025.md index b52e4ca..41c0610 100644 --- a/content/blog/blog-question-challenge-jan2025.md +++ b/content/blog/blog-question-challenge-jan2025.md @@ -2,7 +2,8 @@ title: "Blog Question Challenge (Jan 2025)" date: 2025-01-29T21:18:03-05:00 draft: false -tags: [] +tags: + - blogging math: false medium_enabled: false --- diff --git a/content/blog/cursed-knowledge-javascript-arrays-are-objects.md b/content/blog/cursed-knowledge-javascript-arrays-are-objects.md index 19a1934..beb3199 100644 --- a/content/blog/cursed-knowledge-javascript-arrays-are-objects.md +++ b/content/blog/cursed-knowledge-javascript-arrays-are-objects.md @@ -2,7 +2,8 @@ title: "Cursed Knowledge: Javascript Arrays Are Objects" date: 2025-09-01T09:47:01-04:00 draft: false -tags: [] +tags: + - JavaScript math: true medium_enabled: false --- diff --git a/content/blog/deterministic-set-iteration-dafny.md b/content/blog/deterministic-set-iteration-dafny.md index 93b5d44..43f818a 100644 --- a/content/blog/deterministic-set-iteration-dafny.md +++ b/content/blog/deterministic-set-iteration-dafny.md @@ -2,7 +2,11 @@ title: "Deterministically Iterating over a set within Dafny functions" date: 2025-07-06T12:27:01-04:00 draft: false -tags: ["Formal Methods"] +tags: + - Dafny + - Formal methods + - Deterministic algorithm + - Total order math: false medium_enabled: false --- diff --git a/content/blog/exploring-via-public-transit.md b/content/blog/exploring-via-public-transit.md index 19630d2..6db0a58 100644 --- a/content/blog/exploring-via-public-transit.md +++ b/content/blog/exploring-via-public-transit.md @@ -2,7 +2,8 @@ title: "Exploring via Public Transit" date: 2025-06-15T21:38:02-04:00 draft: false -tags: [] +tags: + - public transport math: false medium_enabled: false --- diff --git a/content/blog/filesystem-as-persistent-kvs-python.md b/content/blog/filesystem-as-persistent-kvs-python.md index 8bda61f..afcad1c 100644 --- a/content/blog/filesystem-as-persistent-kvs-python.md +++ b/content/blog/filesystem-as-persistent-kvs-python.md @@ -2,7 +2,10 @@ title: "Filesystem as a persistent key-value store in Python" date: 2025-04-27T13:39:49-04:00 draft: false -tags: [] +tags: + - key-value database + - file system + - Python math: false medium_enabled: false --- diff --git a/content/blog/flattening-cases-avoid-nesting-lean-4.md b/content/blog/flattening-cases-avoid-nesting-lean-4.md index 3884611..90f8ef5 100644 --- a/content/blog/flattening-cases-avoid-nesting-lean-4.md +++ b/content/blog/flattening-cases-avoid-nesting-lean-4.md @@ -2,7 +2,10 @@ title: "Flattening Cases to Avoid Nesting in Lean 4" date: 2025-10-05T19:38:20-04:00 draft: false -tags: [] +tags: + - Lean + - Proof assistant + - Formal Proof math: true medium_enabled: false --- diff --git a/content/blog/ollama-cuda-podman-quadlets.md b/content/blog/ollama-cuda-podman-quadlets.md index cce15c7..742eb47 100644 --- a/content/blog/ollama-cuda-podman-quadlets.md +++ b/content/blog/ollama-cuda-podman-quadlets.md @@ -2,7 +2,10 @@ title: "Setting up Ollama with CUDA on Podman Quadlets" date: 2025-03-29T09:59:55-04:00 draft: false -tags: [] +tags: + - Ollama + - Podman + - CUDA math: false medium_enabled: false --- diff --git a/content/blog/program-safety-type-theory.md b/content/blog/program-safety-type-theory.md index 2655c1b..5be16e8 100644 --- a/content/blog/program-safety-type-theory.md +++ b/content/blog/program-safety-type-theory.md @@ -2,7 +2,9 @@ title: "Is this program safe? Lessons from Type Theory" date: 2025-05-10T09:28:07-04:00 draft: false -tags: [] +tags: + - type theory + - type inference math: true medium_enabled: false --- diff --git a/content/blog/quick-lean-if-then-else-in-hypothesis.md b/content/blog/quick-lean-if-then-else-in-hypothesis.md index e9e4107..a282925 100644 --- a/content/blog/quick-lean-if-then-else-in-hypothesis.md +++ b/content/blog/quick-lean-if-then-else-in-hypothesis.md @@ -2,7 +2,9 @@ title: "Quick Lean: if-then-else statement in hypothesis" date: 2025-04-26T10:58:42-04:00 draft: false -tags: ["Formal Methods"] +tags: + - Lean + - Proof assistant math: false medium_enabled: false --- diff --git a/content/blog/recently-2504-april-showers.md b/content/blog/recently-2504-april-showers.md index 50ff039..1b91bee 100644 --- a/content/blog/recently-2504-april-showers.md +++ b/content/blog/recently-2504-april-showers.md @@ -2,7 +2,8 @@ title: "Recently: April Showers Bring..." date: 2025-04-12T10:38:45-04:00 draft: false -tags: [] +tags: + - homelab math: false medium_enabled: false --- diff --git a/content/blog/verifying-proofs-type-checkers.md b/content/blog/verifying-proofs-type-checkers.md index ef01423..fa05174 100644 --- a/content/blog/verifying-proofs-type-checkers.md +++ b/content/blog/verifying-proofs-type-checkers.md @@ -2,7 +2,14 @@ title: "Verifying Proofs with Type Checkers" date: 2025-05-27T09:27:59-04:00 draft: false -tags: ["Formal Methods"] +tags: + - Formal methods + - proof assistant + - Curry-Howard correspondence + - lambda cube + - calculus of constructions + - dependent type + - type theory math: true medium_enabled: false --- diff --git a/content/blog/weather-forcecasts-cli-nws.md b/content/blog/weather-forcecasts-cli-nws.md index 11efecc..7925e89 100644 --- a/content/blog/weather-forcecasts-cli-nws.md +++ b/content/blog/weather-forcecasts-cli-nws.md @@ -2,7 +2,11 @@ title: "Weather Forcecasts on the Command-Line with the National Weather Service API" date: 2025-03-16T15:33:49-04:00 draft: false -tags: [] +tags: + - Command-line interface + - National Weather Service + - Bash + - jq math: false medium_enabled: false --- diff --git a/themes/pulp b/themes/pulp index fd4db04..56de4ba 160000 --- a/themes/pulp +++ b/themes/pulp @@ -1 +1 @@ -Subproject commit fd4db04d3a6676f0db6dad6d65705b96cdf4b52a +Subproject commit 56de4bacdb0e56462b6643bb831c61afc85a61e3