Retagged posts from 2025

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

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
 ---

themes/pulp

@@ -1 +1 @@
-Subproject commit fd4db04d3a6676f0db6dad6d65705b96cdf4b52a
+Subproject commit 56de4bacdb0e56462b6643bb831c61afc85a61e3