Deterministic Simulation (with Stevan)

Dead Code

Content provided by Jared Norman. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Jared Norman or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://staging.podcastplayer.com/legal.

28d ago 28:27

MP3•Episode home

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:

Let it crash philosophy

Dead Code Podcast Links:

Mastodon

Jared’s Links:

Mastodon

twitch.tv/jardonamron

Jared’s Newsletter & Website

Episode Transcript

Hosted on Acast. See acast.com/privacy for more information.

45 episodes

#Tech #Jared Norman #Software Development #Programming #Software Engineering #Software #Computer Science