THESIS: A research journal that happens to be a website — every number machine-verified, presented with editorial calm; refuses SaaS gradient wallpaper and dashboard chrome.
OWN-WORLD: warm paper white and cream grounds, one caramel accent, Source Serif 4 display headlines, JetBrains Mono numerals and terminals, hairline 1px borders, the Gate verification terminal as the sole technical surface.
STORY: a neural-network framework built from zero in Mojo; the visitor reads the evidence, trusts the gates, then runs them themselves.
FIRST VIEWPORT: oversized serif statement headline left, the Gate terminal at right with slow GSAP parallax, primary action beneath the headline.
FORM: editorial statement-and-evidence flow with terminal signature (seed a388fba1); code-led (no image generation available).
FINISH: unreviewed and undocumented is unfinished; this build ends with the finish review, the verdict, DESIGN.md, and every shipping raster carrying its provenance.
The lab journal — dated milestones from building a neural-network framework from zero, newest first. Each entry links to the evidence it produced.
est. 2026-08-189 modules60k epochs verified
The site becomes part of the evidence
Lyceumai.dev redesigned as an editorial research journal — single warm light theme, serif statements, and every number on every page rendered from the same abort()-on-fail gates that verify the code. Custom 404, error boundary, robots and sitemap ship alongside.
The complete 30k-epoch grokking reproduction lands: MLP 28→128→14 on all-but-diagonal (a+b) mod 14 pairs, both weight decays run to completion. Held-out accuracy reaches 1.00 at epoch 9,000 (wd=1.0) and 25,000 (wd=0.3) — stronger decay crosses first, matching the reference ordering.
Arena autograd and optimizers land in the same window: a dynamic Graph of Value nodes with backward dispatch, then SGD, momentum, Adam, and AdamW with decoupled weight decay. The generic trainer follows — fit/predict/evaluate over any model meeting the NNBase trait.
The ml/ package takes shape: extended Tensor ops on row-major Lists of Float64, cross_entropy / mse / binary_cross_entropy losses, and the synthetic-task dataset layer with deterministic LCG shuffling. Every op ships with its central-difference gradient check from day one.