Explores making tangent spaces linear, defining tangent vectors without an embedding space and their operations, as well as the equivalence of different tangent space notions.
Covers MLIR, a compiler infrastructure for domain-specific computation, emphasizing the importance of multiple abstraction levels and higher-level semantics.