Episode 295 of the Thinking Elixir podcast covers several community news items. Jose Valim published a technical post on Elixir's type system internals, explaining the shift from DNF to BDDs and lazy literal intersections that reduced worst-case type checking from 10 seconds to 25ms. A second post by Valim explores type systems as leaky abstractions using the map_take_bang proposal as a case study, comparing Elixir's set-theoretic approach to TypeScript's gradual typing. Other news includes: usage-rules package now supports distributable LLM skills from dependencies, Oban Pro teases workflow visualization improvements, MDEx 0.11.6 release with custom code fence renderers, a new Neovim blink-completion plugin for HexPM package search, Flame On reaching v1.0, a new Gleam static site generator called Blogato, Spark_ex for Apache Spark Connect in Elixir, LiveBook Desktop gaining Linux support, and a new BEAM podcast called 'Beam There, Done That'.
Sort: