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

Category: other

Tags: tensor-naming, type-safety, compiler-design

Score: 7.0/10 (Innovation: 8, Technical: 7, Documentation: 8, Utility: 5)

Einlang is an experimental language that enforces named tensor coordinates at the type level, preventing silent axis errors that plague traditional frameworks. Its unique approach of making coordinate identity part of the type system, rather than a comment or string, is a compelling innovation for numerical computing. The project includes a full free book and runnable examples, making it both educational and practical for those building below the API level.

Target audience: compiler engineers, numerical library developers, data engineers

Repository: https://einlang.github.io/einlang/book/ · Python · Apache-2.0 · 10 stars

View on Hacker News