add repo links and table of contents

_quarto.yml

@@ -2,18 +2,180 @@ project:
   type: website
 
 website:
-  favicon: ./logo-favicon.png
+  favicon: "./logo-favicon.png"
   title: "zenzicubi.co"
+
+  repo-url: https://git.zenzicubi.co/cube/zenzicubi.co
+  repo-branch: master
+  repo-actions: [source]
+  repo-link-target: "_blank"
+
   navbar:
-    logo: "/logo-vector.svg"
+    logo: "./logo-vector.svg"
+    left:
+      - text: "Math"
+        menu:
+          - ./posts/math/polycount/index.qmd
+          - ./posts/math/pentagons/index.qmd
+          - ./posts/math/chebyshev/index.qmd
+          - ./posts/math/stereo/index.qmd
+          - ./posts/math/permutations/index.qmd
+          - ./posts/math/type-algebra/index.qmd
+          - ./posts/math/number-number/index.qmd
+          - ./posts/math/finite-field/index.qmd
+          - ./posts/math/misc/index.qmd
     right:
-      # - about.qmd
+      - ./about/index.qmd
+      - icon: git
+        href: https://git.zenzicubi.co/cube/zenzicubi.co
       - icon: github
         href: https://github.com/queue-miscreant
     background: primary
     search: true
   draft-mode: unlinked
 
+  sidebar:
+    - id: topic-sidebar
+      style: "floating"
+      contents:
+        - section: "Topics"
+          contents:
+            - ./posts/math/polycount/index.qmd
+            - ./posts/math/pentagons/index.qmd
+            - ./posts/math/chebyshev/index.qmd
+            - ./posts/math/stereo/index.qmd
+            - ./posts/math/permutations/index.qmd
+            - ./posts/math/type-algebra/index.qmd
+            - ./posts/math/number-number/index.qmd
+            - ./posts/math/finite-field/index.qmd
+            - ./posts/math/misc/index.qmd
+
+    - id: misc-sidebar
+      style: "floating"
+      contents:
+        - section: "Miscellaneous"
+          contents:
+            - ./posts/math/misc/platonic-volume/index.qmd
+            - ./posts/math/misc/infinitesimals/index.qmd
+
+    - id: polycount-sidebar
+      style: "floating"
+      contents:
+        - section: "Polynomial Counting"
+          href: ./posts/math/polycount/index.qmd
+          contents:
+            - text: "Part 1: A primer"
+              href: ./posts/math/polycount/1/index.qmd
+            - text: "Part 2: Binary and beyond"
+              href: ./posts/math/polycount/2/index.qmd
+            - text: "Part 3: The third degree"
+              href: ./posts/math/polycount/3/index.qmd
+            - text: "Part 4: Two twos"
+              href: ./posts/math/polycount/4/index.qmd
+              contents:
+              - text: "Appendix"
+                href: ./posts/math/polycount/4/appendix/index.qmd
+            - text: "Part 5: Pentamerous multiplication"
+              href: ./posts/math/polycount/5/index.qmd
+            - section: 2D
+              contents:
+                - text: "Part 1: Lines, leaves, and sand"
+                  href: ./posts/math/polycount/sand-1/index.qmd
+                - text: "Part 2: Reorienting Polynomials"
+                  href: ./posts/math/polycount/sand-2/index.qmd
+
+    - id: pentagons-sidebar
+      style: "floating"
+      contents:
+        - section: "12 Pentagons"
+          href: ./posts/math/pentagons/index.qmd
+          contents:
+            - text: "Part 1"
+              href: ./posts/math/pentagons/1/index.qmd
+            - text: "Part 2"
+              href: ./posts/math/pentagons/2/index.qmd
+            - text: "Part 3"
+              href: ./posts/math/pentagons/3/index.qmd
+
+    - id: chebyshev-sidebar
+      style: "floating"
+      contents:
+        - section: "Generating Polynomials"
+          href: ./posts/math/chebyshev/index.qmd
+          contents:
+            - text: "Part 1: Regular Constructability"
+              href: ./posts/math/chebyshev/1/index.qmd
+            - text: "Part 2: Ghostly Chains"
+              href: ./posts/math/chebyshev/2/index.qmd
+            - text: "Extra: Legendary"
+              href: ./posts/math/chebyshev/extra/index.qmd
+
+    - id: stereography-sidebar
+      style: "floating"
+      contents:
+        - section: "Algebraic Stereography"
+          href: ./posts/math/stereo/index.qmd
+          contents:
+            - ./posts/math/stereo/1/index.qmd
+            - ./posts/math/stereo/2/index.qmd
+
+    - id: permutations-sidebar
+      style: "floating"
+      contents:
+        - section: "A Game of Permutations"
+          href: ./posts/math/permutations/index.qmd
+          contents:
+            - text: "Part 1"
+              href: ./posts/math/permutations/1/index.qmd
+            - text: "Part 2"
+              href: ./posts/math/permutations/2/index.qmd
+            - text: "Part 3"
+              href: ./posts/math/permutations/3/index.qmd
+            - text: "Appendix"
+              href: ./posts/math/permutations/appendix/index.qmd
+
+    - id: type-algebra-sidebar
+      style: "floating"
+      contents:
+        - section: "Type Algebra and You"
+          href: ./posts/math/type-algebra/index.qmd
+          contents:
+            - text: "Part 1: Basics"
+              href: ./posts/math/type-algebra/1/index.qmd
+            - text: "Part 2: A Fixer-upper"
+              href: ./posts/math/type-algebra/2/index.qmd
+            - text: "Part 3: Combinatorial Types"
+              href: ./posts/math/type-algebra/3/index.qmd
+
+    - id: number-number-sidebar
+      style: "floating"
+      contents:
+        - section: "Numbering Numbers"
+          href: ./posts/math/number-number/index.qmd
+          contents:
+            - text: "From 0 to ∞"
+              href: ./posts/math/number-number/1/index.qmd
+            - text: "Ordering Obliquely"
+              href: ./posts/math/number-number/2/index.qmd
+
+    - id: finite-field-sidebar
+      style: "floating"
+      contents:
+        - section: "Exploring Finite Fields"
+          href: ./posts/math/finite-field/index.qmd
+          contents:
+            - text: "Part 1: Preliminaries"
+              href: ./posts/math/finite-field/1/index.qmd
+            - text: "Part 2: Matrix Boogaloo"
+              href: ./posts/math/finite-field/2/index.qmd
+              contents:
+              - text: "Appendix"
+                href: ./posts/math/finite-field/2/extra/index.qmd
+            - text: "Part 3: Roll a d20"
+              href: ./posts/math/finite-field/2/index.qmd
+            - text: "Part 5: The Power of Forgetting"
+              href: ./posts/math/finite-field/2/index.qmd
+
 format:
   html:
     theme:

