Lightnews — Scholar-powered news

Lambda Days

@lambdadays.bsky.social

1.2K followers 320 following 110 posts

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 🔥

Posts Media Videos Starter Packs

Lambda Days @lambdadays.bsky.social · Aug 19

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

Keynote: Rethinking our Adoption Strategy - Evan Czaplicki | Lambda Days 2025

YouTube video by Code Sync

youtu.be

Reposted by Lambda Days

Lambda Days @lambdadays.bsky.social · Apr 29

🔹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!

4 23

Lambda Days @lambdadays.bsky.social · Jun 26

🚨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

Lambda Days @lambdadays.bsky.social · Jun 25

⚡️ #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

2 4

Lambda Days @lambdadays.bsky.social · Jun 23

🎥 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

Lambda Days @lambdadays.bsky.social · Jun 18

🎥 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

Lambda Days @lambdadays.bsky.social · Jun 15

Thanks for joining this year 🫶 And see you in 2026 🔥

Reposted by Lambda Days

Marcio Frayze @segunda.tech · Jun 12

#LambdaDays 2025 - Ruby on Rails

1 2

Reposted by Lambda Days

Michal Nebes @mislaw.bsky.social · Jun 13

Both #GleamLang talks at #LambdaDays were super well prepared, really nice to see!

2 1 9

Lambda Days @lambdadays.bsky.social · Jun 14

... just checking if you're actually reading posts 🥸

Lambda Days @lambdadays.bsky.social · Jun 13

Thanks for joining us for Lambda Days 2024 💜 Mark your calendars and and see you next year 🐲

1 2 16

Lambda Days @lambdadays.bsky.social · Jun 13

We're wrapping up the conference with keynote talk by Romain Michon 🔥

Reposted by Lambda Days

Joanna Wrona @jowro.bsky.social · Jun 13

Robotics and computing by Natalia Chechina 🙌🙌🙌👏@erlangsolutions.bsky.social at @lambdadays.bsky.social

1 2

Lambda Days @lambdadays.bsky.social · Jun 13

Congrats to all the winners 🐉 Hope you had fun with the puzzle 🤓

Joanna Wrona @jowro.bsky.social · Jun 13

@lambdadays.bsky.social
And the winner is … 🥁🥁🥁🥁

Lambda Days @lambdadays.bsky.social · Jun 13

Don't miss the third one with @hayleigh.dev soon!

Lambda Days @lambdadays.bsky.social · Jun 13

Time to thank our sponsors that made this event possible 👏
We appreciate your ongoing support, Standard Chartered, @erlangsolutions.bsky.social and @ahrefs.bsky.social 💜

2 2

Reposted by Lambda Days

Erlang Solutions @erlangsolutions.bsky.social · Jun 13

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

1 3 6

Reposted by Lambda Days

Marcio Frayze @segunda.tech · Jun 13

#LambdaDays 2025

Panel Discussion: Learning how to learn

1 4

Reposted by Lambda Days

vejeta ☑️ @vejeta.mastodon.sdf.org.ap.brid.gy · Jun 13

Martin Odersky's Keynote on Lambda Days, Krakow, Poland. #scala #functionalprogramming

1 2

Lambda Days @lambdadays.bsky.social · Jun 13

We learned how to learn, now it's time to mingle! Enjoy your coffee break and get ready for next round of inspiring talks.

1 3

Reposted by Lambda Days

Marcio Frayze @segunda.tech · Jun 13

#LambdaDays 2025

#Scala

1 7

Lambda Days @lambdadays.bsky.social · Jun 13

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

Reposted by Lambda Days

Michał Płachta @mplachta.com · Jun 13

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!

2 5

Reposted by Lambda Days

Michal Nebes @mislaw.bsky.social · Jun 11

Heading out to Cracow for #LambdaDays Any other #FSharp people attending?

1 5

Reposted by Lambda Days

Lambda Days @lambdadays.bsky.social · Jun 12

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

3 6