Posts by Chris Ostrouchov RSS feed 2019-04-17MOA: a theory for composable and verifiable tensor computations