The Go re-implementation of Swiss Post's e-voting protocol grew up — it now runs as mutually distrusting parties over Rust-signed transport, its return codes are genuinely cast-as-intended, and, the headline, every cryptographic operation renders itself as typeset mathematics with live values, the instant it executes.
A 106-page LaTeX/TikZ book plus compiling exercise files - a curriculum that takes an undergraduate with zero formal-methods background to the point of reading, and extending, the real Lean 4 proofs in the ed25519/Pallas verification family.
A local-first, notebook-first course on the Number Theoretic Transform, sized for the version of NTT that actually matters — the negacyclic, modulus-q, base-multiplication NTT inside Kyber. Lecture → Lab → Problems → Studio, six bundles, no IBM dependency.
A local-first Qiskit learning platform that alternates between ideal mode (statevectors, clean circuits, conceptual clarity) and reality mode (transpilation, routing overhead, noisy simulation). The backward-designed target isn't "Qiskit literacy" — it's an independent hardware-aware quantum circuit designer.
A Karpathy-style autoresearch ratchet that proposes, evaluates, and learns from magic-state preparation circuits on the [[4,2,2]] error-detecting code — wrapped in a teaching layer of twelve Jupyter notebooks that explain the same physics through four different pedagogical lenses.