TinyGrad

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

07:00

2026-07-12

geohot.github.io

artificial-intelligence

I love LLMs, I hate hype

AI researcher George Hotz, founder of comma.ai and creator of TinyGrad, criticizes hype around artificial intelligence while expressing enthusiasm for LLMs, self-driving cars, and coding agents. He ar…

15:02

2026-06-30

theoric.com

machine-learning

We rewrote an ML Framework* in Lean, (and yes it is faster*)

A team rewrote a subset of the TinyGrad deep learning framework in Lean 4, creating TGrad, which outperforms the original in 4 of 5 benchmarks by up to 3x. The project demonstrates Lean 4's viability …

// co-occurs with top 8 entities

TGrad 1 Lean 4 1 Apple Metal 1 Sid Vemuri 1 Codex 1 George Hotz 1 comma.ai 1 OpenAI 1

// topics top 6 topics

machine learning 1 ai research 1 ai tools 1 developer tools 1 ai infrastructure 1 artificial intelligence 1