Starcast Join the waitlist
LM

On Starcast

Leonardo de Moura

On 2 episodes across 2 shows

Join the waitlist Follow Leonardo in Starcast

Coming soon to iPhone. Already have it? “Follow Leonardo in Starcast” takes you straight there.

Newest appearances

  1. Machine Learning Street Talk (MLST)
    Who Checks a Proof No Human Can Read? — Leo de MouraMachine Learning Street Talk (MLST) · Sep 30, 2026 · Guest
  2. The Peterman Pod
    Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de MouraThe Peterman Pod · Aug 10, 2026 · Guest

Shows they’ve been on

Are you Leonardo? Get your share link, card and QR code.