Lambda World

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

[Lambda World @Lambda_World]

MONADIC MONDAYS!

We are joining forces with @JOTBConf and @WeyWeyWeb in Torremolinos on October 29–30, 2026.
- Tickets available with special pricing + online tickets
- The CFP is OPEN
- Sponsorship options are also available

Join us 👉 https://t.co/IO1N1KFqVS

[Lambda World @Lambda_World]

@titogg ¡Pues tendrás que volver 10 años más tarde a por otra!

[Jirka @jiriknesl]

You can see me speaking on a conference in Malaga, this autumn.

[Lambda World @Lambda_World]

The Full Lineup for #LambdaWorld26 is HERE!

Where: Torremolinos, Malaga. Spain
When: October 29-30, 2026
How: https://t.co/FMKfBqDaAP

Get your tickets NOW!

[How To Prompt @HowToPrompt__]

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?

[Scala Times @ScalaTimes]

Scala Times Issue #616 - https://t.co/4P3uMOdsRi - powered by @bishabosha @eed3si9n @EncodePanda @ghostdogpr @jetbrains @JoanG38 @JOTBConf @lambda_world @lukasz_bialy @MikeMllerNiels2 @scala_lang @tanin & others, thx!

[Scala Times @ScalaTimes]

Scala Times Issue #614 - https://t.co/aqDHisGI32 - powered by @AKmetyuk @augustnagro @github @JOTBConf @kkondzielski @lambda_world @MateuszKubuszok @scala_lang & others, thx!

[Lambda World @Lambda_World]

Last day to purchase your early camaron tickets and submit a proposal to our Call For Papers!

https://t.co/PafxJFehwD

@CFP_Bot @WikiCFP

#FunctionalProgramming

[Scala Times @ScalaTimes]

Scala Times Issue #612 - https://t.co/B8WfuOhzd1 - powered by @adamwarski @JOTBConf @lambda_world @scalawaw @softwaremill @takapi327 & others, thx!

[Lambda Days @LambdaDays]

Dear FP Community,

Even though we're on a break this year, there are still many great gatherings to attend, such as @Lambda_World, which is colocated with two other tech conferences in Málaga!🇪🇸🌞 So take your functional and non-functional friends and spend those few autumn days where it's still warm!

Call For Papers is open until the 31st of March 2026
https://t.co/IRPi74v1qJ

[Lambda World @Lambda_World]

YO! FP Community!
Do you know who is coming to Malaga this April?

@ElixirConf EU 2026 takes place in Málaga, Spain, this April with 600+ attendees, keynotes from @josevalim and @chris_mccord , and 40+ talks on Phoenix, LiveView, AI/ML, and production systems.

As Europe's premier Elixir conference, it's the perfect opportunity to connect with the community and showcase your involvement in the ecosystem.   https://t.co/Mxc2SqzW6J

[Scala Times @ScalaTimes]

Scala Times Issue #609 - https://t.co/YThYyYGgMk - powered by @darjutak @JOTBConf @Krever01 @lambda_world @lazy_io @softwaremill & others, thx!

[KC Sivaramakrishnan @kc_srk]

The talk by Sonja and Carine from @tarides_ is now up https://t.co/QCMoL9SbAm

Interesting use of multiple domains and effects to speed up type checking in OCaml LSP.

[Lambda World @Lambda_World]

GREAT NEWS FOR THE FP COMMUNITY!

All talks from the last edition of Lambda World are now fully open and free for everyone.

Watch them on YouTube: https://t.co/dIb9WNTa3b

Submit your paper for this year’s edition and grab your ticket while prices are ridiculously low!

🎟️ Tickets & CFP: https://t.co/XYDk5IldvN

[Wey Wey Web @WeyWeyWeb]

BIG NEWS from Wey Wey Web for 2026!
We are joining forces with @JOTBConf & @Lambda_World in Torremolinos on October 29-30, 2026.
- Tickets available with special pricing + online tickets!
- The CFP is OPEN
- Sponsorship options are also available.
Join us https://t.co/ZXVW3DE9oH

[Lambda World @Lambda_World]

@fresheyeball @Krever01 @TomTriplesss @EncodePanda

[Lambda World @Lambda_World]

@igallegosagas @IBartelborth 😍

[Lambda World @Lambda_World]

@r0_lang @lenguyenthanh 😍

[Lambda World @Lambda_World]

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/niEK1512x6

#LambdaWorld #FunctionalProgramming #Talks

[Lambda World @Lambda_World]

🎥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. λ