282: Type Systems and View Transitions
HomeThinking Elixir Podcast › Episode

282: Type Systems and View Transitions

34:41 Dec 9, 2025
About this episode
News includes cutting-edge research from José Valim and Guillaume Duboc on the data structures powering Elixir's type system that made v1.19 both stronger and faster than v1.18, Phoenix LiveView v1.1.18 with new conveniences including view transition API support, LiveDebugger's biggest release yet with improved assigns inspection and resource monitoring, a new Nx feature enabling Python-Elixir model integration, LangChain library updates, Hologram's creator seeking sustainable sponsorship after 3 years of full-time development, WebGPU now supported in all major browsers bringing desktop-class GPU performance to the web, and more! Show Notes online - http://podcast.thinkingelixir.com/282 Elixir Community News https://paraxial.io/ – Paraxial.io is sponsoring today's show! Sign up for a free trial of Paraxial.io today and mention Thinking Elixir when you schedule a demo for a special offer. https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/ – Blog post by Guillaume Duboc and José Valim about "Lazier Binary Decision Diagrams (BDDs) for set-theoretic types" - documenting the data structures powering Elixir's type system and optimizations in v1.19 https://x.com/josevalim/status/1995862601113501791 – José Valim's tweet about the BDD blog post https://github.com/elixir-lang/elixir/releases/tag/v1.19.4 – Elixir v1.19.4 release with bug fixes and new mix xref feature https://hexdocs.pm/mix/Mix.Tasks.Xref.html – Documentation for mix xref task including new --min-cycle-label option https://www.tiobe.com/tiobe-index/ – TIOBE Index - programming language popularity rankings https://nindalf.com/posts/stop-citing-tiobe/ – Article critiquing TIOBE's methodology as fundamentally flawed https://news.ycombinator.com/item?id=44234633 – Hacker News discussion where José shares how Elixir
Select an episode
0:00 0:00