When we started the project, we expected it to be a Go, Rust or even Node project. Instead, we landed with Elixir. Here is why and how we made that decision.

With Elixir v1.20, we have completed our first development milestone which is to perform type inference and gradually type check every Elixir program, without introducing type annotations. This means Elixir increasingly reports dead code and verified bugs: typing violations that are guaranteed to fail at runtime if executed. Elixir can find verified bugs in existing programs efficiently, without introducing developer overhead, and with an extremely low false positives rate.

re:AMP is a fast, flexible, high-fidelity music player for macOS X, fully written in Swift.

https://re-amp.ru

This concept envisioned a computer that would expand with the needs of the user, through the use of modular components

https://512pixels.net/2024/03/apple-jonathan-modular-concept/