‘Tis the Season for a Type System

News includes José Valim announcing that Elixir v1.20 is well underway with full-type inference possibly landing before the end of the year, Gleam v1.14.0-rc1 with fault tolerant type inference and language server improvements, mjml_eex v0.13.0 for creating beautiful email templates, Dashbit's new nimble_zta library for zero trust authentication extracted from Livebook, Björn Gustavsson's ElixirConf EU talk on BEAM history and internals with insights on a potential BEAM v2 runtime 5-10 years away, GoatMire conference videos being published, and more!

Show Notes online - http://podcast.thinkingelixir.com/284

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.
• Show update - podcast is now also on YouTube with images of blog posts, projects, and articles displayed during discussions
• https://nitter.net/josevalim/status/2000540145645162507 – José Valim announces Elixir v1.20 is well underway in active development
• https://github.com/elixir-lang/elixir/blob/main/CHANGELOG.md#complete-typing-of-maps-keys – Changelog showing complete typing of maps keys in Elixir v1.20
• https://github.com/elixir-lang/elixir/releases – Elixir releases page - current latest version is 1.19.4
• https://en.wikipedia.org/wiki/Set_theory – Set theory reference for understanding Elixir's type system approach
• https://en.wikipedia.org/wiki/Set-theoretic_topology – Set-theoretic topology reference
• https://bsky.app/profile/gleam.run/post/3ma3u7ta2sk2c – Gleam v1.14.0-rc1 announcement
• https://github.com/gleam-lang/gleam/blob/v1.14.0-rc1/CHANGELOG.md – Gleam v1.14.0-rc1 changelog with updates including fault tolerant type inference and language server improvements
• https://bsky.app/profile/akoutmos.bsky.social/post/3ma2rsncqtc25 – mjml_eex v0.13.0 release announcement
• https://github.com/akoutmos/mjml_eex – mjml_eex library for formatting emails using MJML and EEx
• https://github.com/akoutmos/mjml_eex/blob/master/CHANGELOG.md – mjml_eex changelog showing upgrade to MJML 5.3 and comment support
• https://mjml.io/ – MJML website for responsive email templates
• https://github.com/mjmlio/mjml – MJML GitHub repository
• https://mjmlio.github.io/mjml-app/ – MJML app for building email templates
• https://dashbit.co/blog/zero-trust-for-plug-phoenix – Dashbit blog post announcing nimble_zta for zero trust authentication
• https://github.com/dashbitco/nimble_zta – nimble_zta library with zero trust strategies for CloudFlare, Google Cloud Platform IAP, and Tailscale
• https://en.wikipedia.org/wiki/BEAM_(Erlang_virtual_machine) – BEAM virtual machine Wikipedia reference
• https://www.youtube.com/watch?v=zrYdkHRCJqM – My BEAM History - Björn Gustavsson ElixirConf EU 2025 talk covering BEAM internals
• https://goatmire.bold.video/ – GoatMire conference website with published videos
• https://www.youtube.com/@goatmireinternational – GoatMire YouTube channel
• https://www.yellowduck.be/posts/detecting-and-listing-duplicate-records-with-phoenix-ecto – Blog post with tips on detecting duplicate records using Ecto queries
• https://pixabay.com/music/christmas-christmas-show-438871/ – Credit for Christmas themed intro music

Do you have some Elixir news to share? Tell us at @ThinkingElixir or email at show@thinkingelixir.com

Find us online

• Message the show - Bluesky
• Message the show - X
• Message the show on Fediverse - @ThinkingElixir@genserver.social
• Email the show - show@thinkingelixir.com
• Mark Ericksen on X - @brainlid
• Mark Ericksen on Bluesky - @brainlid.bsky.social
• Mark Ericksen on Fediverse - @brainlid@genserver.social
• David Bernheisel on Bluesky - @david.bernheisel.com
• David Bernheisel on Fediverse - @dbern@genserver.social