about/index.qmd

@@ -0,0 +1,63 @@
+---
+title: "About"
+---
+
+This is my personal website (and the third iteration thereof).
+
+The first version used Wordpress since it was quite easy to get into,
+  didn't require much research, and web hosting services made it easy to set up.
+It lasted around three months near the end of 2020, after which I lost my posts because of
+  hosting troubles and because I wasn't using proper backups.
+
+The second version also used Wordpress, and lasted until the start of 2025
+  (though the last post I had written up to that point was from the start of 2024).
+
+This version uses [Quarto](https://quarto.org/), an open-source publishing platform that has
+  some nice features like text-based configuration and Jupyter integration.
+As a bonus, it also produces static web pages.
+
+
+Why Quarto?
+-----------
+
+I had a couple of reasons for switching platforms:
+
+- Wordpress is either overkill or not enough.
+  I don't need a block editor or multiple users, and I don't want to make custom content
+    just for it to be specific to Wordpress.
+- I write a lot of code and LaTeX, which Wordpress relies on plugins for.
+  Quarto uses (primarily) Pandoc-style Markdown, which allows for inlining of both out of the box.
+    - Also, because of Jupyter integration, code cells can generate output for the page they're in.
+- Since pages are written in Markdown, everything can be edited locally and version-controlled in Git.
+
+The last two are particularly nice in ensuring that the site is reproducibile,
+  technically even without Quarto.
+Instead of articles that live in a Wordpress database or as scattered random files,
+  I have the complete documents in a structure 1:1 with how the website is organized.
+
+
+Mathematics
+-----------
+
+As of writing, all posts on this site are about math.
+In particular, they are dedicated to certain non-obvious insights I choose to investigate.
+Typically, although information about these subjects may exist online, it does not exist in a single,
+  easily-accessible source.
+
+I find writing math posts to be an excellent motivator when it comes to researching things.
+It also gives me a chance to learn new tools that otherwise I would not have a reason to use,
+  not to mention being a good exercise in writing and diagram creation.
+
+An example of this (and one that relates to the creation of the site) is when I was writing code
+  for what would become the contents of [this post](/posts/polycount/5/).
+It was easy enough to learn a library for rendering images (or GIFs),
+  but I didn't have a gallery to host them, nor a means to share the rationale which produced them.
+In a frenzy, I tried gathering my notes in a single text file before eventually putting them on a website.
+Along the way, I learned LaTeX to typeset the relevant equations.
+
+I do my best to attribute the programs I use and direct sources I consult along the way,
+  but extra information is frequently available on Wikipedia,
+  which I may link to in order to give my explanation some grounding.
+
+Unless otherwise stated, the figures and articles in this category are available under
+  [CC BY-SA](https://creativecommons.org/licenses/by-sa/4.0/).

index.qmd

@@ -1,13 +1,15 @@
 ---
-title: "Posts by topic"
+title: "Posts"
 listing:
   contents:
-    - posts/number-number/index.*
-    - posts/permutations/index.*
-    - posts/stereo/index.*
-    - posts/chebyshev/index.*
-    - posts/pentagons/index.*
-    - posts/polycount/index.*
-    - posts/misc/*/index.*
-  sort: false
+    - posts/math/polycount/*/index.*
+    - posts/math/pentagons/*/index.*
+    - posts/math/chebyshev/*/index.*
+    - posts/math/stereo/*/index.*
+    - posts/math/permutations/*/index.*
+    - posts/math/type-algebra/*/index.*
+    - posts/math/number-number/*/index.*
+    - posts/math/finite-field/*/index.*
+    - posts/math/misc/*/index.*
+  sort: "date desc"
 ---

interactive/p-adics/index.qmd

@@ -27,9 +27,10 @@ Each term of the series is weighted by a geometrically decreasing coefficient *c
 
 $$
 [...d_2 d_1 d_0]_p \mapsto e^{2\pi i [d_0] / p}
-  + c e^{2\pi i [d_1 d_0] / p^2}
-  + c^2 e^{2\pi i [d_2 d_1 d_0] / p^2}
-  + ... \\
+    + c e^{2\pi i [d_1 d_0] / p^2}
+    + c^2 e^{2\pi i [d_2 d_1 d_0] / p^2}
+    + ...
+  \\
   f_N(d; p) = \sum_{n = 0}^N c^n e^{2\pi i \cdot [d_{n:0}]_p / p^{n + 1}}
 $$
 

posts/chebyshev/_metadata.yml

@@ -1,5 +0,0 @@
-# freeze computational output
-freeze: auto
-
-# Enable banner style title blocks
-title-block-banner: true

posts/finite-field/_metadata.yml

@@ -1,5 +0,0 @@
-# freeze computational output
-freeze: auto
-
-# Enable banner style title blocks
-title-block-banner: true

posts/math/_metadata.yml

@@ -0,0 +1,3 @@
+toc: true
+toc-location: right
+toc-title: " "

posts/math/chebyshev/1/index.qmd

@@ -38,7 +38,7 @@ from sympy.abc import z
 ```
 
 
-[Recently](/posts/misc/platonic-volume), I used coordinate-free geometry to derive
+[Recently](/posts/math/misc/platonic-volume), I used coordinate-free geometry to derive
   the volumes of the Platonic solids, a problem which was very accessible to the ancient Greeks.
 On the other hand, they found certain problems regarding which figures can be constructed via
   compass and straightedge to be very difficult. For example, they struggled with problems
@@ -742,16 +742,13 @@ My initial jumping off point for writing this article was completely different.
 However, in the process of writing, its share of the article shrank and shrank until its
   introduction was only vaguely related to what preceded it.
 But alas, the introduction via geometric constructions flows better coming off my
-  [post about the Platonic solids](/posts/misc/platonic-volume).
+  [post about the Platonic solids](/posts/math/misc/platonic-volume).
 Also, it reads better if I rely less on "if you search for this sequence of numbers"
   and more on how to interpret the definition.
 
 Consider reading [the follow-up](../2) to this post if you're interested in another way
   one can obtain the Chebyshev polynomials.
+I have since rederived the Chebyshev polynomials without the complex exponential,
+  which you can read about in [this post](/posts/math/stereo/2).
 
 Diagrams created with GeoGebra.
-
-<!--
-Update: I have since rederived the Chebyshev polynomials without the complex exponential,
-  which you can read about in [this post]().
--->

posts/math/chebyshev/_metadata.yml

@@ -0,0 +1,4 @@
+# freeze computational output
+freeze: auto
+
+sidebar: chebyshev-sidebar

posts/math/chebyshev/index.qmd

@@ -3,6 +3,9 @@ title: "Chebyshev Polynomials"
 listing:
   contents: .
   sort: "date"
+
+bread-crumbs: false
+sidebar:
 ---
 
 Articles about the generating Chebyshev polynomials (and other related families).

posts/math/finite-field/2/extra/index.qmd

@@ -1,5 +1,5 @@
 ---
-title: "Exploring Finite Fields, Part 2 (Extra)"
+title: "Exploring Finite Fields, Part 2 Appendix"
 description: |
   Additional notes about polynomial evaluation.
 format:
@@ -280,7 +280,7 @@ $$
 \end{gather*}
 $$
 
-The "[path swaps](/posts/permutations/1/)" shown commute only the adjacent elements.
+The "[path swaps](/posts/math/permutations/1/)" shown commute only the adjacent elements.
 By contrast, the permutation $(0 ~ 2)$ commutes *Ξ*~0~ past both *Ξ*~1~ and *Ξ*~2~.
 But since we already know *Ξ*~0~ and *Ξ*~1~ commute by the above list,
   we learn at this step that *Ξ*~0~ and *Ξ*~2~ commute.

posts/math/finite-field/2/index.qmd

@@ -174,7 +174,7 @@ In addition to this, we can also note the following:
     since this follows from associativity.
 
 Both of these facts narrow the ring of matrices to a full-on field.
-This absolves us of needing to symbolically adjoin roots symbolically using α.
+This absolves us of needing to adjoin roots symbolically using α.
 Instead, we can take the companion matrix of an irreducible polynomial *p*
   and work with its powers in the same way we would a typical root[^1].