Jeremy Howard on Using AI
His commentary sounds unusually sensible. Though that no longer seemed to be the case by about six minutes in, ... Subscribe to Machine Learning Street Talk . See also these two: Terrence Tao formalising a proof in Lean using Claude Code Subscribe to Terrence Tao . Jaques Carette on Formalising Category Theory in Agda Subscribe to Topos Institute . My thoughts last night from my hospital bed: Syntax, Semantics and Syllables Minds, Brains and Communications