# Thinking Elixir 295 - Is Your Type System Leaking?

**URL:** <https://forum.devtalk.com/t/thinking-elixir-295-is-your-type-system-leaking/237027>\
**Category:** Blogs/Articles/Talks/Podcasts\
**Tags:** elixir, podcasts, types, oban, optimization\
**Created:** [10 March 2026 12:24 UTC](https://forum.devtalk.com/t/thinking-elixir-295-is-your-type-system-leaking/237027 "2026-03-10T12:24:20Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![brainlid](https://forum.devtalk.com/user_avatar/forum.devtalk.com/brainlid/32/2825_2.png) [@brainlid](https://forum.devtalk.com/u/brainlid)\
**Post date:** [10 March 2026 12:24 UTC](https://forum.devtalk.com/t/thinking-elixir-295-is-your-type-system-leaking/237027/1 "2026-03-10T12:24:20Z")

</div>

Episode 295 of [Thinking Elixir](https://podcast.thinkingelixir.com). 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!

[![](https://img.youtube.com/vi/YJQokVPt5_4/maxresdefault.jpg "Thinking Elixir Podcast 295: Is Your Type System Leaking?") ](https://www.youtube.com/watch?v=YJQokVPt5_4)