Lambda Days
@lambdadays.bsky.social
Your favourite Functional Programming conference is here 🥳
Mark your calendars for 2026: 11-12 June
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Mark your calendars for 2026: 11-12 June
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure 🔥
Reposted by Lambda Days
🔹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!
@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!
April 29, 2025 at 8:02 AM
🔹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!
@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
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
June 26, 2025 at 10:30 AM
🚨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
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:
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
June 25, 2025 at 2:30 PM
⚡️ #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:
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
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
June 23, 2025 at 10:05 AM
🎥 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
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
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
June 18, 2025 at 3:05 PM
🎥 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
From LLMs to symbolic tools - can AI become a true co-author in math?
📺 Watch here: youtu.be/rLr6VCLlq64
#LambdaDays #AI #TheoremProving #FunctionalProgramming
Reposted by Lambda Days
Reposted by Lambda Days
Both #GleamLang talks at #LambdaDays were super well prepared, really nice to see!
June 13, 2025 at 9:45 AM
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 🐲
June 13, 2025 at 3:08 PM
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 🔥
June 13, 2025 at 2:40 PM
We're wrapping up the conference with keynote talk by Romain Michon 🔥
Reposted by Lambda Days
Robotics and computing by Natalia Chechina 🙌🙌🙌👏@erlangsolutions.bsky.social at @lambdadays.bsky.social
June 13, 2025 at 12:40 PM
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 🤓
June 13, 2025 at 1:31 PM
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 💜
We appreciate your ongoing support, Standard Chartered, @erlangsolutions.bsky.social and @ahrefs.bsky.social 💜
June 13, 2025 at 9:57 AM
Time to thank our sponsors that made this event possible 👏
We appreciate your ongoing support, Standard Chartered, @erlangsolutions.bsky.social and @ahrefs.bsky.social 💜
We appreciate your ongoing support, Standard Chartered, @erlangsolutions.bsky.social and @ahrefs.bsky.social 💜
Reposted by Lambda Days
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. 🤖
June 13, 2025 at 9:49 AM
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. 🤖
Reposted by Lambda Days
June 13, 2025 at 8:43 AM
Reposted by Lambda Days
Martin Odersky's Keynote on Lambda Days, Krakow, Poland. #scala #functionalprogramming
June 13, 2025 at 7:23 AM
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.
June 13, 2025 at 9:11 AM
We learned how to learn, now it's time to mingle! Enjoy your coffee break and get ready for next round of inspiring talks.
Reposted by Lambda Days
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
🔜 Panel discussion: Learning How to Learn
and Lightning talks ⚡️
#lambdadays @scala-lang.org #scalalang
June 13, 2025 at 7:52 AM
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
🔜 Panel discussion: Learning How to Learn
and Lightning talks ⚡️
#lambdadays @scala-lang.org #scalalang
Reposted by Lambda Days
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!
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!
June 13, 2025 at 7:09 AM
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!
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!
Reposted by Lambda Days
Heading out to Cracow for #LambdaDays Any other #FSharp people attending?
June 11, 2025 at 12:49 PM
Heading out to Cracow for #LambdaDays Any other #FSharp people attending?
Reposted by Lambda Days
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
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
June 12, 2025 at 10:51 AM
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
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
Reposted by Lambda Days
Reposted by Lambda Days
Had the pleasure to give a keynote about mathematical discovery and AI today at #lambdadays in lovely Krakow.
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
#lambdadays
June 12, 2025 at 2:25 PM
Had the pleasure to give a keynote about mathematical discovery and AI today at #lambdadays in lovely Krakow.
Reposted by Lambda Days
