6 ms·
This project is an inspiration, I've been working on porting tinygrad to [Lean](github.com/alok/tinygrad)
by yuppiemephisto 8mo ago
This project is an inspiration, I've been working on porting tinygrad to [Lean](github.com/alok/tinygrad)
loading thread…