forest/trees/ at main · utensil.tngl.sh/forest

people

fix: migrate legacy queries to datalog syntax - uts-0014.tree: Define \rel/links-to/rtc (reflexive-transitive closure) as custom datalog rules, replacing the non-existent builtin \rel/links-to/reflexive-transitive-closure - macros.tree: Rewrite \make-topic-bibliography from legacy \open\query/\isect/\union/\compl syntax to \query\datalog{...} with a helper relation for the presentations union case This is the "last missing piece" for the query port (issue #9).

2 months ago

refs

fix: migrate legacy queries to datalog syntax - uts-0014.tree: Define \rel/links-to/rtc (reflexive-transitive closure) as custom datalog rules, replacing the non-existent builtin \rel/links-to/reflexive-transitive-closure - macros.tree: Rewrite \make-topic-bibliography from legacy \open\query/\isect/\union/\compl syntax to \query\datalog{...} with a helper relation for the presentations union case This is the "last missing piece" for the query port (issue #9).

2 months ago

ag-0001.tree

chore(forest): sunset interests (2014–2023) → garden; redirect breadcrumbs The 2014–2023 interest archive (uts-0166 index + entries uts-0030..0165) was ported to the garden (utensil.github.io/garden/interests/). Delete those 137 trees from forest and repoint the two breadcrumb links (home uts-0169, learning diary uts-0018) to the garden instead. Old per-entry forest URLs will 404; content lives in the garden.

1 month ago

ag-0002.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0003.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0004.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0005.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0006.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0007.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0008.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0009.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000A.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000B.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000C.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000D.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000F.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000G.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000H.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000J.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000K.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000L.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000M.tree

Refactor: break up examples, reorganize sections

2 years ago

ag-000N.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000O.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000P.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000Q.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000R.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000S.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000T.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000U.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000V.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000W.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000X.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000Y.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-000Z.tree

Enrich examples

2 years ago

ag-0010.tree

Add: Raymarching in raymarching (sphere tracing)

2 years ago

ag-0011.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0012.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0013.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0014.tree

fix: include .jsx files in bun build pipeline shadertoy.jsx was skipped during CI builds because bun_build only checked for .ts and .tsx extensions. This caused a 404 for shadertoy.js on GitHub Pages, breaking shader-based trees like ag-0011.

2 months ago

ag-0015.tree

fix: include .jsx files in bun build pipeline shadertoy.jsx was skipped during CI builds because bun_build only checked for .ts and .tsx extensions. This caused a 404 for shadertoy.js on GitHub Pages, breaking shader-based trees like ag-0011.

2 months ago

ag-0016.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0017.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0018.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-0019.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001A.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001B.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001C.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001D.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001F.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001G.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001H.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-001J.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ag-macros.tree

Polish affine variety, add remarks, try add examples

2 years ago

ca-0001.tree

Undraft

2 years ago

ca-0002.tree

Add forms

2 years ago

ca-0003.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0004.tree

Be specific about some references

2 years ago

ca-0005.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0006.tree

Initial implementation of `\lean{}`

2 years ago

ca-0007.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0008.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0009.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000A.tree

feat(ca): more CA def notes, including examples and tikzcd figures

2 years ago

ca-000B.tree

feat(ca): more CA def notes, including examples and tikzcd figures

2 years ago

ca-000C.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000D.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000E.tree

feat(ca): more CA def notes, including examples and tikzcd figures

2 years ago

ca-000F.tree

refactor(ca): extract def

2 years ago

ca-000G.tree

feat(ca): add operations

2 years ago

ca-000H.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000I.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

ca-000J.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

ca-000K.tree

feat(ca): add operations

2 years ago

ca-000L.tree

LaTeX doesn't like ad hoc block label ``` ! Illegal parameter number in definition of \label@name. <to be read again> 2 l.144 \section{Preliminaries}\label{#242} ```

2 years ago

ca-000M.tree

Transclude more of wieser2024blueprint, and adapt more

2 years ago

ca-000N.tree

Be specific about some references

2 years ago

ca-000O.tree

fix: resolve ca-000O macros without triggering forester#180 Define \placeholder using HTML span instead of TeX mode (#{...}) which triggers the internal_error. Import macros for \card, \vocab, \newvocab. Define \optional as HTML span.

2 months ago

ca-000P.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000Q.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000R.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000S.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000T.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000U.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000V.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000W.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000X.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000Y.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-000Z.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0010.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0011.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0012.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0013.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0014.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0015.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0016.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0017.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0018.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-0019.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001A.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001B.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001C.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001D.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001F.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001G.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001H.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001J.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

ca-001K.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

cg-macros.tree

All author names should be literal now

1 year ago

hopf-0001.tree

Make a start on notes on LMs

1 year ago

hopf-0002.tree

Fix typo

2 years ago

hopf-0003.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

hopf-0004.tree

Switch to `watchexec`

2 years ago

index.tree

Capitalize home

8 months ago

latex-preamble.tree

Add: test algorithms

2 years ago

lm-0001.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

lm-0006.tree

Some more daily notes about LM

1 year ago

lm-0007.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

lm-macros.tree

Make a start on notes on LMs

1 year ago

macros.tree

fix: migrate legacy queries to datalog syntax - uts-0014.tree: Define \rel/links-to/rtc (reflexive-transitive closure) as custom datalog rules, replacing the non-existent builtin \rel/links-to/reflexive-transitive-closure - macros.tree: Rewrite \make-topic-bibliography from legacy \open\query/\isect/\union/\compl syntax to \query\datalog{...} with a helper relation for the presentations union case This is the "last missing piece" for the query port (issue #9).

2 months ago

mwe-0001.tree

Clean up lost notes, add root notes

2 years ago

mwe-0002.tree

Clean up lost notes, add root notes

2 years ago

mwe-0003.tree

Clean up lost notes, add root notes

2 years ago

mwe-macros.tree

Clean up lost notes, add root notes

2 years ago

spin-0001.tree

Add "📄 View as PDF"

2 years ago

spin-0002.tree

Add tag to spin-*

2 years ago

spin-0003.tree

Unify `\wikiref` convention with other citations

2 years ago

spin-0004.tree

Add tag to spin-*

2 years ago

spin-0005.tree

Add tag to spin-*

2 years ago

spin-0006.tree

Add tag to spin-*

2 years ago

spin-0007.tree

Add tag to spin-*

2 years ago

spin-0008.tree

Add tag to spin-*

2 years ago

spin-0009.tree

Add tag to spin-*

2 years ago

spin-000A.tree

Add tag to spin-*

2 years ago

spin-000B.tree

Add tag to spin-*

2 years ago

spin-000C.tree

Add tag to spin-*

2 years ago

spin-000D.tree

Add tag to spin-*

2 years ago

spin-000E.tree

Add tag to spin-*

2 years ago

spin-000F.tree

Add tag to spin-*

2 years ago

spin-000G.tree

Add tag to spin-*

2 years ago

spin-000H.tree

Add tag to spin-*

2 years ago

spin-000I.tree

Add tag to spin-*

2 years ago

spin-000J.tree

Add tag to spin-*

2 years ago

spin-000K.tree

Add tag to spin-*

2 years ago

spin-000L.tree

Add tag to spin-*

2 years ago

spin-000M.tree

Add tag to spin-*

2 years ago

spin-000N.tree

Add tag to spin-*

2 years ago

spin-000O.tree

Add tag to spin-*

2 years ago

spin-000P.tree

Unify `\wikiref` convention with other citations

2 years ago

spin-000Q.tree

Fix nLab references

2 years ago

spin-000R.tree

Fix links to math-*

2 years ago

spin-000S.tree

Minor tweaks

2 years ago

spin-000T.tree

Add tag to spin-*

2 years ago

spin-000U.tree

Fix fize and apply, add pize

2 years ago

spin-000W.tree

Add Clifford algebra, Lipschitz-Clifford group, Pin group, Kronecker delta, and reorganize things a bit

2 years ago

spin-000X.tree

Add def for Spin group and even subalgebra of CA

2 years ago

spin-000Y.tree

Add def for Spin group and even subalgebra of CA

2 years ago

spin-000Z.tree

Add Clifford algebra, Lipschitz-Clifford group, Pin group, Kronecker delta, and reorganize things a bit

2 years ago

spin-0010.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

spin-0011.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

spin-0012.tree

Add def for Spin group and even subalgebra of CA

2 years ago

spin-macros.tree

Add section Algebras

2 years ago

tt-0001.tree

Make a start on topos theory

2 years ago

tt-0002.tree

Fix white spaces

2 years ago

tt-0003.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0004.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0005.tree

Add convention for composition

2 years ago

tt-0006.tree

Put drafts together and capitalize tiles of some notes

2 years ago

tt-0007.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0008.tree

Add subobject classifier, and polish related concepts

2 years ago

tt-0009.tree

Cite rosiak2022sheaf def. 21

2 years ago

tt-000A.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000B.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000C.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000D.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000F.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000G.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000H.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000I.tree

Prefer "diagramatically"

2 years ago

tt-000J.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000K.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000L.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000M.tree

Add presheaf and Yoneda lemma, full and faithful

2 years ago

tt-000N.tree

Add subobject classifier, and polish related concepts

2 years ago

tt-000O.tree

Hidden notes for arrow pairs

2 years ago

tt-000P.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000Q.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000R.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000S.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000T.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000U.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-000V.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000W.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000X.tree

Prefer "diagramatically"

2 years ago

tt-000Y.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-000Z.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0010.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0011.tree

Add cartesian product functor, exponential, cartesian closed

2 years ago

tt-0012.tree

Add cartesian product functor, exponential, cartesian closed

2 years ago

tt-0013.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0014.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-0015.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-0016.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0017.tree

Systematically use `\f` for funtors

2 years ago

tt-0018.tree

Systematically use `\f` for funtors

2 years ago

tt-0019.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001A.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001B.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001C.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001D.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001E.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001F.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001G.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001H.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001J.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001K.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001L.tree

Systematically use `\f` for funtors

2 years ago

tt-001M.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001N.tree

Systematically use `\f` for funtors

2 years ago

tt-001O.tree

Polish "limit via representation"

2 years ago

tt-001P.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001Q.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001R.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001S.tree

Prefer "diagramatically"

2 years ago

tt-001T.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001U.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001V.tree

Prefer "diagramatically"

2 years ago

tt-001W.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001X.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-001Y.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-001Z.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0020.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0021.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0022.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0023.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0024.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0025.tree

Fix directed poset, and add filtered colimit

2 years ago

tt-0026.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-0027.tree

Minor polish on limits

2 years ago

tt-0028.tree

Minor polish on limits

2 years ago

tt-0029.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002A.tree

Minor tweak on limits

2 years ago

tt-002B.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002C.tree

Fix directed poset, and add filtered colimit

2 years ago

tt-002D.tree

Fix directed poset, and add filtered colimit

2 years ago

tt-002E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002F.tree

Polish Topos

2 years ago

tt-002G.tree

Fix directed poset, and add filtered colimit

2 years ago

tt-002H.tree

Systematically use `\f` for funtors

2 years ago

tt-002I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002J.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002K.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002L.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002M.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002N.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002O.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002P.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002Q.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002R.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002S.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002T.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002U.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002V.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002W.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002X.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-002Y.tree

Polish letters

2 years ago

tt-002Z.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0030.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0031.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0032.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0033.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0034.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0035.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0036.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0037.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0038.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0039.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003A.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003B.tree

Tweak draft notes

2 years ago

tt-003C.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003D.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003F.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003G.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003H.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003J.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003K.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003L.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003M.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003N.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003O.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003P.tree

Divide special functors

2 years ago

tt-003Q.tree

Rename `\tikz` to `\tikzfig` to avoid name collision

2 years ago

tt-003R.tree

Divide special functors

2 years ago

tt-003S.tree

Polish letters

2 years ago

tt-003T.tree

Add "Limit via representation"

2 years ago

tt-003U.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003V.tree

Add convention for composition

2 years ago

tt-003W.tree

Fix white spaces

2 years ago

tt-003X.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003Y.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-003Z.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0040.tree

Fix white spaces

2 years ago

tt-0041.tree

Fix white spaces

2 years ago

tt-0042.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0043.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0044.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0045.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0046.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0047.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0048.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0049.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004A.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004B.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004C.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004D.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004F.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004G.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004H.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004J.tree

Add subobject classifier, and polish related concepts

2 years ago

tt-004K.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004L.tree

Add sections for cartesian closed categories and subobject classifier, undraft many notes, or add todo for draft notes

2 years ago

tt-004M.tree

Add sections for cartesian closed categories and subobject classifier, undraft many notes, or add todo for draft notes

2 years ago

tt-004N.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004O.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004P.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004Q.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004R.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004S.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004T.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004U.tree

Undraft some notes

2 years ago

tt-004W.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004X.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004Y.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-004Z.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0050.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0051.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0052.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0053.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0054.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0055.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0056.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0057.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0058.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-0059.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-005A.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-005B.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-005C.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

tt-macros.tree

Avoid relying on forester to insert a space in LaTeX

1 year ago

uts-0001.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-0002.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-0003.tree

Add a query tree for technical experiments

2 years ago

uts-0004.tree

Rename all math- to uts-

2 years ago

uts-0005.tree

Rename all math- to uts-

2 years ago

uts-0006.tree

Rename all math- to uts-

2 years ago

uts-0007.tree

Rename all math- to uts-

2 years ago

uts-0008.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-0009.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000A.tree

Rename all math- to uts-

2 years ago

uts-000B.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000C.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000D.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000E.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000F.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000G.tree

Add link to Perfecting anti-aliasing on SDFs and reformat with markdown

11 months ago

uts-000H.tree

Add tech note drafts to Home and date them

1 year ago

uts-000I.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000J.tree

fix: include .jsx files in bun build pipeline shadertoy.jsx was skipped during CI builds because bun_build only checked for .ts and .tsx extensions. This caused a 404 for shadertoy.js on GitHub Pages, breaking shader-based trees like ag-0011.

2 months ago

uts-000K.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000L.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000M.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000N.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000O.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000P.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000Q.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000R.tree

fix: capitalize taxon arguments in card/refcard/refcardt macro calls The previous commit only capitalized direct \taxon{} usage. This also capitalizes the taxon argument passed to \card{}, \refcard{}, and \refcardt{} macros (definition → Definition, etc.) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000S.tree

Fix forester external links, as well as some wording

1 year ago

uts-000T.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-000U.tree

Rewrite simpler queries with `and` and `not`

1 year ago

uts-000V.tree

Rewrite simpler queries with `and` and `not`

1 year ago

uts-000W.tree

Distinguish loading, grace-loading, lazy-loading, preparing for ssr-loading and static-loading

2 years ago

uts-000X.tree

Revamp home to separate posts from notes, also enhance the query in Lost Notes

1 year ago

uts-000Y.tree

Add a query tree for technical experiments

2 years ago

uts-000Z.tree

Update on the Bun usage

2 years ago

uts-0010.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-0011.tree

Add tech note drafts to Home and date them

1 year ago

uts-0012.tree

fix: capitalize all titles and taxons Titles should start with a capital letter for consistency. Taxons (Definition, Theorem, Lemma, etc.) are also capitalized as they render as prefixes in the output. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 months ago

uts-0013.tree

Add tech note drafts to Home and date them

1 year ago

uts-0014.tree

fix: migrate legacy queries to datalog syntax - uts-0014.tree: Define \rel/links-to/rtc (reflexive-transitive closure) as custom datalog rules, replacing the non-existent builtin \rel/links-to/reflexive-transitive-closure - macros.tree: Rewrite \make-topic-bibliography from legacy \open\query/\isect/\union/\compl syntax to \query\datalog{...} with a helper relation for the presentations union case This is the "last missing piece" for the query port (issue #9).

2 months ago

uts-0015.tree

Fix figure transclusion title

1 year ago

uts-0016.tree

Finally, renders a ray-marching fragment shader on a plane

2 years ago

uts-0017.tree

Specify a good initial time

2 years ago

uts-0018.tree

chore(forest): sunset interests (2014–2023) → garden; redirect breadcrumbs The 2014–2023 interest archive (uts-0166 index + entries uts-0030..0165) was ported to the garden (utensil.github.io/garden/interests/). Delete those 137 trees from forest and repoint the two breadcrumb links (home uts-0169, learning diary uts-0018) to the garden instead. Old per-entry forest URLs will 404; content lives in the garden.

1 month ago

uts-0019.tree

Misc fixes of shader trees

2 years ago

uts-001A.tree

Fix typo

2 years ago

uts-001B.tree

Make raw body have pre-style wrap so they render better without custom css & js.

1 year ago

uts-001C.tree

fix: update wgputoy to wgpu 24.0, remove known-broken notice from uts-001C [AGENT]

2 months ago

uts-001D.tree

Add some earlier readings

2 years ago

uts-001E.tree

Misc fixes of shader trees

2 years ago

uts-001F.tree

Add: test algorithms

2 years ago

uts-001G.tree

Recover some lost notes

2 years ago

uts-001H.tree

Hack my way through xsl ns and `/forest/` change

10 months ago

uts-001I.tree

Tweak biome configs Run `bunx biome check --write bun/*`, review and test

2 years ago

uts-001J.tree

Tweak biome configs Run `bunx biome check --write bun/*`, review and test

2 years ago

uts-001K.tree

Recover some lost notes

2 years ago

uts-001L.tree

Add: test graphviz

2 years ago

uts-001M.tree

Typst css would mess with text tag in graphviz svg

2 years ago

uts-001N.tree

Add tech note drafts to Home and date them

1 year ago

uts-001O.tree

Port the rest of queries except the lost notes query

1 year ago

uts-001P.tree

Add recent diaries

2 years ago

uts-001Q.tree

Add: test d3-graphviz

2 years ago

uts-001R.tree

Systematically use external for posts published elsewhere, easier to maintain the body

1 year ago

uts-001S.tree

Port: My math interests in 2024

2 years ago

uts-001T.tree

Recover some lost notes

2 years ago

uts-001U.tree

Port: My math interests in 2024

2 years ago

uts-001V.tree

Port: My math interests in 2024

2 years ago

uts-001W.tree

Port: My math interests in 2024

2 years ago

uts-001X.tree

Port: My math interests in 2024

2 years ago

uts-001Y.tree

Port: My math interests in 2024

2 years ago

uts-001Z.tree

Port: My math interests in 2024

2 years ago

uts-0020.tree

Port: My math interests in 2024

2 years ago

uts-0021.tree

Port: My math interests in 2024

2 years ago

uts-0022.tree

Port: My math interests in 2024

2 years ago

uts-0023.tree

Port: My math interests in 2024

2 years ago

uts-0024.tree

Port: My math interests in 2024

2 years ago

uts-0025.tree

Port: My math interests in 2024

2 years ago

uts-0026.tree

Port: My math interests in 2024

2 years ago

uts-0027.tree

Port: My math interests in 2024

2 years ago

uts-0028.tree

Port: My math interests in 2024

2 years ago

uts-0029.tree

Port: My math interests in 2024

2 years ago

uts-002A.tree

Port: My math interests in 2024

2 years ago

uts-002B.tree

Port: My math interests in 2024

2 years ago

uts-002C.tree

Port: My math interests in 2024

2 years ago

uts-002D.tree

Port: My math interests in 2024

2 years ago

uts-002E.tree

Port: My math interests in 2024

2 years ago

uts-002F.tree

Update some vim bindings

1 year ago

uts-002G.tree

Add tech note drafts to Home and date them

1 year ago

uts-002H.tree

Add tech note drafts to Home and date them

1 year ago

uts-002I.tree

Add deepseek deep think

2 years ago

uts-002J.tree

Add tech note drafts to Home and date them

1 year ago

uts-0167.tree

Systematically use external for posts published elsewhere, easier to maintain the body

1 year ago

uts-0168.tree

Rewrite simpler queries with `and` and `not`

1 year ago

uts-0169.tree

chore(forest): sunset interests (2014–2023) → garden; redirect breadcrumbs The 2014–2023 interest archive (uts-0166 index + entries uts-0030..0165) was ported to the garden (utensil.github.io/garden/interests/). Delete those 137 trees from forest and repoint the two breadcrumb links (home uts-0169, learning diary uts-0018) to the garden instead. Old per-entry forest URLs will 404; content lives in the garden.

1 month ago

uts-016A.tree

Systematically use external for posts published elsewhere, easier to maintain the body

1 year ago

uts-016B.tree

Date bear posts

1 year ago

uts-016C.tree

Systematically use external for posts published elsewhere, easier to maintain the body

1 year ago

uts-016D.tree

Fix typo

1 year ago

uts-016E.tree

Some LD

9 months ago

uts-016F.tree

Add markmap support

1 year ago

uts-016G.tree

Code clean up

1 year ago

uts-016H.tree

Twizzle also has alg stepping

1 year ago

uts-016I.tree

Try TwistySim, which has case to setup the inverse of an alg, and it has better control of each steps

1 year ago

uts-016J.tree

Try some alternative browsers

1 year ago

uts-016K.tree

Systematically use external for posts published elsewhere, easier to maintain the body

1 year ago

uts-016L.tree

Configure Feed

Configure Feed