
Sign up to save your podcasts
Or
In this episode of Dead Code, Jared talks with Stevan about building reliable distributed systems using Erlang-inspired design patterns. Stevan shares how his background in functional programming and formal verification led him to simulation testing—a deterministic approach to testing distributed systems that avoids the flakiness of traditional CI environments. He emphasizes that Erlang’s true innovation lies not in lightweight processes, but in its structured behaviors (like gen_server and supervisor), which make systems easier to reason about, test, and verify. These behaviors support a more disciplined approach to concurrency, enabling reproducible fault injection and better simulation frameworks. Stevan advocates for programming languages that natively support deterministic testing and model checking, suggesting that the future of distributed systems lies in building on these structured, verifiable foundations.
Links:
Stevan’s Blog
Erlang
Elixir
Agda
Idris
TLA+
Roc
Jepsen
Antithesis
BEAM
Let it crash philosophy
Dead Code Podcast Links:
Mastodon
X
Jared’s Links:
Mastodon
X
twitch.tv/jardonamron
Jared’s Newsletter & Website
Episode Transcript
Hosted on Acast. See acast.com/privacy for more information.
In this episode of Dead Code, Jared talks with Stevan about building reliable distributed systems using Erlang-inspired design patterns. Stevan shares how his background in functional programming and formal verification led him to simulation testing—a deterministic approach to testing distributed systems that avoids the flakiness of traditional CI environments. He emphasizes that Erlang’s true innovation lies not in lightweight processes, but in its structured behaviors (like gen_server and supervisor), which make systems easier to reason about, test, and verify. These behaviors support a more disciplined approach to concurrency, enabling reproducible fault injection and better simulation frameworks. Stevan advocates for programming languages that natively support deterministic testing and model checking, suggesting that the future of distributed systems lies in building on these structured, verifiable foundations.
Links:
Stevan’s Blog
Erlang
Elixir
Agda
Idris
TLA+
Roc
Jepsen
Antithesis
BEAM
Let it crash philosophy
Dead Code Podcast Links:
Mastodon
X
Jared’s Links:
Mastodon
X
twitch.tv/jardonamron
Jared’s Newsletter & Website
Episode Transcript
Hosted on Acast. See acast.com/privacy for more information.