🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

We are glad to announce Juanjo Madrigal Juanjo Madrigal and Jorge Mayoral to our panel of speakers of Lambda World They will give a workshop on Agda and Lean! More here: lambda.world/speakers/?spea… #FunctionalProgramming #Agda #Lean

Please welcome Chris Ford Chris Ford to our panel of Speakers for Lambda World 24! Chris will hilariously decode birdsong into Clojure, proving once and for all that even birds are better coders than us! #Clojure #FunctionalProgramming

A BIG WELCOME to ABBY SASSEL to our panel of speakers of Lambda World 24! Abby is a Haskell engineer at Artificial and will give a talk about resilient REST APIs! Check more about her talk here: lambda.world/speakers/?spea… #Haskell #FunctionalProgramming #LambdaWorld

🎶#LambdaWorld is also about music and we are super excited to have Johanna Odersky Iku as a speaker at our event! 💗 Catch her insights blending coding and music! 🌟 Check more about her talk here lambda.world/speakers/?spea… #TechandMusic #Scala #FunctionalProgramming

Array Languages will be very present in our next #LambdaWorld and that is why ...we are more than happy to welcome Conor Hoekstra Conor Hoekstra to our panel of speakers!!!! Check more about his talk: lambda.world/speakers/?spea… #ArrayLanguages #APL #BQN #Kap #Uiua Arraycast

We have published all workshops that will be delivered on the first and second day of #LambdaWorld! Check them out and get your tickets before they sell out! lambda.world/workshops/ #FunctionalProgramming #Scala #kotlin #ArrayLanguages

📢 Attention Functional Programming enthusiasts! Lambda World is back for the first time since the pandemic, and Habla Computing is proud to be a sponsor this year! 🚀 👉 lambda.world We look forward to seeing you at Lambda World! 🌍✨

💣KABOOOOOOOOM!🤯 The one and only Robert Virding Robert Virding co-creator of Erlang and language expert at Erlang Solutions will be the closing keynote of Lambda World You cannot miss it! lambda.world/?speaker=Rober… #Erlang #FunctionalProgramming #ErlangSolutions

Dear Twitter, I'm looking for a couple of developers who may want to review a set of exercises for Functional Kotlin using Λrrow and Compose. (These exercises should be available to everybody after the Arrow Open Space at Lambda World)

Just one month to Lambda World! Cadiz, Functional Programming, Tortillita de Camarones, IN THAT ORDER. 🗓️2-4 October 2024 📌Palacio de Congresos de Cadiz 🎟️ Standard Tuna Ticket €225 🌐 lambda.world #functionalprogramming #Scala #Erlang #Haskell #ArrayLanguages

Preparing with my colleague Jorge Mayoral the workshop on Agda and Lean to be held next month at Lambda World : lots of code, lots of examples, lots of applications. I certainly wouldn't miss it 🙂 lambda.world/workshops/Agda…

Array Champion Stephen Taylor Stephen Taylor has an important message for YOU! Do not miss the chance to visit Cadiz and enjoy the coolest #FunctionalProgramming conf in South Europe! 👉lambda.world

Check out this video from Juan Manuel Serrano explaining the workshop he is giving in a few weeks at Lambda World Few places are available! lambda.world/workshops/Embe… #FunctionalProgramming #DSLs #Scala

🤷‍♂️ Have you ever wondered how type checkers work inside of your compiler? 🤔 Check out the video from Don Alejandro Serrano Alejandro Serrano about the workshop he is giving next October 2nd. Still few places available! lambda.world/workshops/Impl… #FunctionalProgramming #Kotlin #Haskell

Today was an all-day Crema Workshops delivered by the great Zainab Ali, Alejandro Serrano , and Juan Manuel Serrano . Thanks a lot to all the attendees! #FunctionalStreamProcessing #ImplementTypeChecker #EmbeddingDSL #Scala #LambdaWorld

Pepe explains us how Doctors Without Borders helps people in need all around the world

And the best way to close this year's event is with this announcement: Lambda World 2025 October 22nd-24th 2025 Palacio de Congresos de Cadiz Save the dates!!!

¡Basta de atacar a la población civil y la misión médica! Hoy te pido que te unas a #NuestraLíneaRoja con Médicos Sin Fronteras. Yo ya lo he hecho. Firma y comparte: nuestralinearoja.es/?nlr_usuario=J… Manuel_S.

🚫 No LLMs needed here — just pure logic and type wizardry! Juan Manuel Serrano shows how types can do the heavy lifting in your implementation. From deriving verified code to exploring recursion schemes, (co)algebras and Scala 3 macros come together in this mind-expanding talk on