List of videos

Less Arbitrary waiting time | Michał J. Gajda | Scientist and developer ABSTRACT Property testing is the cheapest and most precise way of building up a test suite for your program. Especially if the datatypes enjoy nice mathematical laws. But it is also the easiest way to make it run for an unreasonably long time. We prove a connection between deeply recursive data structures, and epidemic growth rate, and show how to fix the problem, and make Arbitrary instances run in linear time with respect to the assumed test size. We also provide a fully generic implementation, so the error-prone coding process is removed. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Code Sync conference near you! See what’s coming up at: https://codesync.global • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw

Lambda Days 2023 - 5-6 June | Kraków | Poland For nearly a decade, Lambda Days have brought the functional programming worlds of academia and industry together. The collision of practical application and research has offered an exciting fresh approach, regardless of your level of expertise. This year, we’re celebrating our 10th anniversary and we want to make it special. Whether you’re new to Lambda Days or you are one of the many friendly faces we see regularly at our events, we look forward to celebrating with you. Come to beautiful, sunny Krakow for Lambda Days to find out what is possible with functional programming - explore the latest in battle-tested Scala, Erlang and Haskell, experience the energy that F# and Elixir bring to the table, connect with the innovators working with Elm, Luna and Ocaml and see what will come next! https://www.lambdadays.org/

Keynote talk by Simon Peyton Jones and Tim Sweeney from Epic Games. Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell, Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and much more besides. In this talk we'll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Although delimited continuations are not a new idea, they have recently seen renewed interest from several programming language communities as a powerful tool for implementing schedulers and effect systems. Unfortunately, there is a major remaining obstacle to their adoption, namely that most programmers find them utterly opaque. To help fix that, this talk provides an overview of what delimited continuations are, how they work, and why they’re useful from a perspective accessible to the working programmer. 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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ Keynote: General Purpose, Generative or Foundation: how to regulate Large Language Models Over the last several months, models and programs like GPT have successfully invaded our collective imagination. This includes European politicians and regulators who have been working hard for the last 2 years on the AI Act - a new regulatory framework designed to establish a human-centered, European approach to AI. What are the main legal and societal risks posed by such programs? How has the advent of this new technology influenced the policy debate in the EU? What might a future “general purpose AI” ecosystem look like and how will it impact AI companies? Can fundamental rights and sound business regulations go hand in hand and what needs to be done to make it happen? The speech presents different stages of the legal and political debate around GPT, with special focus put on the AI Act legislative process in the EU, particularly on the challenges for fundamental rights and its potential consequences for the AI sector. 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://mastodon.social/@codesync

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ A decade ago we began organising the Lambda Days conference. Over the years of hosting a conference I have learned that it is all about the people: attendees, speakers and the crew running the event. In the keynote opening the 10th anniversary edition I review what contributes to a positive conference experience. I also discuss what were the most watched talks and what we think made them so popular. I also summarise what I have learned about functional programming, what were the most influential talks and what made me step down from chairing the programme committee to focus on teaching. I share my recent experiences of teaching in a primary school and argue why functional programming matters to kids. 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 ✨ Scalability under load. The holy grail of much of a developer's life is that our software survives its beginning. The system went live. Made it to production. Got its first user. But surely, the true test of good software is how it lives up to expectation over its lifetime? After all, you wouldn't say a bridge or building was successful just because the first 100 cars made it across safely. In other forms of engineering, things are load tested under demand either by weight, shocks or overload. As a software developer we should be ensuring SLAs or exploring error conditions under extreme load. But what is “load” in the context of software? And how do we test its many different definitions? In this talk, I will present a relationship made in heaven, the relationship between the actor model and the answer to these questions. I will also introduce you to a library that applies all this knowledge in a ready-to-use dependency.