iiinova — where your digital self keeps evolving

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

We're on a break this year, but there are still many great gatherings to attend, such as #Lambda World, which is colocated with two other #tech conferences near Málaga! Take your friends and spend those few October days where it's still warm! Call for Papers open until 31.03.26! lambda.world

011

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

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

1162

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

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

010

Lambda Days @lambdadays.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

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

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

Lambda Days @lambdadays.bsky.social · 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

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

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

040

Lambda Days @lambdadays.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

Lambda Days @lambdadays.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

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

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

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

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

020

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 · 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

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

020

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

020

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

Dynamic, #functional & ready for the real world 💥 @lambduhhh.bsky.social‬ shows how #Clojure + #Datomic handle complex systems with surprising ease. Still doubting #dynamic typing in FP? Think again! 🟣💛 🎥 Hear it from Jordan + grab your ticket: lambdadays.org

030

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

Profunctors for UI? Eryk Ciepiela shows how #CategoryTheory concepts can power fully #declarative, composable user interfaces in #PureScript. 📅 12–13 June 2025 in Krakow 🌐 www.lambdadays.org

040

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

⏳ Just 2 days left to grab your regular ticket for #LambdaDays 2025! Don’t miss your chance to join amazing talks, meet great people, and level up your FP game. Get your ticket before prices go up! lambdadays.org 🚀

010

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

⚠️ Stickers spoiler alert ⚠️ No tech event is complete without cool stickers. Here’s a sneak peek at some you’ll be able to grab at Lambda Days! 🙌 @scalatimes.com @scala-lang.org @erlangsolutions.bsky.social @gleam.run

About 10 designs of stickers scattered on a pink background.

041

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

No #LLM s needed! Juan M. Serrano shows how types can guide #CodeGeneration — automatically. From recursion schemes to #Scala 3 #macros, it's logic all the way down. 📅 12–13 June 2025 in Krakow, Poland! 🌐 www.lambdadays.org

031

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

🎥 Hear it from the creator of Scala himself! Martin Odersky is joining Lambda Days in June to share how #Scala’s #type system is evolving to make capability-based #security both safe and ergonomic. Don't miss his keynote on rethinking access control in modern software systems. 🎟️ www.lambdadays.org

032

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

🎨🎶 Functional programming goes creative! @szymonrd.bsky.social‬ paints with #Scala on the #GPU. Romain Michon sculpts sound with the #Faust language. Code as art, sound as syntax. 📅 12–13 June 2025 in Krakow 🌐 www.lambdadays.org

031

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

⚔️ Haskell war stories at Lambda Days 2025! Jezen Thomas shares regrets from shipping Haskell at scale. Brian Carroll shows how #Haskell is slowly replacing #Ruby at NoRedInk. 📅 12–13 June 2025, Krakow, Poland 🎟️ Tickets: www.lambdadays.org

020

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

Final hours! Tell us what keeps you up at night in FP + tag a friend to win a Lambda Days ticket. Drawing tomorrow!

010

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

First time at Lambda Days? First time in Krakow? We've got you! Our Guide for attendees with tips on how to move around Krakow and how to prepare for the conference is ready! 👉 download it here ow.ly/P95M50VPxVn

000

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

Flavours of Scala with @mplachta.com & @michal.pawlik.dev at #LambdaDays! 🌶️ Explore "better Java," #Haskell for humans, and more as they guide you through 2 decades of #Scala evolution. Spice up your coding style! 🔥 📅 12-13 June 2025 in Krakow, Poland! 🎟️ www.lambdadays.org

063

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

From proving theorems to parsing #Reddit — AI's future in #FP is full of surprises. @moajohansson.bsky.social explores how #LLMs could co-author #math proofs. Kimberley Huizing shows why old-school keyword extraction still beats LLMs for data clarity. Come challenge the #AI hype at Lambda Days!

021

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

🎶 Functional programming meets hands-on music-making — and you're invited to jam! Romain Michon’s Lambda Days keynote dives into building sound processors and musical instruments with Faust. Hit play and see what you’re in for. Spoiler: laptops, Faust, and live music-making! 🎟️ www.lambdadays.org

010

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

What #FunctionalProgramming puzzle still haunts your dreams? Drop it in the comments + tag a friend who’d geek out over it too. The bravest will be pulled into a raffle to win a Lambda Days ticket. Winners announced next Wednesday (21.05)!

053

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

Everyone says they do #functionalprogramming… but do they really? 🧠💥 @warski.org breaks down what makes code truly #functional—and what’s just pretending. 📹 Hear more in his video invite! 📅 June 12–13, 2025 📍 Auditorium Maximum, Jagiellonian University, Krakow, Poland 🎟️ www.lambdadays.org

