efficient dense low-precision linear algebra is The Great Filter