List of videos

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ "In this talk, I will present Libretto, a Scala DSL that is concurrent by default, with no notion of a thread. The goal is for causal dependence to be the only form of sequencing. Everything else is automatically concurrent—no need to manage concurrency manually. Session types facilitate safe interaction between parts of the program, while linear types ensure resource safety. We will see that concurrent programming can be made as seamless as sequential programming is today" 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 ✨ Combined with an effect system based on abilities, Unison solves many common problems in a novel way. From editing code and publishing libraries, through avoiding dependency hell and implementing dependency injection, to running distributed computations in the cloud. Let's take a whirlwind tour of Unison, writing some Unison code along the way! 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

Discover Functional Females: a community for Females in Functional Programming to collaborate, pursue connection and seek support. 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

In Michał's practice throughout the years, too often, young programmers (up to 10 years of experience) concentrate on implementation details of their language/framework of choice rather than on larger principles because that’s what they see in tutorials and in documentation most of the time. That results in a skewed perspective on programming. Contrast that with the field of classical music, where students practice with tutors from the youngest years. A famous composer and pianist, Robert Schumann, wrote Rules for Young Musicians, presenting non-trivial observations students should pursue and discuss with their tutors. In the talk, Michał Moroz proposes that we can improve our industry by adopting a similar perspective. This talk encourages everyone experienced to write down rules, discuss them with others and pass non-obvious knowledge in a form that a young programmer can explore with a more experienced programmer as a guide. 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

GRiSP is a software stack the allows to run the standard Erlang VM and all it’s languages directly on hardware. For a faster start the GRiSP2 board is being build. This year several new things will land, new hardwares, a SaaS which integrates GRiSP and mor but that wouldn’t fit a lightning talk. 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

A short explanation of how the unique properties of the Erlang VM allow for building CQRS/eventsourcing read-optimised applications Join us for next Lambda Days! Check details: 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://mastodon.social/@codesync

Learn about a lawful framework for solving large optimization and "missing information" problems. 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

A lightning talk by Conor Hoekstra, Research Scientist, NVIDIA Conor (he/him) is a Research Scientist at NVIDIA working on array programming models and languages. He is extremely passionate about programming languages, algorithms and beautiful code. He is the founder and organizer of the Programming Languages Virtual Meetup, he has a YouTube channel and is the host of two podcasts: * Algorithms + Data Structures = Programs * ArrayCast: Podcast about Array Languages You can find all of Conor’s conference talks and podcast appearances (on other podcasts) here: https://github.com/codereport/Content 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 ✨ This talk presents three apparently different situations: protocol evolution, flexible data generation, and modular applications. In each case, the main concern is how the code can be easily wired and rewired. It turns out that a simple idea, building a list of functions and values, can help us solve those challenges and is implemented with a suite of libraries 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