cb341 · cb341 · Sep 6, 2026 · Sep 6, 2026 · Sep 6, 2026 · Sep 6, 2026
diff --git a/_layouts/base.html b/_layouts/base.html
@@ -98,6 +98,11 @@
       }
 
       p img { width: 100%; height: auto; }
+      img.pixelated-image {
+        width: 100%;
+        height: auto;
+        image-rendering: pixelated;
+      }
       p img.about-avatar {
         float: right;
         width: min(145px, 32vw);

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
@@ -185,7 +185,7 @@ worked on $1 + 2 = 3$. the reason column names the rule and how it is used. $(\r
 
 $$
 \begin{array}{rl}
-& \textbf{Rules used} \\[2pt]
+& \textbf{Definitions} \\[2pt]
 \colorbox{#fff3cd}{$\vphantom{Ag}\text{i.}$} & 1 \stackrel{\mathrm{def}}{=} \operatorname{succ}(0) \\[2pt]
 \colorbox{#cfe2ff}{$\vphantom{Ag}\text{ii.}$} & 2 \stackrel{\mathrm{def}}{=} \operatorname{succ}(1) \\[2pt]
 \colorbox{#e2d9f3}{$\vphantom{Ag}\text{iii.}$} & 3 \stackrel{\mathrm{def}}{=} \operatorname{succ}(2) \\[2pt]

diff --git a/_posts/2026-09-06-shape-of-logic.md b/_posts/2026-09-06-shape-of-logic.md
diff --git a/assets/blog/shape_of_logic_add_8x8.png b/assets/blog/shape_of_logic_add_8x8.png
diff --git a/assets/blog/shape_of_logic_div_8x8.png b/assets/blog/shape_of_logic_div_8x8.png
diff --git a/assets/blog/shape_of_logic_lshft_8x8.png b/assets/blog/shape_of_logic_lshft_8x8.png
diff --git a/assets/blog/shape_of_logic_mul_8x8.png b/assets/blog/shape_of_logic_mul_8x8.png
diff --git a/assets/blog/shape_of_logic_mul_nibble_8x8.png b/assets/blog/shape_of_logic_mul_nibble_8x8.png
diff --git a/assets/blog/shape_of_logic_mystery_16.webp b/assets/blog/shape_of_logic_mystery_16.webp
diff --git a/assets/blog/shape_of_logic_tc_major.webp b/assets/blog/shape_of_logic_tc_major.webp
diff --git a/assets/blog/shape_of_logic_tc_major_nand_8x8.png b/assets/blog/shape_of_logic_tc_major_nand_8x8.png
diff --git a/assets/blog/shape_of_logic_toolbar.webp b/assets/blog/shape_of_logic_toolbar.webp
diff --git a/assets/blog/shape_of_logic_tooltip.webp b/assets/blog/shape_of_logic_tooltip.webp