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...
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...
If you want to know what Evan Czaplicki is up to these days, check his presentation from June '25 at Lambda Days: youtu.be/YPAaUFGrlEE?...
🔹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:
🎥 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
Thanks for joining this year 🫶 And see you in 2026 🔥
#LambdaDays 2025 - Ruby on Rails
Both #GleamLang talks at #LambdaDays were super well prepared, really nice to see!
... just checking if you're actually reading posts 🥸
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 🤓
Don't miss the third one with @hayleigh.dev soon!
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. 🤖
#LambdaDays 2025
Panel Discussion: Learning how to learn
Martin Odersky's Keynote on Lambda Days, Krakow, Poland.
Martin Odersky's Keynote on Lambda Days, Krakow, Poland. #scala #functionalprogramming
We learned how to learn, now it's time to mingle! Enjoy your coffee break and get ready for next round of inspiring talks.
#LambdaDays 2025
#Scala
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
Laptop with a slide deck
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
#LambdaDays 2025
#elm
Had the pleasure to give a keynote about mathematical discovery and AI today at #lambdadays in lovely Krakow.
