<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" encoding="UTF-8" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:sy="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/" xmlns:atom="http://www.w3.org/2005/Atom/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:fireside="http://fireside.fm/modules/rss/fireside">
  <channel>
    <fireside:hostname>web01.fireside.fm</fireside:hostname>
    <fireside:genDate>Tue, 21 Apr 2026 08:31:53 -0500</fireside:genDate>
    <generator>Fireside (https://fireside.fm)</generator>
    <title>Thinking Elixir Podcast - Episodes Tagged with “Leaky”</title>
    <link>https://podcast.thinkingelixir.com/tags/leaky</link>
    <pubDate>Tue, 10 Mar 2026 04:15:00 -0600</pubDate>
    <description>The Thinking Elixir podcast is a weekly show where we talk about the Elixir programming language and the community around it. We cover news and interview guests to learn more about projects and developments in the community.
Whether you are already experienced with Elixir or just exploring the language, this show is created with you in mind. We discuss community news, Functional Programming, transitioning from OOP, coding conventions, and more.
Guests visit the show to help challenge our assumptions, learn about new developments and grow in the process.
Subscribe to join us on this journey!
</description>
    <language>en-us</language>
    <itunes:type>episodic</itunes:type>
    <itunes:subtitle>News and interviews for the Elixir community</itunes:subtitle>
    <itunes:author>ThinkingElixir.com</itunes:author>
    <itunes:summary>The Thinking Elixir podcast is a weekly show where we talk about the Elixir programming language and the community around it. We cover news and interview guests to learn more about projects and developments in the community.
Whether you are already experienced with Elixir or just exploring the language, this show is created with you in mind. We discuss community news, Functional Programming, transitioning from OOP, coding conventions, and more.
Guests visit the show to help challenge our assumptions, learn about new developments and grow in the process.
Subscribe to join us on this journey!
</itunes:summary>
    <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/8/811c9756-babe-40ac-8c25-b3bb24e522e0/cover.jpg?v=2"/>
    <itunes:explicit>no</itunes:explicit>
    <itunes:keywords>elixir, programming, web, clustering, phoenix, liveview, news, developer</itunes:keywords>
    <itunes:owner>
      <itunes:name>ThinkingElixir.com</itunes:name>
      <itunes:email>podcast@thinkingelixir.com</itunes:email>
    </itunes:owner>
<itunes:category text="Education">
  <itunes:category text="How To"/>
</itunes:category>
<itunes:category text="News">
  <itunes:category text="Tech News"/>
</itunes:category>
<itunes:category text="Technology"/>
<item>
  <title>295: Is Your Type System Leaking?</title>
  <link>https://podcast.thinkingelixir.com/295</link>
  <guid isPermaLink="false">a3db7202-4157-490f-bfa0-de34e19f2a6b</guid>
  <pubDate>Tue, 10 Mar 2026 04:15:00 -0600</pubDate>
  <author>ThinkingElixir.com</author>
  <enclosure url="https://aphid.fireside.fm/d/1437767933/811c9756-babe-40ac-8c25-b3bb24e522e0/a3db7202-4157-490f-bfa0-de34e19f2a6b.mp3" length="19785728" type="audio/mpeg"/>
  <itunes:episodeType>full</itunes:episodeType>
  <itunes:author>ThinkingElixir.com</itunes:author>
  <itunes:subtitle>News includes José Valim’s deep dive into Elixir’s type system cutting worst-case checks from 10s to 25ms, a new Dashbit post on type systems as leaky abstractions, Oban Pro teasing Workflow UI improvements, MDEx v0.11.6, Livebook Desktop on Linux, and more!</itunes:subtitle>
  <itunes:duration>27:03</itunes:duration>
  <itunes:explicit>no</itunes:explicit>
  <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/8/811c9756-babe-40ac-8c25-b3bb24e522e0/cover.jpg?v=2"/>
  <description>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 usagerules 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 `:codefencerenderers` 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 (http://podcast.thinkingelixir.com/295)
Elixir Community News
https://paraxial.io/ (https://paraxial.io/?utm_source=thinkingelixir&amp;amp;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://erlef.org/ (https://erlef.org/?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – David encourages companies that use Elixir to sponsor the Erlang Ecosystem Foundation, emphasizing it's a community responsibility and any amount helps.
https://nitter.net/josevalim/status/2026957172807025095 (https://nitter.net/josevalim/status/2026957172807025095?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – José Valim announces a new technical blog post on elixir-lang.org about set-theoretic type system internals.
https://elixir-lang.org/blog/2026/02/26/eager-literal-intersections/ (https://elixir-lang.org/blog/2026/02/26/eager-literal-intersections/?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – José Valim's deep-dive post on switching from DNFs to Lazy BDDs and adding eager literal intersections, reducing a worst-case type check from 10s to 25ms in Elixir v1.20.
https://nitter.net/josevalim/status/2028820597761831058 (https://nitter.net/josevalim/status/2028820597761831058?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – José Valim announces a more approachable blog post on type systems as leaky abstractions.
https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take (https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Dashbit post by José Valim arguing with concrete examples that type systems can be leaky abstractions that resist refactoring, using Map.take!/2 as a case study.
https://x.com/zachsdaniel1/status/2027078981451690355 (https://x.com/zachsdaniel1/status/2027078981451690355?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Zach Daniel announces a new usage_rules feature that supports copying skills from packages, allowing package authors to ship and version AI skills for projects.
https://github.com/ash-project/usage_rules (https://github.com/ash-project/usage_rules?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – The usage_rules GitHub repo for the Ash project's AI coding rules and skills feature.
https://bsky.app/profile/oban.pro/post/3mg5yd4lul22a (https://bsky.app/profile/oban.pro/post/3mg5yd4lul22a?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Sorentwo teases upcoming Oban Pro Workflow + Web improvements, including a new Workflows search page with progress bars, stats, filters, and a graph view of workflow nodes.
https://github.com/leandrocp/mdex/releases/tag/v0.11.6 (https://github.com/leandrocp/mdex/releases/tag/v0.11.6?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – MDEx v0.11.6 release notes, adding :codefence_renderers option and fixes to the syntax highlighter and streaming parser.
https://nitter.net/leandrocesquini/status/2026671063820615755 (https://nitter.net/leandrocesquini/status/2026671063820615755?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Leandro Cesquini announces the MDEx v0.11.6 release on social media.
https://hexdocs.pm/mdex/codefence_renderers.html (https://hexdocs.pm/mdex/codefence_renderers.html?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – HexDocs page for MDEx's new codefence_renderers feature, enabling custom code fences like alert, Pikchr, chart, csv, and more.
https://github.com/leandrocp/mdex (https://github.com/leandrocp/mdex?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – The MDEx GitHub repository for the Elixir Markdown parsing and rendering library.
https://github.com/dbernheisel/hex-cmp (https://github.com/dbernheisel/hex-cmp?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – David's new Neovim plugin that autocompletes hex.pm packages and versions in mix.exs files using blink.cmp and Treesitter, with lightweight LSP hover docs.
https://nitter.net/1stavenger/status/2027943235096641839 (https://nitter.net/1stavenger/status/2027943235096641839?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Mike Binns announces the v1.0.0 release of Flame On, a flame chart plugin for Phoenix Live Dashboard, after 4+ years.
https://blogat.to/ (https://blogat.to/?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Blogatto is a new Gleam static site generator framework built on Lustre and Markdown, generating blogs, RSS feeds, sitemaps, and more from a single config.
https://nitter.net/lukaszsamson/status/2028268416939786430 (https://nitter.net/lukaszsamson/status/2028268416939786430?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Łukasz Samson announces spark_ex, a native Elixir Apache Spark Connect client with Livebook integration.
https://github.com/lukaszsamson/sparkex/blob/main/notebooks/sparkex_demo.livemd (https://github.com/lukaszsamson/spark_ex/blob/main/notebooks/spark_ex_demo.livemd?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Demo Livebook notebook for spark_ex to quickly start experimenting with Apache Spark from Elixir.
https://spark.apache.org/ (https://spark.apache.org/?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Apache Spark™ official site — a multi-language engine for data engineering, data science, and machine learning on single-node or cluster environments.
https://bsky.app/profile/hugobarauna.com/post/3mg6djqvhzc2w (https://bsky.app/profile/hugobarauna.com/post/3mg6djqvhzc2w?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Hugo Baraúna announces that Livebook Desktop now supports Linux, powered by the same Tauri-based cross-platform packaging work reported last week.
https://bsky.app/profile/peregrine.bsky.social/post/3mg77yqlf7k2b (https://bsky.app/profile/peregrine.bsky.social/post/3mg77yqlf7k2b?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Announcement that Easel can now render to the terminal using rasterization via Easel.WX, ASCII glyph masks, and the termite library.
https://hexdocs.pm/easel/readme.html#terminal-backend-experimental (https://hexdocs.pm/easel/readme.html#terminal-backend-experimental?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – HexDocs page for Easel's experimental terminal backend, detailing how it rasterizes and renders frames to a terminal session.
https://nitter.net/FrancescoC/status/2027699563474173983 (https://nitter.net/FrancescoC/status/2027699563474173983?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – Francesco Cesarini announces the new "BEAM There, Done That" podcast co-hosted with Alan Wyma.
https://open.spotify.com/episode/4D3ZdxRYlhtImwkjaqgRmS (https://open.spotify.com/episode/4D3ZdxRYlhtImwkjaqgRmS?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – First episode of "BEAM There, Done That" on Spotify, featuring Andrea Leopardi on Concurrency, OTP, and the Evolution of the BEAM.
https://podcasts.apple.com/us/podcast/beam-there-done-that/id1880642413 (https://podcasts.apple.com/us/podcast/beam-there-done-that/id1880642413?utm_source=thinkingelixir&amp;amp;utm_medium=shownotes) – 'BEAM There, Done That' podcast on Apple Podcasts, launched by Francesco Cesarini and Alan Wyma.
Do you have some Elixir news to share? Tell us at @ThinkingElixir (https://twitter.com/ThinkingElixir) or email at show@thinkingelixir.com (mailto:show@thinkingelixir.com)
Find us online
- Message the show - Bluesky (https://bsky.app/profile/thinkingelixir.com)
- Message the show - X (https://x.com/ThinkingElixir)
- Message the show on Fediverse - @ThinkingElixir@genserver.social (https://genserver.social/ThinkingElixir)
- Email the show - show@thinkingelixir.com (mailto:show@thinkingelixir.com)
- Mark Ericksen on X - @brainlid (https://x.com/brainlid)
- Mark Ericksen on Bluesky - @brainlid.bsky.social (https://bsky.app/profile/brainlid.bsky.social)
- Mark Ericksen on Fediverse - @brainlid@genserver.social (https://genserver.social/brainlid)
- David Bernheisel on Bluesky - @david.bernheisel.com (https://bsky.app/profile/david.bernheisel.com)
- David Bernheisel on Fediverse - @dbern@genserver.social (https://genserver.social/dbern) 
</description>
  <itunes:keywords>elixir, news, type system, abstractions, leaky, spark, skills</itunes:keywords>
  <content:encoded>
    <![CDATA[<p>News includes José Valim publishing a deep technical post on Elixir&#39;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&#39;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 <code>:codefence_renderers</code> 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!</p>

<p>Show Notes online - <a href="http://podcast.thinkingelixir.com/295" rel="nofollow">http://podcast.thinkingelixir.com/295</a></p>

<p><strong>Elixir Community News</strong></p>

<ul>
<li><a href="https://paraxial.io/?utm_source=thinkingelixir&utm_campaign=thinkingelixir-oct2025" rel="nofollow">https://paraxial.io/</a> – Paraxial.io is sponsoring today&#39;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.</li>
<li><a href="https://erlef.org/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://erlef.org/</a> – David encourages companies that use Elixir to sponsor the Erlang Ecosystem Foundation, emphasizing it&#39;s a community responsibility and any amount helps.</li>
<li><a href="https://nitter.net/josevalim/status/2026957172807025095?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/josevalim/status/2026957172807025095</a> – José Valim announces a new technical blog post on elixir-lang.org about set-theoretic type system internals.</li>
<li><a href="https://elixir-lang.org/blog/2026/02/26/eager-literal-intersections/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://elixir-lang.org/blog/2026/02/26/eager-literal-intersections/</a> – José Valim&#39;s deep-dive post on switching from DNFs to Lazy BDDs and adding eager literal intersections, reducing a worst-case type check from 10s to 25ms in Elixir v1.20.</li>
<li><a href="https://nitter.net/josevalim/status/2028820597761831058?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/josevalim/status/2028820597761831058</a> – José Valim announces a more approachable blog post on type systems as leaky abstractions.</li>
<li><a href="https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take</a> – Dashbit post by José Valim arguing with concrete examples that type systems can be leaky abstractions that resist refactoring, using Map.take!/2 as a case study.</li>
<li><a href="https://x.com/zachsdaniel1/status/2027078981451690355?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://x.com/zachsdaniel1/status/2027078981451690355</a> – Zach Daniel announces a new usage_rules feature that supports copying skills from packages, allowing package authors to ship and version AI skills for projects.</li>
<li><a href="https://github.com/ash-project/usage_rules?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/ash-project/usage_rules</a> – The usage_rules GitHub repo for the Ash project&#39;s AI coding rules and skills feature.</li>
<li><a href="https://bsky.app/profile/oban.pro/post/3mg5yd4lul22a?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://bsky.app/profile/oban.pro/post/3mg5yd4lul22a</a> – Sorentwo teases upcoming Oban Pro Workflow + Web improvements, including a new Workflows search page with progress bars, stats, filters, and a graph view of workflow nodes.</li>
<li><a href="https://github.com/leandrocp/mdex/releases/tag/v0.11.6?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/leandrocp/mdex/releases/tag/v0.11.6</a> – MDEx v0.11.6 release notes, adding :codefence_renderers option and fixes to the syntax highlighter and streaming parser.</li>
<li><a href="https://nitter.net/leandrocesquini/status/2026671063820615755?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/leandrocesquini/status/2026671063820615755</a> – Leandro Cesquini announces the MDEx v0.11.6 release on social media.</li>
<li><a href="https://hexdocs.pm/mdex/codefence_renderers.html?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://hexdocs.pm/mdex/codefence_renderers.html</a> – HexDocs page for MDEx&#39;s new codefence_renderers feature, enabling custom code fences like alert, Pikchr, chart, csv, and more.</li>
<li><a href="https://github.com/leandrocp/mdex?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/leandrocp/mdex</a> – The MDEx GitHub repository for the Elixir Markdown parsing and rendering library.</li>
<li><a href="https://github.com/dbernheisel/hex-cmp?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/dbernheisel/hex-cmp</a> – David&#39;s new Neovim plugin that autocompletes hex.pm packages and versions in mix.exs files using blink.cmp and Treesitter, with lightweight LSP hover docs.</li>
<li><a href="https://nitter.net/1stavenger/status/2027943235096641839?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/1stavenger/status/2027943235096641839</a> – Mike Binns announces the v1.0.0 release of Flame On, a flame chart plugin for Phoenix Live Dashboard, after 4+ years.</li>
<li><a href="https://blogat.to/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://blogat.to/</a> – Blogatto is a new Gleam static site generator framework built on Lustre and Markdown, generating blogs, RSS feeds, sitemaps, and more from a single config.</li>
<li><a href="https://nitter.net/lukaszsamson/status/2028268416939786430?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/lukaszsamson/status/2028268416939786430</a> – Łukasz Samson announces spark_ex, a native Elixir Apache Spark Connect client with Livebook integration.</li>
<li><a href="https://github.com/lukaszsamson/spark_ex/blob/main/notebooks/spark_ex_demo.livemd?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/lukaszsamson/spark_ex/blob/main/notebooks/spark_ex_demo.livemd</a> – Demo Livebook notebook for spark_ex to quickly start experimenting with Apache Spark from Elixir.</li>
<li><a href="https://spark.apache.org/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://spark.apache.org/</a> – Apache Spark™ official site — a multi-language engine for data engineering, data science, and machine learning on single-node or cluster environments.</li>
<li><a href="https://bsky.app/profile/hugobarauna.com/post/3mg6djqvhzc2w?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://bsky.app/profile/hugobarauna.com/post/3mg6djqvhzc2w</a> – Hugo Baraúna announces that Livebook Desktop now supports Linux, powered by the same Tauri-based cross-platform packaging work reported last week.</li>
<li><a href="https://bsky.app/profile/peregrine.bsky.social/post/3mg77yqlf7k2b?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://bsky.app/profile/peregrine.bsky.social/post/3mg77yqlf7k2b</a> – Announcement that Easel can now render to the terminal using rasterization via Easel.WX, ASCII glyph masks, and the termite library.</li>
<li><a href="https://hexdocs.pm/easel/readme.html#terminal-backend-experimental?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://hexdocs.pm/easel/readme.html#terminal-backend-experimental</a> – HexDocs page for Easel&#39;s experimental terminal backend, detailing how it rasterizes and renders frames to a terminal session.</li>
<li><a href="https://nitter.net/FrancescoC/status/2027699563474173983?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/FrancescoC/status/2027699563474173983</a> – Francesco Cesarini announces the new &quot;BEAM There, Done That&quot; podcast co-hosted with Alan Wyma.</li>
<li><a href="https://open.spotify.com/episode/4D3ZdxRYlhtImwkjaqgRmS?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://open.spotify.com/episode/4D3ZdxRYlhtImwkjaqgRmS</a> – First episode of &quot;BEAM There, Done That&quot; on Spotify, featuring Andrea Leopardi on Concurrency, OTP, and the Evolution of the BEAM.</li>
<li><a href="https://podcasts.apple.com/us/podcast/beam-there-done-that/id1880642413?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://podcasts.apple.com/us/podcast/beam-there-done-that/id1880642413</a> – &#39;BEAM There, Done That&#39; podcast on Apple Podcasts, launched by Francesco Cesarini and Alan Wyma.</li>
</ul>

<p>Do you have some Elixir news to share? Tell us at <a href="https://twitter.com/ThinkingElixir" rel="nofollow">@ThinkingElixir</a> or email at <a href="mailto:show@thinkingelixir.com" rel="nofollow">show@thinkingelixir.com</a></p>

<p><strong>Find us online</strong></p>

<ul>
<li>Message the show - <a href="https://bsky.app/profile/thinkingelixir.com" rel="nofollow">Bluesky</a></li>
<li>Message the show - <a href="https://x.com/ThinkingElixir" rel="nofollow">X</a></li>
<li>Message the show on Fediverse - <a href="https://genserver.social/ThinkingElixir" rel="nofollow">@ThinkingElixir@genserver.social</a></li>
<li>Email the show - <a href="mailto:show@thinkingelixir.com" rel="nofollow">show@thinkingelixir.com</a></li>
<li>Mark Ericksen on X - <a href="https://x.com/brainlid" rel="nofollow">@brainlid</a></li>
<li>Mark Ericksen on Bluesky - <a href="https://bsky.app/profile/brainlid.bsky.social" rel="nofollow">@brainlid.bsky.social</a></li>
<li>Mark Ericksen on Fediverse - <a href="https://genserver.social/brainlid" rel="nofollow">@brainlid@genserver.social</a></li>
<li>David Bernheisel on Bluesky - <a href="https://bsky.app/profile/david.bernheisel.com" rel="nofollow">@david.bernheisel.com</a></li>
<li>David Bernheisel on Fediverse - <a href="https://genserver.social/dbern" rel="nofollow">@dbern@genserver.social</a></li>
</ul><p>Sponsored By:</p><ul><li><a rel="nofollow" href="https://paraxial.io/?utm_source=thinkingelixir&amp;utm_campaign=thinkingelixir-oct2025">Paraxial.io</a>: <a rel="nofollow" href="https://paraxial.io/?utm_source=thinkingelixir&amp;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.</a></li></ul>]]>
  </content:encoded>
  <itunes:summary>
    <![CDATA[<p>News includes José Valim publishing a deep technical post on Elixir&#39;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&#39;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 <code>:codefence_renderers</code> 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!</p>

<p>Show Notes online - <a href="http://podcast.thinkingelixir.com/295" rel="nofollow">http://podcast.thinkingelixir.com/295</a></p>

<p><strong>Elixir Community News</strong></p>

<ul>
<li><a href="https://paraxial.io/?utm_source=thinkingelixir&utm_campaign=thinkingelixir-oct2025" rel="nofollow">https://paraxial.io/</a> – Paraxial.io is sponsoring today&#39;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.</li>
<li><a href="https://erlef.org/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://erlef.org/</a> – David encourages companies that use Elixir to sponsor the Erlang Ecosystem Foundation, emphasizing it&#39;s a community responsibility and any amount helps.</li>
<li><a href="https://nitter.net/josevalim/status/2026957172807025095?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/josevalim/status/2026957172807025095</a> – José Valim announces a new technical blog post on elixir-lang.org about set-theoretic type system internals.</li>
<li><a href="https://elixir-lang.org/blog/2026/02/26/eager-literal-intersections/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://elixir-lang.org/blog/2026/02/26/eager-literal-intersections/</a> – José Valim&#39;s deep-dive post on switching from DNFs to Lazy BDDs and adding eager literal intersections, reducing a worst-case type check from 10s to 25ms in Elixir v1.20.</li>
<li><a href="https://nitter.net/josevalim/status/2028820597761831058?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/josevalim/status/2028820597761831058</a> – José Valim announces a more approachable blog post on type systems as leaky abstractions.</li>
<li><a href="https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://dashbit.co/blog/type-systems-are-leaky-abstractions-map-take</a> – Dashbit post by José Valim arguing with concrete examples that type systems can be leaky abstractions that resist refactoring, using Map.take!/2 as a case study.</li>
<li><a href="https://x.com/zachsdaniel1/status/2027078981451690355?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://x.com/zachsdaniel1/status/2027078981451690355</a> – Zach Daniel announces a new usage_rules feature that supports copying skills from packages, allowing package authors to ship and version AI skills for projects.</li>
<li><a href="https://github.com/ash-project/usage_rules?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/ash-project/usage_rules</a> – The usage_rules GitHub repo for the Ash project&#39;s AI coding rules and skills feature.</li>
<li><a href="https://bsky.app/profile/oban.pro/post/3mg5yd4lul22a?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://bsky.app/profile/oban.pro/post/3mg5yd4lul22a</a> – Sorentwo teases upcoming Oban Pro Workflow + Web improvements, including a new Workflows search page with progress bars, stats, filters, and a graph view of workflow nodes.</li>
<li><a href="https://github.com/leandrocp/mdex/releases/tag/v0.11.6?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/leandrocp/mdex/releases/tag/v0.11.6</a> – MDEx v0.11.6 release notes, adding :codefence_renderers option and fixes to the syntax highlighter and streaming parser.</li>
<li><a href="https://nitter.net/leandrocesquini/status/2026671063820615755?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/leandrocesquini/status/2026671063820615755</a> – Leandro Cesquini announces the MDEx v0.11.6 release on social media.</li>
<li><a href="https://hexdocs.pm/mdex/codefence_renderers.html?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://hexdocs.pm/mdex/codefence_renderers.html</a> – HexDocs page for MDEx&#39;s new codefence_renderers feature, enabling custom code fences like alert, Pikchr, chart, csv, and more.</li>
<li><a href="https://github.com/leandrocp/mdex?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/leandrocp/mdex</a> – The MDEx GitHub repository for the Elixir Markdown parsing and rendering library.</li>
<li><a href="https://github.com/dbernheisel/hex-cmp?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/dbernheisel/hex-cmp</a> – David&#39;s new Neovim plugin that autocompletes hex.pm packages and versions in mix.exs files using blink.cmp and Treesitter, with lightweight LSP hover docs.</li>
<li><a href="https://nitter.net/1stavenger/status/2027943235096641839?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/1stavenger/status/2027943235096641839</a> – Mike Binns announces the v1.0.0 release of Flame On, a flame chart plugin for Phoenix Live Dashboard, after 4+ years.</li>
<li><a href="https://blogat.to/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://blogat.to/</a> – Blogatto is a new Gleam static site generator framework built on Lustre and Markdown, generating blogs, RSS feeds, sitemaps, and more from a single config.</li>
<li><a href="https://nitter.net/lukaszsamson/status/2028268416939786430?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/lukaszsamson/status/2028268416939786430</a> – Łukasz Samson announces spark_ex, a native Elixir Apache Spark Connect client with Livebook integration.</li>
<li><a href="https://github.com/lukaszsamson/spark_ex/blob/main/notebooks/spark_ex_demo.livemd?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://github.com/lukaszsamson/spark_ex/blob/main/notebooks/spark_ex_demo.livemd</a> – Demo Livebook notebook for spark_ex to quickly start experimenting with Apache Spark from Elixir.</li>
<li><a href="https://spark.apache.org/?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://spark.apache.org/</a> – Apache Spark™ official site — a multi-language engine for data engineering, data science, and machine learning on single-node or cluster environments.</li>
<li><a href="https://bsky.app/profile/hugobarauna.com/post/3mg6djqvhzc2w?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://bsky.app/profile/hugobarauna.com/post/3mg6djqvhzc2w</a> – Hugo Baraúna announces that Livebook Desktop now supports Linux, powered by the same Tauri-based cross-platform packaging work reported last week.</li>
<li><a href="https://bsky.app/profile/peregrine.bsky.social/post/3mg77yqlf7k2b?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://bsky.app/profile/peregrine.bsky.social/post/3mg77yqlf7k2b</a> – Announcement that Easel can now render to the terminal using rasterization via Easel.WX, ASCII glyph masks, and the termite library.</li>
<li><a href="https://hexdocs.pm/easel/readme.html#terminal-backend-experimental?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://hexdocs.pm/easel/readme.html#terminal-backend-experimental</a> – HexDocs page for Easel&#39;s experimental terminal backend, detailing how it rasterizes and renders frames to a terminal session.</li>
<li><a href="https://nitter.net/FrancescoC/status/2027699563474173983?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://nitter.net/FrancescoC/status/2027699563474173983</a> – Francesco Cesarini announces the new &quot;BEAM There, Done That&quot; podcast co-hosted with Alan Wyma.</li>
<li><a href="https://open.spotify.com/episode/4D3ZdxRYlhtImwkjaqgRmS?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://open.spotify.com/episode/4D3ZdxRYlhtImwkjaqgRmS</a> – First episode of &quot;BEAM There, Done That&quot; on Spotify, featuring Andrea Leopardi on Concurrency, OTP, and the Evolution of the BEAM.</li>
<li><a href="https://podcasts.apple.com/us/podcast/beam-there-done-that/id1880642413?utm_source=thinkingelixir&utm_medium=shownotes" rel="nofollow">https://podcasts.apple.com/us/podcast/beam-there-done-that/id1880642413</a> – &#39;BEAM There, Done That&#39; podcast on Apple Podcasts, launched by Francesco Cesarini and Alan Wyma.</li>
</ul>

<p>Do you have some Elixir news to share? Tell us at <a href="https://twitter.com/ThinkingElixir" rel="nofollow">@ThinkingElixir</a> or email at <a href="mailto:show@thinkingelixir.com" rel="nofollow">show@thinkingelixir.com</a></p>

<p><strong>Find us online</strong></p>

<ul>
<li>Message the show - <a href="https://bsky.app/profile/thinkingelixir.com" rel="nofollow">Bluesky</a></li>
<li>Message the show - <a href="https://x.com/ThinkingElixir" rel="nofollow">X</a></li>
<li>Message the show on Fediverse - <a href="https://genserver.social/ThinkingElixir" rel="nofollow">@ThinkingElixir@genserver.social</a></li>
<li>Email the show - <a href="mailto:show@thinkingelixir.com" rel="nofollow">show@thinkingelixir.com</a></li>
<li>Mark Ericksen on X - <a href="https://x.com/brainlid" rel="nofollow">@brainlid</a></li>
<li>Mark Ericksen on Bluesky - <a href="https://bsky.app/profile/brainlid.bsky.social" rel="nofollow">@brainlid.bsky.social</a></li>
<li>Mark Ericksen on Fediverse - <a href="https://genserver.social/brainlid" rel="nofollow">@brainlid@genserver.social</a></li>
<li>David Bernheisel on Bluesky - <a href="https://bsky.app/profile/david.bernheisel.com" rel="nofollow">@david.bernheisel.com</a></li>
<li>David Bernheisel on Fediverse - <a href="https://genserver.social/dbern" rel="nofollow">@dbern@genserver.social</a></li>
</ul><p>Sponsored By:</p><ul><li><a rel="nofollow" href="https://paraxial.io/?utm_source=thinkingelixir&amp;utm_campaign=thinkingelixir-oct2025">Paraxial.io</a>: <a rel="nofollow" href="https://paraxial.io/?utm_source=thinkingelixir&amp;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.</a></li></ul>]]>
  </itunes:summary>
</item>
  </channel>
</rss>
