José Valim on Elixir, AI Tools, Gradual Type Systems, and Being a Prolific Open-Source Contributor

José Valim is the creator of the Elixir programming language and cofounder of Dashbit, where he focuses on growing the Elixir ecosystem, the Tidewave web AI agent, and Livebook, a Jupyter-style notebook for Elixir. Before creating Elixir, he cofounded Plataformatec (acquired by Nubank) and was a core Ruby contributor.

Elixir language: https://elixir-lang.org/
Dashbit: https://dashbit.co/
Tidewave AI: https://tidewave.ai
Livebook: https://livebook.dev

---

0:00 Intro
1:32 Elixir 1.20 type inference: what's new
9:15 Gradual typing vs TypeScript's approach
15:03 Typing existing Elixir code…