Show HN: The Name in the Bracket (a free book on naming tensor dimensions)

The book works through what happens when tensor coordinates have names the compiler can check, from reductions through autodiff and recurrences. There's a small prototype language (github.com/einlang/einlang), but the book is the main thing.