This is a two-part talk from Gleam Gathering 2026. The first part explores how technical skills can help shed light on real-world societal problems — using surtoget.no as a case study on the chronic delays of Norway's Sørlandsbanen. The second part dives into how Gleam's type system can be used to drive correctness and make invalid states unrepresentable.
Slides: speakerdeck.com
