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 should typeset cleanly; block math too:
And a code block, rendered by Shiki:
type Perception<O> = (world: World) => Hypothesis<O>;More entries will follow as the site fills out.