diff --git a/_layouts/base.html b/_layouts/base.html
index 50de135..7f5a78a 100644
--- a/_layouts/base.html
+++ b/_layouts/base.html
@@ -109,7 +109,13 @@
figure.captioned-media { counter-increment: captioned-figure; }
figure img,
figure > a,
- figure > video { display: block; }
+ figure > video,
+ figure > svg.inline-svg { display: block; }
+ figure > svg.inline-svg {
+ width: 100%;
+ max-width: 100%;
+ height: auto;
+ }
figure.captioned-media figcaption {
margin-top: .55em;
padding-top: .5em;
@@ -212,6 +218,15 @@
figure.captioned-media figcaption::before { color: #fff; }
code { background: transparent; }
thead { border-color: currentColor; }
+ mjx-container[jax="SVG"] rect[data-bgcolor="true"][fill="#fff3cd"] { fill: #51431c; }
+ mjx-container[jax="SVG"] rect[data-bgcolor="true"][fill="#cfe2ff"] { fill: #203b5e; }
+ mjx-container[jax="SVG"] rect[data-bgcolor="true"][fill="#e2d9f3"] { fill: #41305a; }
+ mjx-container[jax="SVG"] rect[data-bgcolor="true"][fill="#f8d7da"] { fill: #542b35; }
+ mjx-container[jax="SVG"] rect[data-bgcolor="true"][fill="#d1e7dd"] { fill: #1d453b; }
+ mjx-container[jax="SVG"] g[data-mml-node="mpadded"] > g[fill="#1c1c1a"] {
+ fill: #f5f5f5;
+ stroke: #f5f5f5;
+ }
}
diff --git a/_plugins/inline_svg.rb b/_plugins/inline_svg.rb
new file mode 100644
index 0000000..332a1b2
--- /dev/null
+++ b/_plugins/inline_svg.rb
@@ -0,0 +1,79 @@
+require "cgi"
+
+module InlineSvg
+ LOCAL_SVG_IMAGE = /[^>]*\bsrc=(?["'])(?[^"']+\.svg(?:[?#][^"']*)?)\k[^>]*)\/?\s*>/i
+
+ module_function
+
+ def apply(document)
+ return unless document.output
+
+ document.output = document.output.gsub(LOCAL_SVG_IMAGE) do |image|
+ source = Regexp.last_match[:src]
+ image_attributes = Regexp.last_match[:attributes]
+ path = local_svg_path(document.site, source)
+ next image unless path && File.file?(path)
+
+ inline(File.read(path), image_attributes) || image
+ end
+ end
+
+ def local_svg_path(site, source)
+ path = source.split(/[?#]/, 2).first
+ return unless path.start_with?("/")
+
+ candidate = File.expand_path(path.delete_prefix("/"), site.source)
+ return unless candidate.start_with?("#{File.expand_path(site.source)}/")
+
+ candidate
+ end
+
+ def inline(svg, image_attributes)
+ alt = image_attributes[/\balt=(['"])(.*?)\1/i, 2]
+ svg.sub(/\A\s*[^>]*)>/i) do
+ attributes = Regexp.last_match[:attributes]
+ attributes = add_class(attributes, "inline-svg")
+ attributes = add_print_size(attributes)
+ attributes = add_accessible_name(attributes, alt) if alt && !alt.empty?
+ ""
+ end
+ end
+
+ def add_class(attributes, class_name)
+ if attributes =~ /\bclass=(['"])(.*?)\1/i
+ attributes.sub(/\bclass=(['"])(.*?)\1/i) { %(class="#{$2} #{class_name}") }
+ else
+ %(#{attributes} class="#{class_name}")
+ end
+ end
+
+ def add_accessible_name(attributes, alt)
+ return attributes if attributes.match?(/\baria-(?:label|labelledby)=/i)
+
+ %(#{attributes} role="img" aria-label="#{CGI.escapeHTML(alt)}")
+ end
+
+ def add_print_size(attributes)
+ width = attributes[/\bwidth=(['"])([\d.]+)(?:px)?\1/i, 2]
+ height = attributes[/\bheight=(['"])([\d.]+)(?:px)?\1/i, 2]
+ view_box = attributes.match(/\bviewBox=(['"])[\d.]+\s+[\d.]+\s+([\d.]+)\s+([\d.]+)\1/i)
+ width ||= view_box && view_box[2]
+ height ||= view_box && view_box[3]
+ return attributes unless width && height
+
+ properties = "--inline-svg-print-width: #{width}px; --inline-svg-print-height: #{height}px;"
+ if attributes =~ /\bstyle=(['"])(.*?)\1/i
+ attributes.sub(/\bstyle=(['"])(.*?)\1/i) { %(style="#{$2}; #{properties}") }
+ else
+ %(#{attributes} style="#{properties}")
+ end
+ end
+end
+
+Jekyll::Hooks.register :documents, :post_render do |document|
+ InlineSvg.apply(document)
+end
+
+Jekyll::Hooks.register :pages, :post_render do |page|
+ InlineSvg.apply(page)
+end
diff --git a/_posts/2024-08-03-hotwire-outside-rails.md b/_posts/2024-08-03-hotwire-outside-rails.md
index 8084f9e..d4209fa 100644
--- a/_posts/2024-08-03-hotwire-outside-rails.md
+++ b/_posts/2024-08-03-hotwire-outside-rails.md
@@ -66,7 +66,7 @@ Our approach involves implementing the **multiple publisher - multiple subscribe
Here is a simple sequence diagram showing the core idea of this project:
-
+
_Multiple publisher / multiple subscriber pattern over WebSockets_
### Implement the server
diff --git a/_posts/2026-05-27-system-prompts-for-humans.md b/_posts/2026-05-27-system-prompts-for-humans.md
index 06e3037..671fd47 100644
--- a/_posts/2026-05-27-system-prompts-for-humans.md
+++ b/_posts/2026-05-27-system-prompts-for-humans.md
@@ -48,8 +48,12 @@ The difference is easiest to see as two message paths. Talking to an LLM has low
+*A compressed prompt goes straight to the LLM, with little social overhead around the exchange.*
+
+*The same core message takes extra work to encode, send, and decode when social expectations enter the exchange.*
+
So why not do the same for people approaching me?
## Human communication has hidden state
diff --git a/_posts/2026-09-05-comparing-six-and-seven-from-scratch.md b/_posts/2026-09-05-comparing-six-and-seven-from-scratch.md
index 6aadbe6..5e7ff13 100644
--- a/_posts/2026-09-05-comparing-six-and-seven-from-scratch.md
+++ b/_posts/2026-09-05-comparing-six-and-seven-from-scratch.md
@@ -490,7 +490,7 @@ theorem le_total (x y : ℕ) : x ≤ y ∨ y ≤ x := by
the indentation records the nesting, but the code still reads as one vertical sequence. the proof state branches: `induction y` creates two obligations, then `cases hd` and `cases c` split them again.
-
+
_the diagram puts that shape on the page and shows where each branch closes._
every node in the graphviz diagram is one of the two-column states from earlier, and every edge is a tactic. three things it shows that the linear listing hides.
diff --git a/assets/blog/hotwire-sequence-diagram.svg b/assets/blog/hotwire-sequence-diagram.svg
new file mode 100644
index 0000000..2932110
--- /dev/null
+++ b/assets/blog/hotwire-sequence-diagram.svg
@@ -0,0 +1,12 @@
+
diff --git a/assets/blog/hotwire-sequence-diagram.webp b/assets/blog/hotwire-sequence-diagram.webp
deleted file mode 100644
index dbc4689..0000000
Binary files a/assets/blog/hotwire-sequence-diagram.webp and /dev/null differ
diff --git a/assets/blog/lean_dependency_graph.svg b/assets/blog/lean_dependency_graph.svg
index 9efe3e4..1c410ac 100644
--- a/assets/blog/lean_dependency_graph.svg
+++ b/assets/blog/lean_dependency_graph.svg
@@ -1,2 +1,11 @@
-
-
\ No newline at end of file
+
diff --git a/assets/blog/lean_numberline_two_cases.svg b/assets/blog/lean_numberline_two_cases.svg
index 345208c..f75c2e0 100644
--- a/assets/blog/lean_numberline_two_cases.svg
+++ b/assets/blog/lean_numberline_two_cases.svg
@@ -1,19 +1,23 @@
-