Lambda World
@Lambda_World
An international conference for Functional Programming enthusiasts. October 23-24, 2025 - Palacio de Congresos de Cadiz, Spain.
Tal vez te guste
What is the origin of Lambda? Why does everything go back to Cadiz? Only 2 weeks for Lambda World 2025 - October 23-24 - lambda.world/tickets/ #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: youtube.com/@LambdaWorld/v… #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 youtube.com/@LambdaWorld #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 youtube.com/@LambdaWorld #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 linkedin.com/in/cafe-academ… #CoffeeTime #lambdaworld #barista #conference #awakenthebrain
United States Tendencias
- 1. Travis Head 13.9K posts
- 2. Caleb Love 2,986 posts
- 3. Mamdani 478K posts
- 4. Marjorie Taylor Greene 73.6K posts
- 5. Sengun 8,830 posts
- 6. Suns 21.6K posts
- 7. Morgan Geekie N/A
- 8. Kerr 5,359 posts
- 9. Norvell 3,579 posts
- 10. Lando 50.2K posts
- 11. UNLV 2,273 posts
- 12. #SmackDown 48.3K posts
- 13. Collin Gillespie 4,143 posts
- 14. #DBLF2025 14K posts
- 15. Blazers 4,107 posts
- 16. Wolves 16.9K posts
- 17. The View 101K posts
- 18. #Ashes2025 30K posts
- 19. Florida State 10.9K posts
- 20. joshua 102K posts
Tal vez te guste
-
Xebia
@Xebia_Global -
Scala Times
@ScalaTimes -
Signify Technology
@Signify_Tech -
Raúl Raja
@raulraja -
Adam Warski
@adamwarski -
Alejandro Serrano
@trupill -
Oli Dinov 💙
@olidinov -
Scalar Conference
@scalarconf -
Sébastien Doeraene
@sjrdoeraene -
Paweł Szulc
@EncodePanda -
Rúnar
@runarorama -
Eric Torreborre
@etorreborre -
Ólafur Páll Geirsson
@olafurpg -
Itamar Ravid
@iravid
Something went wrong.
Something went wrong.