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 👉 lambda.world

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!

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 Issue #616 - scalatimes.com/fabd5dde52 - powered by @bishabosha @eed3si9n @EncodePanda @ghostdogpr @jetbrains @JoanG38 @JOTBConf @lambda_world @lukasz_bialy @MikeMllerNiels2 @scala_lang @tanin & others, thx!

Scala Times Issue #614 - scalatimes.com/18b8726ea0 - powered by @AKmetyuk @augustnagro @github @JOTBConf @kkondzielski @lambda_world @MateuszKubuszok @scala_lang & others, thx!

Last day to purchase your early camaron tickets and submit a proposal to our Call For Papers! lambda.world @CFP_Bot @WikiCFP #FunctionalProgramming

Scala Times Issue #612 - scalatimes.com/dcedac35ad - powered by @adamwarski @JOTBConf @lambda_world @scalawaw @softwaremill @takapi327 & others, thx!

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 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.   elixirconf.eu/#register

Scala Times Issue #609 - scalatimes.com/cce7e3bb63 - powered by @darjutak @JOTBConf @Krever01 @lambda_world @lazy_io @softwaremill & others, thx!

The talk by Sonja and Carine from @tarides_ is now up youtube.com/watch?v=9JmtVtRE… Interesting use of multiple domains and effects to speed up type checking in OCaml LSP.

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: youtube.com/channel/UCEBcDOj… Submit your paper for this year’s edition and grab your ticket while prices are ridiculously low! 🎟️ Tickets & CFP: lambdaworld.org

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 weyweyweb.com

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/vid… #LambdaWorld #FunctionalProgramming #Talks

🎥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 #functional_programming #debate

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