Lambda Days @lambdadays - Bluesky Profile

YouTube video by Code Sync Keynote: Rethinking our Adoption Strategy - Evan Czaplicki | Lambda Days 2025

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

19.08.2025 19:48 — 👍 10 🔁 0 💬 0 📌 0

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

29.04.2025 08:02 — 👍 23 🔁 4 💬 0 📌 0

🚨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

26.06.2025 10:30 — 👍 5 🔁 0 💬 0 📌 0

Lambda Days 2025 Share your videos with friends, family, and the world

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

25.06.2025 14:30 — 👍 4 🔁 2 💬 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

23.06.2025 10:05 — 👍 6 🔁 0 💬 0 📌 0

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... Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods - Moa Johansson |Lambda Days 25

🎥 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

18.06.2025 15:05 — 👍 4 🔁 0 💬 0 📌 0

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

15.06.2025 13:43 — 👍 2 🔁 0 💬 0 📌 0

#LambdaDays 2025 - Ruby on Rails

12.06.2025 13:46 — 👍 2 🔁 1 💬 0 📌 0

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

13.06.2025 09:45 — 👍 10 🔁 1 💬 2 📌 0

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

14.06.2025 16:54 — 👍 3 🔁 0 💬 0 📌 0

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

13.06.2025 15:07 — 👍 16 🔁 2 💬 1 📌 0

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

13.06.2025 14:40 — 👍 1 🔁 0 💬 0 📌 0

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

13.06.2025 12:39 — 👍 2 🔁 1 💬 0 📌 0

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

13.06.2025 13:31 — 👍 1 🔁 0 💬 0 📌 0

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

13.06.2025 12:16 — 👍 5 🔁 0 💬 0 📌 0

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

13.06.2025 09:57 — 👍 2 🔁 2 💬 0 📌 0

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

13.06.2025 09:49 — 👍 6 🔁 3 💬 1 📌 0

#LambdaDays 2025

Panel Discussion: Learning how to learn

13.06.2025 08:43 — 👍 4 🔁 1 💬 0 📌 0

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

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

13.06.2025 07:22 — 👍 2 🔁 1 💬 0 📌 0

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

13.06.2025 09:10 — 👍 3 🔁 1 💬 0 📌 0

#LambdaDays 2025

#Scala

13.06.2025 07:32 — 👍 7 🔁 1 💬 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

13.06.2025 07:52 — 👍 5 🔁 0 💬 0 📌 0

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!

13.06.2025 07:09 — 👍 6 🔁 2 💬 0 📌 0

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

11.06.2025 12:49 — 👍 5 🔁 1 💬 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

12.06.2025 10:50 — 👍 6 🔁 3 💬 0 📌 0