iiinova — where your digital self keeps evolving

Michal Nebes @mislaw.bsky.social · 13/06/2025

Reposted by Lambda Days

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

2111

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

1162

Joanna Wrona @jowro.bsky.social · 13/06/2025

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

010

Reposted by Lambda Days

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 🤓

010

Erlang Solutions @erlangsolutions.bsky.social · 13/06/2025

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

022

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

163

Reposted by Lambda Days

Marcio Frayze @segunda.tech · 13/06/2025

#LambdaDays 2025 Panel Discussion: Learning how to learn

031

Reposted by Lambda Days

vejeta ☑️ @vejeta.mastodon.sdf.org.ap.brid.gy · 13/06/2025

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.

031

Michał Płachta @mplachta.com · 13/06/2025

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

050

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!

062

Reposted by Lambda Days

Michal Nebes @mislaw.bsky.social · 11/06/2025

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

051

Reposted by Lambda Days

Moa Johansson @moajohansson.bsky.social · 12/06/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

063

Reposted by Lambda Days

Had the pleasure to give a keynote about mathematical discovery and AI today at #lambdadays in lovely Krakow.

151

Reposted by Lambda Days

Oskar Maria Grande @musha68k.bsky.social · 12/06/2025

Evan On Killing

Evan Czaplicki, creator of Elm, at Lambda Days Conf 2025 on Silicon Valley culture and how its incentives are inherently opposed to quality

Evan Czaplicki is wrapping up the talks part of the day with his presentation about language adoption. Next stop ➡️ afterparty 🎉 #lambdadays #elm

040

Erlang Solutions @erlangsolutions.bsky.social · 12/06/2025

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!

091

Reposted by Lambda Days

.@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! 👋

083

063

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

073

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

Jordan Miller @lambduhhh.bsky.social · 12/06/2025

Reposted by Lambda Days

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

081

Lambda Days @lambdadays.bsky.social · 11/06/2025

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.

071

Lambda Days @lambdadays.bsky.social · 11/06/2025

Thank you everyone that joined today and see you tomorrow!

Erlang Ecosystem Foundation @erlef.org · 09/06/2025

Reposted by Lambda Days

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

lambdadays.org

Lambda Days 2025

<p>Functional programming is taking Kraków by storm. Scala, Erlang, Haskell, Elm, Elixir, Lisp and Clojure are scoring points with IT professionals, computer science students and technology geeks.</p>

073

Lambda Days @lambdadays.bsky.social · 09/06/2025

🧭 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

074

Reposted by Lambda Days

Thanh Le @lenguyenthanh.bsky.social · 02/06/2025

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

041

Lambda Days @lambdadays.bsky.social · 05/06/2025

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

Lambda Days @lambdadays.bsky.social · 04/06/2025

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

030

Lambda Days @lambdadays.bsky.social · 03/06/2025

☕ 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

031

Lambda Days @lambdadays.bsky.social · 02/06/2025

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

030

Lambda Days @lambdadays.bsky.social · 30/05/2025

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

060

Lambda Days @lambdadays.bsky.social · 29/05/2025

"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

010

Lambda Days @lambdadays.bsky.social · 28/05/2025

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