Elixir v1.20 has officially landed, marking a huge milestone as the language is now officially a gradually typed language, type checking every single line of code without requiring developer annotations, and even prompting some developers to drop Dialyzer entirely. HexDocs is rolling out per-package subdomains for improved browser security isolation, the Erlang Ecosystem Foundation has launched an Ecosystem Registry to help answer "who uses this?" for Erlang, Elixir, and Gleam companies, and the Lua library for Elixir is approaching its v1.0 release with a brand new pure-Elixir Lua 5.3 VM. On the security front, a sophisticated self-replicating worm called Miasma compromised 73 Microsoft GitHub repos by exploiting legitimate OIDC tokens and valid SLSA provenance, even weaponizing AI coding tools like Claude Code and Cursor, raising fresh questions about supply chain safety and whether Hex might benefit from a cooldown mechanism like the one Ruby just shipped, and more!

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://x.com/josevalim/status/2062248428898254957 – José Valim announced the release of Elixir v1.20, highlighting it as now officially a gradually typed language.
https://elixir-lang.org/blog/2026/06/03/elixir-v1-20-0-released/ – Official Elixir v1.20.0 release announcement
https://bsky.app/profile/david.bernheisel.com/post/3mnkuwjup6c2g – David removing Dialyzer from a project
https://x.com/TheErlef/status/2061525571226554684 – The Erlang Ecosystem Foundation announced the new HexDocs per-package subdomain URLs.
https://hex.pm/blog/hexdocs-per-package-subdomains
https://x.com/davydog187/status/2061938751257911316 – Dave Lucia announced the Lua library v1.0.0 RC
https://x.com/davydog187/status/2062540335679422641 – Dave Lucia announced deflua.com
https://deflua.com/ – The official website for Lua
https://marketing.erlef.org/news/registry-announce.html – The Erlang Ecosystem Foundation announced the new Ecosystem Registry for companies
https://registry.erlef.org/ – The ERLEF Ecosystem Registry
https://x.com/gleamlang/status/2061800462530076748 – Gleam announced the release of version 1.17.0.
https://gleam.run/news/single-file-gleam-beam-programs-with-escript/ – Gleam 1.17.0 release notes
https://x.com/codebeamio/status/2065089786675601785 – Code BEAM Europe 2026 speakers have been announced.
https://codebeameurope.com/#speakers – The Code BEAM Europe 2026 speakers lineup and talk topics.
https://github.com/microsoft/pg_durable – Microsoft's pg_durable GitHub repo
https://microsoft.github.io/pg_durable/ – Official documentation site for Microsoft's pg_durable Postgres extension.
https://blog.rubygems.org/2026/06/03/cooldown-let-new-gems-be-vetted.html – Bundler's new cooldown feature
https://linuxiac.com/arch-linux-aur-malware-campaign-hits-multiple-user-contributed-packages/ – Malware campaign affecting over 400 Arch Linux AUR packages
https://cloudsmith.com/blog/miasma-worms-path-of-destruction – Cloudsmith's detailed write-up on the Miasma self-replicating malware worm
https://www.microsoft.com/en-us/security/blog/2026/06/02/preinstall-persistence-inside-red-hat-npm-miasma-credential-stealing-campaign/ – Microsoft Security's blog post on the Miasma campaign

308: Elixir Goes Gradually Typed

Thinking Elixir Podcast

308: Elixir Goes Gradually Typed