List of videos

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Infrastructure as code is a problem space dominated by declarative yet not functional solutions that leave a lot to wish for. On the other hand, functional languages seem ideally positioned to support declarative yet expressive and powerful tools to manage the complexity inherent to infrastructural concerns. In my talk, I will introduce and present a purely functional Scala language SDK for Pulumi - the programming language-based alternative to Terraform. I will also show how it allows for safer abstractions and how it leverages new language features introduced in Scala 3 for a better Developer experience and improved safety. 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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Keeping real-time auctions running during rollout. From white-knuckle to continuous deployments Deploying an Elixir cluster that keeps stateful connections with the clients and manages distributed state is usually a much more challenging task than in the case of stateless services. At Whatnot, we learned this the hard way. With every deployment, there was a big risk of data inconsistencies that were very disruptive to auctions in progress. Which, of course, led to the buyers' dissatisfaction and the sellers’ financial losses. Consequently, we limited deployments to off-peak hours. In this talk, we will present a case study of how we drastically increased the reliability of our Elixir service. We did this by automatically verifying the system against most of the problems we've been experiencing in various conditions. We tested the deployments and locally simulated cases where nodes were going up and down randomly. Having included these new tests in our CI pipeline, we gained enough confidence to deploy to production after every single commit, at any time of the day. 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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Have you ever tried testing that your system fairly delivers requests to worker threads or that updates eventually reach all your nodes? These are “liveness properties” and testing them is hard work! Wouldn’t it be great if you could say roughly what your system does and what it takes for the property to hold and have the computer come up with the tests? Fortunately, QuickCheck Dynamic gives you this power! At Quviq we’ve been successfully using property-based testing since 2006 and in this talk I’m going to tell you about our recent open source extension to Haskell QuickCheck that makes it easy to test even the trickiest properties. The work I will present puts together established techniques that have previously only been available in papers and new ideas that let you give strategies for reaching the most difficult-to-test behaviours in your system. In the talk I will highlight both the principles behind and successful use cases of QuickCheck Dynamic. 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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Dependently typed programming is a green field. I want to present my experiences with Idris and how dependent types would fit into everyday programming, where proofs are not relevant but software correctness is still essential. I think dependently typed programming is not only for proof engineering. In this talk, I will present a few approaches that don't require a deep knowledge of mathematics but solve problems around software correctness. I guarantee you will understand this talk if you know how to write algebraic data types and functions in an FP language. 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

✨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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Local-first is a new paradigm for developing apps, where you code against an embedded database in the client and have reactive, real-time, multi-user sync in the background. ElectricSQL is a new, open-source, platform for local-first development that works with standard Postgres and SQLite. This talk introduces the ElectricSQL system and dives into its core replication technology, developed in Elixir. OBJECTIVES Introduce local-first software. Introduce the ElectricSQL system. Outline the challenges developing local-first software, including replication model, concurrency and consistency issues. Show how the ElectricSQL system addresses them and how to build apps with ElectricSQL. Discuss the trade-offs with the development model and the role of Erlang and Elixir in the core replication layer. 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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Anyone who has played Minecraft, The Binding of Isaac, or Diablo has experienced the wonders of procedurally-generated levels in a video game, but very few ponder of the algorithms being used to drive such innovations. In this talk, we will give a brief introduction to computer graphics in WebGL, a rundown of level generation algorithms, and explain good and bad of using ClojureScript to do it all. 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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ If you like pure FP on production - take a look at Daml. It has many faces: -it is a language for smart contracts in a zero-trust environment, -it may be called a Haskell for enterprises, -it may be called a persistence engine on a blockchain, or a tool to design a business model and prototype your application I will show the last aspect and present a sample working application - where Daml is used to model a business and Scala with ZIO for infrastructure. 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

11th edition of Lambda Days was fascinating! See for yourself, and join as at our next conference: https://lambdadays.org 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