Lambda Days
@lambdadays.bsky.social
Lambda Days is taking a break in 2026. Your favourite Functional Programming conference is here 🥳 2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
We're on a break this year, but there are still many great gatherings to attend, such as #Lambda World, which is colocated with two other #tech conferences near Málaga! Take your friends and spend those few October days where it's still warm! Call for Papers open until 31.03.26! lambda.world
We have some bittersweet news: Lambda Days will take a break in 2026. But - we’re releasing something special 💛 🎥 All Lambda Days 2025 talk recordings are now public! 👉 youtube.com/playlist?lis...
Lambda Days 2025 - YouTube
youtube.com
In case you would run out of YouTube content to watch, two of my talks are now publicly available: "What is Functional Programming?" from @lambdadays.bsky.social www.youtube.com/watch?v=pnZS...
What is Functional Programming? - Adam Warski | Lambda Days 2025
YouTube video by Code Sync
youtube.com
🔹Giacomo Cavalieri & Isaac Harris-Holt: Talks on #Gleam at Lambda Days 2025🔹 @giacomocavalieri.me dives into #Squirrel, a Gleam library for #type-safe #database access, while @ihh.dev explains how Gleam can simplify #backend architecture. 🎟️ Don't miss their talks on the Lambda Days agenda!
🚨NEW VIDEO! If your Thursday’s dragging a bit, here’s something to shake it up ⚡ Martin Odersky, the creator of #Scala, dives into making capabilities #safe and convenient, with some very cool Scala features along the way. 📺 Watch the talk: youtu.be/CJ19_h5cECY
⚡️ #LightningTalks 2025 recordings are here! 7 bite-sized talks packed with quirky ideas, experimental projects, and #functional fun - from #Gleam to gaming, #Unison to unusual use cases. Perfect if you’ve only got a few minutes but still want to get inspired. 📺 Watch now:
Lambda Days 2025
Share your videos with friends, family, and the world
youtube.com
🎥 Start the week with a new Keynote video from #LambdaDays! Evan Czaplicki, creator of #Elm, shares ideas on how we really get #functional languages adopted in industry: from business concerns to collaboration across the stack. 💡 Watch “Rethinking our Adoption Strategy”: youtu.be/YPAaUFGrlEE
🎥 Just dropped: Moa Johansson’s Lambda Days keynote on AI for mathematical discovery! From LLMs to symbolic tools - can AI become a true co-author in math? 📺 Watch here: youtu.be/rLr6VCLlq64 #LambdaDays #AI #TheoremProving #FunctionalProgramming
Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods - Moa Johansson |Lambda Days 25
✨ This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ✨Keynote: AI for Mathematical...
youtu.be
Both #GleamLang talks at #LambdaDays were super well prepared, really nice to see!
Thanks for joining us for Lambda Days 2024 💜 Mark your calendars and and see you next year 🐲
We're wrapping up the conference with keynote talk by Romain Michon 🔥
Robotics and computing by Natalia Chechina 🙌🙌🙌👏@erlangsolutions.bsky.social at @lambdadays.bsky.social
Congrats to all the winners 🐉 Hope you had fun with the puzzle 🤓
Joanna Wrona@jowro.bsky.social · last yr.@lambdadays.bsky.social And the winner is … 🥁🥁🥁🥁
Time to thank our sponsors that made this event possible 👏 We appreciate your ongoing support, Standard Chartered, @erlangsolutions.bsky.social and @ahrefs.bsky.social 💜
It’s day two at @lambdadays.bsky.social and our very own Natalia Chechina is speaking at 14:20 local time! Come along to 'Functional programming in robotics' to explore how robots could benefit from modern functional programming and distributed systems thinking. 🤖
We learned how to learn, now it's time to mingle! Enjoy your coffee break and get ready for next round of inspiring talks.
Starting day 2 with Martin Odersky, the creator of Scala himself 🙌 🔜 Panel discussion: Learning How to Learn and Lightning talks ⚡️ #lambdadays @scala-lang.org #scalalang
Good morning @lambdadays.bsky.social! Today, together with @michal.pawlik.dev, we will go through the history of Scala: there will monads, transformers, actors, singers and the meaning of being in a startup! Come coin us in Track 2 @13:30!
Heading out to Cracow for #LambdaDays Any other #FSharp people attending?
Should we rename Lambda Days to Dragon Fest? 🤔 Check @erlangsolutions.bsky.social stand to see how you can win one of the brick dragons 🐉 Or make yourself one - origami instructions and paper are waiting for you downstairs. #lambdadays
Had the pleasure to give a keynote about mathematical discovery and AI today at #lambdadays in lovely Krakow.
Lambda Days@lambdadays.bsky.social · last yr.Day 1 is 🔛! We're finishing first keynote, coffee is flowing and the venue is buzzing with all the tech gossip (a.k.a. networking) 💜 #lambdadays
Evan Czaplicki is wrapping up the talks part of the day with his presentation about language adoption. Next stop ➡️ afterparty 🎉 #lambdadays #elm
Talks are great but don't forget about the hallway track (a.k.a. gossiping and geeking out with friends and new people). Grab a coffee and enjoy being part of this amazing community!
