Lambda Days

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...

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

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...

🔹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

#LambdaDays 2025 - Ruby on Rails

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 🤓

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. #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

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.

Evan On Killing

🔥

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!

.@lambdadays.bsky.social 2025 is underway! ⚡️ We're all set up and ready, so stop by our booth and chat with the team about the latest developments in Erlang and Elixir, get the inside scoop on our latest projects and take on our challenges to win some prizes! 🏅 See you there! 👋

#LambdaDays 2025

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

Pick your track! As always, we're giving you lots of incredible talks to choose from. But don't worry if some that you're interested in overlap - after the conference you get access to all recorded presentations. #lambdadays

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

Curious about #Clojure and #Datomic ? Follow 3 lovely lambda ladies today who will yap about .clj @lambdadays.bsky.social #womenintech #FUNctionalladies #Womenwhocode

Thanks to our amazing volunteers, the venue is all ready for tomorrow! See you soon. P.S. Don't forget to check the event app (works in the browser too), all the details are in your welcome email.

Thank you everyone that joined today and see you tomorrow!

Where academia meets industry and functional programming meets the future: @lambdadays.bsky.social Highlights include: 💬 Functional programming in robotics – N. Chechina 💬 You don't need an ORM – @giacomocavalieri.me 💬 Testing functional UIs – @hayleigh.dev 🔗 www.lambdadays.org/lambdadays2025

🧭 Coming to #Lambda Days? We’ve got a handy Attendee Guide with local tips: where to eat, drink, chill, and explore in #Krakow! 👉https://ow.ly/P95M50VPxVn

Can’t wait for @lambdadays.bsky.social next week! If you spot me, come say hi—let’s geek out about Scala, functional programming, lichess-org, or literally anything that pops into your head. Let’s make it fun! 🎉

We’ve already launched the Lambda Days app on SwapCard! Check out this quick screen recording to see what it looks like. If you’re registered, you’ll get an invite by email. See you there (and in the app)! 👋 #LambdaDays #SwapCard

Shout-out to our amazing partner Women in Technology Poland 💜 They connect, support, and uplift women in IT across Poland - and we’re proud to have them with us at #LambdaDays 2025! 👉 womenintechnology.pl

☕ Java 21 + Vert.x + RxJava = not bad? Thomas Gebert shares how modern #Java features finally made him stop complaining - and start enjoying concurrency, kinda. 🗓 Lambda Days 2025 · Krakow 🌐 www.lambdadays.org

From global classrooms to real-time games - #FunctionalProgramming scales. Hear from Merlin Pahic (#Kotlin + #eventsourcing for offline-first apps) and @ghostdogpr.bsky.social‬ (#Scala + millions of players in CookieRun: Kingdom). 🗓 Lambda Days 2025 🌐 www.lambdadays.org

Code that rewrites itself? 🌀 Dave Kimber presents #Autology, a self-rewriting #Lisp for #metaprogramming on another level. Written in #Clojure, powered by wild ideas. 🗓 Lambda Days 2025 · Krakow 🌐 www.lambdadays.org

"If it compiles, it works" - for #infrastructure too? Łukasz Biały explores how #algebraic laws and #FunctionalProgramming shape modern infra with #Besom & #Yaga. 🗓 Lambda Days 2025 · Krakow 🌐 www.lambdadays.org

Drowning in nulls & side effects? Haemin’s talk shows how FP turns chaos into clean, composable code. No fluff, just startup-tested hacks. ⏳ Regular sale ends today — grab your ticket! lambdadays.org

Dynamic, #functional & ready for the real world 💥 @lambduhhh.bsky.social‬ shows how #Clojure + #Datomic handle complex systems with surprising ease. Still doubting #dynamic typing in FP? Think again! 🟣💛 🎥 Hear it from Jordan + grab your ticket: lambdadays.org

Profunctors for UI? Eryk Ciepiela shows how #CategoryTheory concepts can power fully #declarative, composable user interfaces in #PureScript. 📅 12–13 June 2025 in Krakow 🌐 www.lambdadays.org