Elixir Lang elixir-lang.org

Lazy BDDs with eager literal differences

elixir-lang.org·7w·Hacker News

Lazy BDDs with eager literal intersections

elixir-lang.org·10w·Lobsters, Hacker News, r/programming

Type inference of all constructs and the next 15 months

elixir-lang.org·17w·Lobsters, Hacker News

Lazier Binary Decision Diagrams (BDDs) for set-theoretic types

elixir-lang.org·23w

Elixir v1.19 released: enhanced type checking and up to 4x faster compilation for large projects

elixir-lang.org·29w

Interoperability in 2025: beyond the Erlang VM

elixir-lang.org·38w

Take part in the Global Elixir Meetups week

elixir-lang.org·40w

Elixir Outreach stipend for speakers and trainers

elixir-lang.org·49w

Cyanview: Coordinating Super Bowl’s visual fidelity with Elixir

elixir-lang.org·59w

Announcing Elixir OpenChain Certification

elixir-lang.org·62w

Remote: growing from zero to unicorn with Elixir

elixir-lang.org·68w

Elixir v1.18 released: type checking of calls, LSP listeners, built-in JSON, and more

elixir-lang.org·72w

Typing lists and tuples in Elixir

elixir-lang.org·88w

Announcing the official Elixir Language Server team

elixir-lang.org·90w

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

elixir-lang.org·99w

Scaling a streaming service to hundreds of thousands of concurrent viewers at Veeps

elixir-lang.org·114w

Elixir v1.16 released

elixir-lang.org·124w

Strong arrows: a new approach to gradual typing

elixir-lang.org·137w

Type system updates: moving from research into development

elixir-lang.org·150w

Elixir v1.15 released

elixir-lang.org·151w

Log in to enable infinite scrolling