Skip to content

Accept All すべて承認

Elixir

25 stories

ElixirLanguagesElixir v1.20 released: now a gradually typed language From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.

ElixirLanguagesLazy BDDs with eager literal differences This is a follow up to our batch of set-theoretic types optimizations, this time targeting differences.

ElixirLanguagesLazy BDDs with eager literal intersections This article explores the latest batch of optimizations we did to set-theoretic types and their representation.

ElixirLanguagesType inference of all constructs and the next 15 months Today we celebrate 15 years since Elixir's first commit! To mark the occasion, we are glad to announce the first release candidate for Elixir v1.20, which performs type inference of all language…

ElixirLanguagesLazier Binary Decision Diagrams (BDDs) for set-theoretic types This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them.

ElixirLanguagesElixir v1.19 released: enhanced type checking and up to 4x faster compilation for large projects Elixir v1.19 released: type checking of protocols and anonymous functions, broader type inference, improved compile times, and more.

ElixirLanguagesInteroperability in 2025: beyond the Erlang VM We explore the mechanisms for interoperability and portability between Elixir, other programming languages, and runtimes.

ElixirLanguagesTake part in the Global Elixir Meetups week We are launching Global Elixir Meetups - a week where the Elixir community organizes meetups around the world to meet, learn from each other, and discuss everything related to Elixir and the Erlang…

ElixirLanguagesElixir Outreach stipend for speakers and trainers We announce the Elixir Outreach stipend in partnership with Dashbit, Oban, and the Erlang Ecosystem Foundation.

ElixirLanguagesCyanview: Coordinating Super Bowl's visual fidelity with Elixir A case study of how Elixir is being used at Cyanview.

ElixirLanguagesAnnouncing Elixir OpenChain Certification The Elixir project now meets OpenChain (ISO/IEC 5230). Each release ships with Source SBoMs in CycloneDX 1.6 and SPDX 2.3, plus attestation.

ElixirLanguagesRemote: growing from zero to unicorn with Elixir A case study of how Elixir is being used at Remote.

ElixirLanguagesElixir v1.18 released: type checking of calls, LSP listeners, built-in JSON, and more Elixir v1.18 released: type checking of function calls, Language Server listeners, built-in JSON, ExUnit improvements, mix format --migrate, and more.

ElixirLanguagesTyping lists and tuples in Elixir This article explores the design decisions of typing lists and tuples in Elixir within a sound gradual type system.

ElixirLanguagesAnnouncing the official Elixir Language Server team Announcing the official Elixir Language Server team to work on the code intelligence infrastructure to be used across tools and editors.

ElixirLanguagesElixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 support Elixir v1.17 released: set-theoretic data types, calendar durations, and Erlang/OTP 27 support.

ElixirLanguagesScaling a streaming service to hundreds of thousands of concurrent viewers at Veeps A case study of how Elixir is being used at Veeps.

ElixirLanguagesElixir v1.16 released Elixir v1.16 released with compiler diagnostics and extensive documentation.

ElixirLanguagesStrong arrows: a new approach to gradual typing An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.

ElixirLanguagesType system updates: moving from research into development A short status update on the effort to bring a type system into Elixir.

ElixirLanguagesElixir v1.15 released Elixir v1.15 with improvements to compilation and boot times.

ElixirLanguagesEmbedded and cloud Elixir for grid-management at Sparkmeter A case study of how Elixir is being used at SparkMeter.

ElixirLanguagesCheatsheets and 7 other ExDoc features that improve the developer experience This post explains the motivation behind the new ExDoc Cheatsheet feature. It also highlights other ExDoc features that show how ExDoc has been evolving to make the documentation experience in Elixir…

ElixirLanguagesMy Future with Elixir: set-theoretic types We announce and explore the possibilities for bringing set-theoretic types into Elixir.

On the calendar

予定 · Conferences and launch events, this week's stories from each corner of the industry, and what its press is covering — in English

On view

This week, from that corner the newest stories from the corner of the industry you picked

The wire their own posts, translated

How code moves in 2026 from the industry's own reports

Sources

Fetched every six hours, linked to the original

About

The name is the button.

An agent writes the code now, and a human thumb hovers over Accept all a hundred times a day. The honest question of this decade is what, exactly, you just accepted. So I read the diff.

Eight years as a backend engineer in Stockholm, back in Tokyo since 2023, and I still ship something small most nights, usually badly. My one rule: the only real review of a model is the thing you built with it. That is why there is no leaderboard on this site.

Around a hundred and forty sources come through — the labs' own posts, the papers, the tools, the runtimes and languages nobody is watching yet, the chip under the demo, and the newsletters people actually forward. What is moving gets counted so the week reads at a glance, and every few days I explain one mechanism in plain words.

A story here is a headline, a short excerpt, one image and the link to whoever wrote it. We never reproduce the post; the images belong to their authors. A post written in Japanese appears in Japanese, exactly as it was published, and the link goes to the original.

— Yuki Halvorsen, Tokyo