First entry on the new site

This is the first journal entry on the rebuilt site. The infrastructure is new, but the intent is unchanged: short, dated notes from research in progress — conjectures, intermediate lemmas, and the things that did not work.

A brief taste of the typography pipeline. Inline math like $\nabla \cdot \mathbf{F} = \rho$ should typeset cleanly; block math too:

H^n(X; \mathbb{R}) \;\cong\; \mathrm{Hom}_{\mathbb{R}}\!\bigl(H_n(X; \mathbb{R}),\, \mathbb{R}\bigr).

And a code block, rendered by Shiki:

type Perception<O> = (world: World) => Hypothesis<O>;

More entries will follow as the site fills out.