What is the origin of Lambda? Why does everything go back to Cadiz? Only 2 weeks for Lambda World 2025 - October 23-24 - https://t.co/KYIkpzUWeM #FunctionalProgramming #Lambda #CategoryTheory #TypeSystems #Haskell #Scala #OCaml #Rust #Elixir

Missed Lambda World? We get it! Some talks are already live on YouTube! Rewatch your favorites, catch what you missed, or enjoy a little Lambda nostalgia. More talks coming in the next few days, don’t blink! Watch here: https://t.co/R4mJzPycOB #LambdaWorld

🎥The Lambda World ’25 recap is live! 💥 Cádiz gathered the functional faithful for monadic potions, hot topics like Correctness, Formal Verification & Refinement Types, and classics: Effect Systems, DSLs, and new FP languages. ⚡️We may be few, but the future is functional. λ

We close out @Lambda_World this year with a panel discussion on "Does FP still matter in the era of AI?" with Raul Raja, Jack Higgs, Isaias Bartelborth & Anurag Mendhekar What do you think? check out their response to the question here https://t.co/M3XEEqyIvJ #lambdaworld

We bring to you When magic meets multicore - OCaml and its elegant era of parallelism presented by Sonja Heinze & Carine Morel #lambdaworld

Our diamond sponsor Prima takes to the stage Functional Rust: From ADTs to Advanced Concurrency presented by Stefano Candori & Adrian Ramirez Fornell #Rust #Conference #lambdaworld #sponsor

Lunch might be ongoing but for our sponsors @jetbrains and @AIPredictable its a great chance for speaking the attendees about what they offer and also any potential jobs on offer #sponsors #facetoface #lambdaworld #AI #Kotlin #Ktor #jobsearch

Lunch is over at #Lambdaworld and we bring to the attendees Wendy Randolph & Jordi Pradel Not at the conference for the talks? Dont panic we have our YouTube channel https://t.co/M3XEEqzglh #web_development #recorded #functional_programming

Round 5 of the talks and the final one before we break for lunch at @Lambda_World brings you Evolving AI-Assisted Web UI Development in F#: Lessons learned from a DSL for ChatGPT and WebSharper presented by Adam Granicz @granicz & Pick a (Effect) Lane: A comparison of

And @Lambda_World folks, if you wanna know more about our tools in the field of Predictable AI, come by our booth! We’re excited to meet you. BTW, we’re hiring kind and smart people! 🚀

Hey @Lambda_World attendees! We have some Predictable Chicharrones (de Chiclana) waiting for you at the lunch area!

Round 4 of talks of day 2 on @Lambda_World brings Damián Soriano presenting Declarative UIs in a functional language #lambdaworld #functional_programming #haskell #declarative_UIs #conference

Round 4 of talks on day 2 of @Lambda_World brings Ignacio Gallego Sagastume & Isaias Bartelborth from @Hivemind_Tech presenting in Quillo hall Prompting Safely: Building Secure LLM Prompts with a Scala DSL #lambdaworld #DSL #Scala #LLMs #prompt_engineering #conference

Round 3 parallel talk at @Lambda_World is Lennart Augustsson presenting Verse - A New Functional Logic Language #Conference #lambdaworld #functional_programming #Verse

Round 3 of talks begins at @Lambda_World with Caroline Morton presenting Accidental Functional Programming in Rust (From an Epidemiologist's Perspective) #lambdaworld #functional_programming #Rust #Conference

Our second talks begin at @Lambda_World as we start our parallel talk sessions beginning with in our Bastinazo hall Alcides Fonseca (@alcides) presenting Aeon — An AI-native programming language #AI #conference #functional_programming #lambdaworld

As the 2nd talks on day 2 of @Lambda_World attendees get chance for a barista coffee provided by Cafe_academy https://t.co/0BzjmoOvzL #CoffeeTime #lambdaworld #barista #conference #awakenthebrain