Hacker News new | ask | show | jobs
by yuppiemephisto 167 days ago
This project is an inspiration, I've been working on porting tinygrad to [Lean](github.com/alok/tinygrad)