295: Is Your Type System Leaking?
About this episode
The episode discusses recent developments in Elixir's type system and various community updates.
News includes José Valim publishing a deep technical post on Elixir's type system shift from DNFs to Lazy BDDs with eager literal intersections — cutting worst-case type checking from 10 seconds to 25ms — alongside a more approachable Dashbit post on type systems as leaky abstractions, Zach Daniel's new usage_rules feature for shipping versioned AI skills inside Hex packages, Oban Pro teasing a major Workflow + Web UI overhaul with graph views and progress tracking, MDEx v0.11.6 landing with a new :codefence_renderers option, Livebook Desktop adding Linux support, Flame On hitting v1.0.0 after four years, a new Gleam static site generator called Blogatto, a native Elixir Apache Spark Connect client with Livebook integration, and more! Show Notes online - http://podcast.thinkingelixir.com/295 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://erlef.org/ – David encourages companies that use Elixir to sponsor the Erlang Ecosystem Foundation, emphasizing it's a community responsibility and any amount helps…
Sponsors
Paraxial.io
More episodes of Thinking Elixir Podcast
- 300: Celebrating 300 with José Valim
- 299: Don't Paste That Into Your Terminal
- 298: Hex Gets a Glow Up
- 297: JavaScript Joins the BEAM?
- 296: OpenAI Chose Elixir and A VM Inside a VMV
- 294: Compile Times, Language Servers, and Python, Oh My!
Explore listener stats, chart rankings, contacts and more on the Thinking Elixir Podcast podcast page.