Some #Haskell talks from #LambdaDays 2025
"Create your first Language Server in Haskell" by Arthur Jamet
youtu.be/N33Q0cmnnVg
@lambdadays.bsky.social
11
1
2
1
Hashtag
#lambdadays
Advertisement · 728 × 90
Sad to learn that there will not be a #lambdadays 2026 conference in Krakow. As a consolation, all the 2025 talks have now been published including mine: www.youtube.com/watch?v=LDln...
4
1
0
0
I'm always looking forward to Evan's keynotes. Great insight into language adoption strategy. #lambdadays #functionalprogramming youtu.be/YPAaUFGrlEE
2
0
0
0
🎥 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
6
0
0
0
3
0
0
0
🎥 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
4
0
0
0
Vibing @ Costa Coffee on the 1st floor of Galeria Krakowska if any #lambdadays folks are around and want to say hi before we depart @ 4:30 PM!
3
0
0
0
Ines and ester eating a burger and fries and udon and giving a V to the camera
Thank you from me and @transgender.parts to everyone at #lambdadays for the incredibly joyous four days of learning, community, new and old friendships, and lots of memories and brilliant thoughts I'll hold in my heart for years to come. Thank you for the magic 💖
See you next year!
14
2
3
0
Both #GleamLang talks at #LambdaDays were super well prepared, really nice to see!
10
1
2
0
4
1
0
0
5
0
0
0
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
5
0
0
0
7
1
0
0
Martin Odersky's Keynote on Lambda Days, Krakow, Poland.
Martin Odersky's Keynote on Lambda Days, Krakow, Poland. #scala #functionalprogramming
2
1
0
0
13
2
0
0
Evan Czaplicki is wrapping up the talks part of the day with his presentation about language adoption.
Next stop ➡️ afterparty 🎉
#lambdadays #elm
4
0
0
0
Had the pleasure to give a keynote about mathematical discovery and AI today at #lambdadays in lovely Krakow.
5
1
1
0
2
1
0
0
4
0
0
0
2
0
0
0
4
1
0
0
2
0
0
0
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
6
3
0
0
2
0
0
0
Ines holding up a nametag saying "ines 🌙 | talk to me about: DIY HRT" posing for a selfie next to esters, who is holding up half a finger heart
Hi #lambdadays!
8
0
2
0
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
7
3
0
0
3
0
0
0
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
2
0
0
1
2
0
1
0
How could we do dependency injection in Unison? At #LambdaDays, @etorreborre.blog will show how to implement a DI system in Unison using just its effect system!
www.lambdadays.org/lambdadays20...
10
2
0
0