我不是化妝品
This is article contains excerpts from my keynotes at ElixirConf Europe 2022 and ElixirConf US 2022. In May 2022, we have celebrated 10 years since Elixir v0.5, the first public release of Elixir, was…
Welcome to our series of case studies about companies using Elixir in production. See all cases we have published so far. SparkMeter is a company on a mission to increase access to electricity. They o…
A year ago, at ElixirConf EU 2022, we announced an effort to research and develop a type system for Elixir (video presentation) (written report). This work is happening under the lead of Giuseppe Cast…
Elixir v1.16 has just been released. 🎉 The Elixir team continues improving the developer experience via tooling, documentation, and precise feedback, while keeping the language stable and compatible. …
Elixir v1.17 has just been released. 🎉 This release introduces set-theoretic types into a handful of language constructs. While there are still many steps ahead of us, this important milestone already…
We have been working on a type system for the Elixir programming language. The type system provides sound gradual typing: it can safely interface static and dynamic code, and if the program type check…
Welcome to our series of case studies about companies using Elixir in production. Remote is the everywhere employment platform enabling companies to find, hire, manage, and pay people anywhere across …
How do you coordinate visual fidelity across two hundred cameras for a live event like the Super Bowl? The answer is: by using the craft of camera shading, which involves adjusting each camera to ensu…
Update: Our first Global Elixir Meetups was a success with 46 meetups spread across six continents. Thanks to everyone who organized and attended. See you next time! We are launching Global Elixir Mee…
Elixir v1.19 brings further improvements to the type system and compilation times, allowing us to find more bugs, faster. Type system improvements This release improves the type system by adding type …
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 const…
In a previous article, we discussed how Elixir changed its set-theoretic types representation from Disjunctive Normal Forms (DNFs) to Lazy Binary Decision Diagrams (Lazy BDDs). In a nutshell, DNFs all…
The Elixir team and the CNRS are working on a set-theoretic type system for Elixir which, simply put, is a type-system powered by unions, intersections, and negations. As part of the implementation of…
The Erlang Virtual Machine has, historically, provided three main options for interoperability with other languages and ecosystems, with different degrees of isolation: NIFs (Native Implemented Functi…
Dashbit, Oban, and the Erlang Ecosystem Foundation (EEF) are glad to announce a new program, which we will trial over the next 12 months, called “Elixir Outreach”. Our goal is to provide funds to comm…
We are pleased to share that the Elixir project now complies with OpenChain (ISO/IEC 5230), an international standard for open source license compliance. This step aligns with broader efforts to meet …
Elixir v1.18 is an impressive release with improvements across the two main efforts happening within the Elixir ecosystem right now: set-theoretic types and language servers. It also comes with built-…
Update: the new language server is called Expert and is currently available in alpha as open source. Companies wanting to directly sponsor work on Expert, please reach out to Dan Janowski from the Erl…
Welcome to our series of case studies about companies using Elixir in production. Veeps is a streaming service that offers direct access to live and on-demand events by award-winning artists at the mo…
This is article expands on the topic of gradual set-theoretic typing discussed during my keynote at ElixirConf US 2023. There is an on-going effort to research and develop a type system for Elixir, le…