6 interviews
George Hotz is an engineer and researcher who focuses on the structural reality of computation, machine learning infrastructure, and software architecture. He works in the territory of optimizing ML frameworks by reducing complexity and moving away from Turing-complete systems toward more predictable, high-performance designs.
By making every layer of the software stack Turing complete, we inherit the Halting Problem, which makes it impossible to guarantee what a piece of code will do. Hotz argues that this approach is fundamentally flawed for building reliable software.
From #387 – George Hotz: Tiny Corp, Twitter, AI Safety, Self-Driving, GPT, AGI & God (episode)
Because neural networks are fundamentally static and predictable, we can achieve superior performance by stripping away the 'Turing-complete' overhead of current frameworks. This involves focusing only on the ADD/MUL operations required for neural networks.
From Commoditizing the Petaflop — with George Hotz of the tiny corp (episode)
Current ML frameworks like PyTorch and XLA are analogous to CISC systems because they are designed to handle any possible computation. Hotz argues these are over-engineered and that we need a 'Reduced Instruction Set' to achieve true performance.
From Ep 18: Petaflops to the People — with George Hotz of tinycorp (episode)
To build systems that are actually reason-capable and predictable, one must map out the entire stack and remove Turing completeness. This architectural shift is necessary to move past the hype of LLMs into structural reality.
From #387 – George Hotz: Tiny Corp, Twitter, AI Safety, Self-Driving, GPT, AGI & God (episode)
A framework should acknowledge that neural network operations are static loops. This principle is used to determine if a framework is over-engineered.
From Ep 18: Petaflops to the People — with George Hotz of tinycorp (episode)
Every idea names the summary it came from. Written by a local model from this mind’s own work, never from memory.