282: Type Systems and View Transitions

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 (http://podcast.thinkingelixir.com/282) Elixir Community News https://paraxial.io/ (https://paraxial.io/?utm_source=thinkingelixir&utm_campaign=thinkingelixir-oct2025) – 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/ (https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/?utm_source=thinkingelixir&utm_medium=shownotes) – 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://nitter.net/josevalim/status/1995862601113501791 (https://nitter.net/josevalim/status/1995862601113501791?utm_source=thinkingelixir&utm_medium=shownotes) – José Valim's tweet about the BDD blog post https://github.com/elixir-lang/elixir/releases/tag/v1.19.4 (https://github.com/elixir-lang/elixir/releases/tag/v1.19.4?utm_source=thinkingelixir&utm_medium=shownotes) – Elixir v1.19.4 release with bug fixes and new mix xref feature https://hexdocs.pm/mix/Mix.Tasks.Xref.html (https://hexdocs.pm/mix/Mix.Tasks.Xref.html?utm_source=thinkingelixir&utm_medium=shownotes) – Documentation for mix xref task including new --min-cycle-label option https://www.tiobe.com/tiobe-index/ (https://www.tiobe.com/tiobe-index/?utm_source=thinkingelixir&utm_medium=shownotes) – TIOBE Index - programming language popularity rankings https://nindalf.com/posts/stop-citing-tiobe/ (https://nindalf.com/posts/stop-citing-tiobe/?utm_source=thinkingelixir&utm_medium=shownotes) – Article critiquing TIOBE's methodology as fundamentally flawed https://news.ycombinator.com/item?id=44234633 (https://news.ycombinator.com/item?id=44234633?utm_source=thinkingelixir&utm_medium=shownotes) – Hacker News discussion where José shares how Elixir disappeared from TIOBE top 100 due to having too many books on Amazon https://hexdocs.pm/phoenixliveview/changelog.html#v1-1-18-2025-11-25 (https://hexdocs.pm/phoenix_live_view/changelog.html#v1-1-18-2025-11-25?utm_source=thinkingelixir&utm_medium=shownotes) – Phoenix LiveView v1.1.18 release with new conveniences including function passing in assign, onDocumentPatch callback, and phx-viewport-overrun-target attribute https://gist.github.com/SteffenDE/cf7cdb91ba037b08cdc583763e4ffc69 (https://gist.github.com/SteffenDE/cf7cdb91ba037b08cdc583763e4ffc69?utm_source=thinkingelixir&utm_medium=shownotes) – Example gist for using the new onDocumentPatch callback with view transition APIs https://gist.github.com/SteffenDE/613125993362e30443e58558aa3c8ba0 (https://gist.github.com/SteffenDE/613125993362e30443e58558aa3c8ba0?utm_source=thinkingelixir&utm_medium=shownotes) – Example gist for phx-viewport-overrun-target for infinite table scrolling https://nitter.net/swmansionelixir/status/1995511897651806624 (https://nitter.net/swmansionelixir/status/1995511897651806624?utm_source=thinkingelixir&utm_medium=shownotes) – Software Mansion announcement of LiveDebugger 0.5.0 release https://docs.swmansion.com/live-debugger/ (https://docs.swmansion.com/live-debugger/?utm_source=thinkingelixir&utm_medium=shownotes) – LiveDebugger documentation - their biggest release yet with improved assigns inspection, async loading, dead LiveViews tracking, and resource monitoring https://nitter.net/davydog187/status/1994960093511905305 (https://nitter.net/davydog187/status/1994960093511905305?utm_source=thinkingelixir&utm_medium=shownotes) – Dave Lucia's tweet about new Nx feature by Paulo Valente New Nx feature allows models written in Python to talk to Elixir and vice versa, breaking down integration barriers https://bsky.app/profile/brainlid.bsky.social/post/3m6z4xoglls24 (https://bsky.app/profile/brainlid.bsky.social/post/3m6z4xoglls24?utm_source=thinkingelixir&utm_medium=shownotes) – Bluesky announcement of Elixir LangChain v0.4.1 release https://github.com/brainlid/langchain (https://github.com/brainlid/langchain?utm_source=thinkingelixir&utm_medium=shownotes) – LangChain library for Elixir - GitHub repository https://github.com/brainlid/langchain/blob/main/CHANGELOG.md (https://...