I wish him the best, I find his streams incredibly useful and they motivate me to be better at solving problems and coding. Hopefully he still does work on AGI and makes tinygrad even cooler.