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 José Valim - creator of Elixir - discusses Livebook, a computational notebook platform for Elixir: the challenges and opportunities in implementing computational notebooks for a functional language, and how we can enrich a programming environment once we have rich visualizations and interactivity available.

Ever since Girard came up with linear logic back in the 1980s, computer scientists have been trying to figure out how to bring the idea of linearity into the realm of programming languages in order to demonstrate benefits in the real world. Nowadays, there are enough languages starting to take inspiration from linear logic to make your head spin; whether it's linear types in Haskell, uniqueness types in Clean, quantitative types in Idris, or the ownership system in Rust, there seems to be a different approach for everyone - but which is right for you? In this talk, we'll take a whirlwind tour through the design space. I'll explain the strengths and weaknesses of each of these ideas and show you how mixing and matching them can help to improve both safety and performance when working with resources such as file handles, mutable arrays, and communication channels, taking lessons from my ongoing work towards unifying these various concepts in our very own research language, Granule. Let's stay in touch! https://twitter.com/LambdaDays

Functional Programming in Postgresql The Timescaledb toolkit is a PostgreSQL extension that leverages the power of data analytics inside the SQL. Leveraging custom types and operators, it's possible to build functional pipelines directly in the SQL. In this talk, we'll explore functional pipelines in Postgresql using the TimescaleDB toolkit and how to build functional pipelines in Postgresql. The project is written in Rust and is also open-source. The idea is also to give a small intro to the project structure to encourage more functional developers to jump in and contribute!

Have you ever wondered how your editors and IDEs are able to support so many programming languages? Perhaps you've been thinking about designing your own language and wanted to know how you can give it editor support? This talk is for you - Jakub has spent over a year building a small language and integrating it with code editors, and in this talk he shares some of the challenges he has faced, as well as lessons he's learned in that time. Jakub also shows how easy it is to build a new Language Server project in Scala 3 thanks to the Langoustine library. 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

10th edition of Lambda Days was amazing! See for yourself, and join as at our next conference: https://lambdadays.org ✨✨✨ Jordan Miller is an autodidact, a she/her, a modern dev, a dev for the millennium. She enjoys cats, clojure(script) and community building. Sometimes known by her online pseudonym "Lambduhh" she is a Cognitect sponsored content creator, podcast host, conference speaker and organizer (and soon to be author!) She resides in sunny Sarasota, FL where you may catch her spinning fire hoop, doing aerial dance, practicing circus arts or inspiring others by producing instructional technical content on multiple platforms. ✨✨✨ 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 ✨ 🎶Creating software is like composing a symphony, Every note a line of code and every abstraction a harmony. Layering instruments and sounds, we carefully craft our piece, Adding in features that bring our work to life and (hopefully) prod release. But the right command we must click to create a unified sound, or else we try to put it all together but no rhythm will be found🎶 As software composers, when we create documentation arrangements to guide others in performing our piece our job becomes significantly easier and our prose becomes much more effective if we begin by considering our users' interests, needs and experience levels. This results in higher-quality documentation, blog posts and technical presentations. OBJECTIVES After this session, you will know how to compose documentation and other software artefacts that empower your audience and improve the adoption and support of your product. Slides: https://www.lambdadays.org/lambdadays2023/ 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

10th edition of Lambda Days was amazing! See for yourself, and join as at our next conference: https://lambdadays.org ✨✨✨ First impression about Lambda Days? "It's very technical and not a sales pitch for a particular tooling". See what else Kimberley Huizing thought about the event! And make sure you join us in 2024! 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

✨This talk was recorded at Lambda Days 2023. If you're curious about our upcoming event, check https://lambdadays.org ✨ The world's most widely used programming language, Excel, is now Turing complete. A multi-year collaboration between product and research teams has brought pure functional programming to spreadsheets. In this talk, we will cover this journey and its challenges, as well as demonstrating some of the amazing new capabilities of spreadsheets - powered by functional programming. For us, this journey is only getting started. We will show some of the exciting new research ideas we are continuing to explore in collaboration the Excel team. 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 ✨ Conor Hoekstra, Research Scientist, NVIDIA: Most people think of function composition as composing two unary functions together (the B combinator). However, this is only the tip of the proverbial "function composition" iceberg. This talk will be both an introduction and an overview of the world of combinatory logic and combinators. If you have ever wondered what the S, Phi, Psi, or B1 combinators are and why they are so useful, this is the talk for you. And even if you have never wondered that - I promise this talk will be worth your time. It will expand the limits of what you thought was possible with programming languages and give you the tools and knowledge to use combinators in your choice of programming 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