Lambda World
@Lambda_World
An international conference for Functional Programming enthusiasts. October 23-24, 2025 - Palacio de Congresos de Cadiz, Spain.
Was dir gefallen könnte
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 Trends
- 1. Klay 20.4K posts
- 2. #AEWFullGear 70.1K posts
- 3. McLaren 46.3K posts
- 4. Lando 99K posts
- 5. #LasVegasGP 185K posts
- 6. Ja Morant 8,919 posts
- 7. gambino 2,412 posts
- 8. Hangman 9,908 posts
- 9. Samoa Joe 4,786 posts
- 10. Swerve 6,383 posts
- 11. LAFC 15.5K posts
- 12. #Toonami 2,822 posts
- 13. Bryson Barnes N/A
- 14. Verstappen 80K posts
- 15. Utah 24K posts
- 16. Kimi 38.7K posts
- 17. Benavidez 15.9K posts
- 18. Terry Crews 7,788 posts
- 19. Fresno State 1,006 posts
- 20. LJ Martin 1,299 posts
Was dir gefallen könnte
-
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.