I've seen him work on tinygrad on his Twitch livestream couple times, so more than likely him indeed.