✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Towards Clearly Defined Doubt and Uncertainty: Probabilistic Design-Time Modelling for a Real-Time Globally Distributed Blockchain Much effort is spent building software that can NEVER work because its basic design requirements are contradictory, poorly defined, or simply not understood. No amount of software engineering effort will ever overcome these fundamental limitations. Ensuring quality & performance is especially problematic. Our contention, backed by substantial industrial experience (including Vodafone & the Broadband Forum), is that good functional programming principles and practices, including compositionally (of probabilistic models), separation of concerns & strong semantics can be hugely beneficial in designing as well as developing such systems. The talk describes the ΔQSD metrics-based, quality-centric design methodology and workbench and show how it was used to develop a successful real-time globally distributed blockchain network implementation (Cardano) in Haskell. Let's keep in touch! Follow us on: 💥Twitter: https://twitter.com/LambdaDays 💥LinkedIn: https://www.linkedin.com/company/lambda-days 💥Facebook: https://www.facebook.com/lambdadays 💥Mastodon: https://genserver.social/codesync