u/danielciocirlanin r/elixir • Recommends
José Valim on Elixir, AI Tools, Gradual Type Systems, and Being a Prolific Open-Source Contributor
0:00 / 0:00
#elixir#josevalim#gradualtyping
José Valim on Elixir, AI Tools, Gradual Type Systems, and Being a Prolific Open-Source Contributor
Rock the JVM
27K subscribers • 59 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by José Valim, creator of Elixir
Intermediate. Assumes working knowledge.
4.3K views7 months ago1 recommendation
Programming languagesAI and machine learningLanguage design and type systemsAI agents and tool useOpen source
José Valim discusses Elixir's new gradual type system, AI-assisted programming, and sustaining open-source ecosystems.
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: elixir-lang.org/ Dashbit: dashbit.co/ Tidewave AI: tidewave.ai Livebook: livebook.dev Timeline: Intro Elixir's new type inference Gradual type systems Compatibility with existing Elixir code Set-theoretic vs Hindley-Milner type systems Prioritizing developer happiness The future of Elixir Starting Elixir as a project that might fail Sustaining the Elixir OSS ecosystem Elixir for AI How Elixir positions itself for AI-assisted programming Marketing Elixir Teaching BEAM, Fault Tolerance, Akka and virtual threads How to learn Elixir, closing thoughtsWhy it's here
1 person recommends thisWhat people say. Recommended as a comprehensive interview with José Valim covering Elixir's type system and AI initiatives.