4 ms·Bringing ISA semantics to Lean and Lean-MLIR – Léo Stefanesco [video]3 points by matt_d 2y ago