Courses

p-adic Numbers, from the ground up

Eight modules from absolute values through Ostrowski, Hensel's lemma and the local–global principle, to Iwasawa theory and Galois representations.

node: p-adic-numbers · source courses/src/p-adic-numbers.md

Quadratic Reciprocity, from the ground up

Six modules: Euler's criterion, the descent algorithm, Eisenstein's lattice-point proof, and the road out to Artin and Langlands.

node: quadratic-reciprocity · source courses/src/quadratic-reciprocity.md

Elliptic Curves, from the ground up

Eight modules from the group law through Mordell–Weil and modularity to Fermat and cryptography.

node: elliptic-curves · source courses/src/elliptic-curves.md

Distributed Systems as a Local-to-Global Problem

Seven parts from the failure of local agreement through the sheaf condition and its cohomological obstruction to quorums, CRDTs and consensus — and why FLP and CAP are not the same theorem.

node: no node — about no single concept · source courses/src/distributed-systems.md

Grokking, From the Characters Up

Three of eight planned chapters: characters as the Fourier basis of a finite group, networks from scratch, and embeddings and attention — each ending in a lab that is a real record in the repo.

node: no node — about no single concept · source courses/src/grokking-from-characters.md