Pinned Loading

1. the-echo-chamber the-echo-chamber Public

   Documentation and source materials for 'The Echo Chamber' - the first full-length novel entirely conceived and written by an AI (Claude) without human creative direction.

   4 1

2. certified-grokking certified-grokking Public

   Machine-checked certificates for the Nanda et al. grokking transformer — full-domain correctness, Lean clock-decoder theorems, and the certified limits of the clock interpretation

   Python

3. latex-local latex-local Public

   Write and compile LaTeX locally with an AI agent and the Tectonic engine — no cloud editor, runs on your own machine.

   Shell

4. verified-circuits verified-circuits Public

   Opening the black box, with proof — a kernel-checked mechanistic circuit for a learned transformer: Spec == Circuit == Model, verified on every input, re-checkable by anyone.

   Python

5. certified-inference certified-inference Public

   Pre-registered, kernel-checked certification of a pretrained language model — full-vocabulary exact-real next-token certificates, a Hoeffding population bound announced by the verifier itself, and …

   Python

6. dixmier-a3 dixmier-a3 Public

   Certified companion to the Dixmier counterexample in A3 + explicit Poisson-conjecture witness (runnable exact-arithmetic certificate)

   TeX