@Lambda_World

An international conference for Functional Programming enthusiasts. October 29-30, 2026 - Palacio de Congresos de Torremolinos, Málaga, Spain.

Torremolinos, Spain
Joined June 2015
FUNCTIONAL PROGRAMMERS OF THE WORLD, BEHOLD! One of the few FP events left on Earth is landing in sunny Torremolinos this October. Expect #FormalVerification, #TheoremProvers, #TypeSystems, #Lean, #Scala, #OCaml, #Erlang, #MoonBit and more. Watch who’s joining us 👇 📅 Oct 29–30, 2026 🎟️ Get your ticket now!
4
10
531
Lambda World retweeted
OxCaml mentioned!
OxCaml is having a moment. Join Carine Morel from Tarides for a hands-on workshop on making concurrent OCaml safer by construction: use its mode system to rule out unsafe sharing at compile time. Lambda World · Málaga · 29–30 Oct #OCaml #OxCaml #Concurrency #LW26
1
1
77
OxCaml is having a moment. Join Carine Morel from Tarides for a hands-on workshop on making concurrent OCaml safer by construction: use its mode system to rule out unsafe sharing at compile time. Lambda World · Málaga · 29–30 Oct #OCaml #OxCaml #Concurrency #LW26
1
1
5
361
The coolest hair in tech is coming to Málaga. And so is Arman Bilge. The Cats Effect core maintainer explains why fast multithreaded runtimes sometimes embrace deliberately racy data structures, and how that leads to the happy path. Lambda World · 29–30 Oct #Scala #CatsEffect #Concurrency
2
145
HASKELLERS of the World, BEHOLD! Stephanie Weirich @fancytypes brings dependent types to everyday Haskell, using the rebound library to make invalid states impossible to represent. Don´t miss her @Lambda_World · Málaga · 29–30 Oct #Haskell #DependentTypes #TypeSystems
4
152
OTP wasn’t invented in a vacuum. It was forged out of industrial necessity. Francesco Cesarini @francescoC, from the original OTP team, traces 30 years from BOS to Elixir: supervisors, generic servers and state machines. Lambda World · Málaga · 29–30 Oct #Erlang #Elixir #OTP
1
5
383
AI can write code faster than ever. But can it prove the code does what it is supposed to do? At @Lambda_World, David Mazarro & Raúl Raja @raulraja from @AIPredictable ask exactly that in “Towards Multi-language Program Verification for AI”. Generating software is becoming easy. TRUSTING it is hard. 29–30 Oct, 2026 Torremolinos, Malaga. Spain #Lean4 #FormalMethods #AI #LambdaWorld
3
6
164
Lambda World retweeted
Continue on why MoonBit is the language of AI (and not Rust) ? Lanuage designed for agents requires not only memory-safe, but sandboxed. Not only fast runtime but also fast to iterate. Not testable — provable. Rust ships one of three. MoonBit, all three. 🧵
1
3
1
36
9,396
Can a type system make machine learning code better? At Lambda World, Jan Ypma shows how Scala can track tensor dimensions, data types and devices at compile time, while keeping PyTorch’s GPU performance. From matrix multiplication to transformers: let the compiler do more work. 📍 Torremolinos, Málaga 🗓️ Oct 29–30, 2026 #Scala #MachineLearning #PyTorch
4
125
Syntax trees with binders. Made easy. Enrico Tassi from Inria is bringing Elpi to Lambda World: a logic programming language for manipulating syntax trees, even incomplete ones, and extending OCaml applications. 📍 Torremolinos 🗓️ Oct 29–30, 2026 Get your ticket before the syntax gets complicated. #OCaml #LogicProgramming #LambdaWorld
2
125
Context Parameters are stable. Rich Errors are here. At Lambda World, @vergauwen_simon from @JetBrains will show why Kotlin might be the perfect language for your next functional microservice. Functional Kotlin Services 📍 Torremolinos, Spain · Oct 29–30 #Kotlin #FunctionalProgramming #Microservices #LambdaWorld
1
5
240
No pressure, but expectations are ÜBER-HIGH for Sebastian Ullrich, Head of Engineering at Lean FRO @leanprover, joining us at Lambda World. Lean is not just a theorem prover or a programming language: it can extend its own development environment from within the language itself. 📍 Málaga, Oct 29–30 🎟️ 6 days before prices go up lambda.world #LeanLang #Metaprogramming #FunctionalProgramming #LambdaWorld
5
313
Lambda World retweeted
10 years ago, Jamie Allen closed the very first #JOnTheBeach with a keynote on the future of service-based architecture. 10 years later, he’s back. This time: why doing SRE at the service level isn’t enough, and why resilience lives in the interactions. 📍 Málaga · Oct 29–30
2
3
170
Lambda World retweeted
I will introduce the MoonBit programming language at LambdaWorld 2026. Fast compilation, Rust‑grade performance and managed memory. Stay tuned.
We keep looking West for the future of tech, but it’s time to look East. At #LambdaWorld 2026, @M_Wildwhisky will introduce @moonbitlang: a new functional language for the AI & Cloud era, bringing composability, clarity and robustness to industrial software. 📍 Málaga 🗓️ Oct 29–30 #FunctionalProgramming #MoonbitLang #AI
3
15
682
We keep looking West for the future of tech, but it’s time to look East. At #LambdaWorld 2026, @M_Wildwhisky will introduce @moonbitlang: a new functional language for the AI & Cloud era, bringing composability, clarity and robustness to industrial software. 📍 Málaga 🗓️ Oct 29–30 #FunctionalProgramming #MoonbitLang #AI
6
2
10
2,927
The Agenda for this year's event is LIVE! Check it out! lambda.world/agenda/?day=thu…
1
2
147
Lambda World retweeted
Excited to speak at @Lambda_World in October about a new project we're cooking. See you there!
1
1
28
1,549
Lambda World retweeted
You can see me speaking on a conference in Malaga, this autumn.
The Full Lineup for #LambdaWorld26 is HERE! Where: Torremolinos, Malaga. Spain When: October 29-30, 2026 How: lambda.world Get your tickets NOW!
1
2
366
The Full Lineup for #LambdaWorld26 is HERE! Where: Torremolinos, Malaga. Spain When: October 29-30, 2026 How: lambda.world Get your tickets NOW!
5
1
6
1,217
Lambda World retweeted
Chinese researchers have developed the best shortest-path algorithm in 41 years! Dijkstra’s Algorithm has been the undefeated king of the shortest path for over 40 years. Whether you’re using Google Maps, booking a flight, or routing internet packets, Dijkstra is the engine running in the background. Since 1984, textbooks have taught that its efficiency was hit by a "sorting barrier." To find the shortest path, you have to sort the points by distance. And sorting has a mathematical floor you can’t cross. Until now. A research team from Tsinghua University just published a paper that shatters the 41-year-old record. They proved that Dijkstra is not optimal. By combining the logic of the Bellman-Ford algorithm with a revolutionary "recursive partial ordering" method, they figured out how to find the path without fully sorting the nodes. The results are a massive shift in theoretical computer science: - The first deterministic improvement to the Single-Source Shortest Path (SSSP) problem since 1984. - A new time complexity of $ O(m \log^{2/3} n)$, officially beating the long-standing $ O(m + n \log n)$ limit. - On massive sparse graphs (like the web or global logistics), this means finding the best route significantly faster than previously thought possible. For four decades, the greatest minds in algorithms believed this limit was absolute. Last year, even the legendary Robert Tarjan won an award proving Dijkstra was "optimally efficient" at sorting distances. Tsinghua’s answer? Stop sorting. The world’s most settled problem is suddenly wide open again. If we can break a 40-year-old law in basic graph theory, what other "impossible" speed limits are waiting to be crushed?
90
573
56
3,989
827,443