011

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

Yes, it’s true — she did sneak in a talk about frontend #testing. And we’re glad she did. @hayleigh.dev takes on slow CI, flaky tests, and shows how #functional #UIs (like #Lustre & #Elm) help us test smarter. Catch it at #LambdaDays! 📅 June 12–13, 2025 🎟️ www.lambdadays.org

0225

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

#Functional programming thrives on effect management, but how should we structure our code? At Lambda Days 2025 Hécate (Scrive AB) will walk us through the evolution of #Haskell’s #EffectSystems and present the case for semantic effect tracking in industrial software.

152

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

🤖🚀 Meet Natalia Chechina, the mind behind SD #Erlang & Senior Developer @erlangsolutions.bsky.social ! Her talk, "Functional Programming in Robotics," uncovers why robots are lagging behind in the world of FP. Don’t miss the future of #robotics! 🎟️ Grab your tickets: www.lambdadays.org

032

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

🔥 New languages, bold ideas! At #LambdaDays 2025, explore #Flix, built around effect-oriented programming, and #Yolc, a safe & expressive #Haskell-embedded language for #Ethereum smart contracts. Two talks. Two visions of the future. 🎟️ www.lambdadays.org #FunctionalProgramming #Web3

000

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

🧠 Keynote alert! What do you mean I can’t access that resource? 😤 With capabilities done right, your compiler becomes your bouncer. Martin Odersky (yes, the Scala guy) shows how to make capability safety actually usable. 🎟️ Can't miss this: www.lambdadays.org

000

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

Functional, dynamic & built for production! 🚀 @lambduhhh.bsky.social shows how Clojure + Datomic tackle real-world systems with flexibility & resilience. Ready to rethink dynamic typing in FP? 🟣💛 🎟️ What to know more? Register: lambdadays.org/

010

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

🔧 Ever wondered how #LanguageServers work? Arthur Jamet will demystify them and show why #Haskell is a great fit to build your own. Catch his talk at #LambdaDays 2025! 💻🐑 🎟️ Join the functional community: www.lambdadays.org/lambdadays20...

093

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

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

0214

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

Join us for a #LambdaDays pre-conference meetup hosted by @erlangsolutions.bsky.social ! 📍Hevre, Kraków 📅June 11 | 🕕18:00 🍺Talks + community + beer Come hear: – Selling BEAM as a Developer – Automating Data Transformation Details 👉 www.meetup.com/elixir-krako... #BEAM #Elixir #Scala #KrakowTech

031

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

🔹 Keynote Talk🔹 Creator of Elm, Evan Czaplicki, explores how we can make our own luck in typed functional programming—winning over decision-makers, improving tooling, and creating more jobs for FP enthusiasts. 🎟️ Hear his insights at #LambdaDays → www.lambdadays.org

0166

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

🔹Speaker Spotlight: Dominik Katkó & Wendy Randolph🔹 Two takes on building reliable Elixir apps! 1️⃣ Dominik: Bridging Elixir distributed systems with formal models for reliability. 2️⃣ Wendy: Lessons from building the same web app in Clojure & Elixir—flexibility vs. structure. 🎟️ www.lambdadays.org

021

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

🎫 Want to attend #LambdaDays 2025 but need support? Apply for a free ticket through: 💜 D&I Programme – for people from underrepresented groups in IT 🌍 Community Support – for students, early-career devs & startups ⏳ Deadline: May 8 🔗 lambdadays.org

011

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

🚀 Huge thanks to @erlangsolutions.bsky.social – our Global Community Support Sponsor for #LambdaDays 2025! They build scalable, fault-tolerant systems with #Erlang, #Elixir & #RabbitMQ—and now, they're helping more people join our community. 💙 🎟️ Apply for Community Tickets: www.lambdadays.org

052

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

🔹 Speaker Spotlight: Farhad Mehta & Markus Schlegel 🔹 Functional programming in practice! 1️⃣ Farhad: #TypeSearch – type-directed #API search for #typed languages. 2️⃣ Markus: Treating static sites as #functions to improve design and abstraction. 🎟️ Don’t miss them at #LambdaDays www.lambdadays.org

011

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

🔹 Speaker Spotlight: Paweł Szulc 🔹 #Haskell dev by day, #Rust dev by night! Paweł will be discussing how to simplify #distributed systems using Choreographic Programming, a #functional approach to #concurrency, communication, and coordination. 🎟️ Don’t miss Paweł at #LambdaDays → www.lambdadays.org

021