Lambda World 2025 trip report is up! ✨
Made the pilgrimage to Cádiz again for two days of #FunctionalProgramming goodness. Kotlin DSLs, Rust workshops, AI-native languages, and debates about whether LLMs will replace us all (spoiler: maybe?).
Also: I got publicly mocked for complaining about coffee last year. Worth it. ☕😄
Full details: https://www.maxpagani.org/2025/11/08/lambda-world-2025/
#LambdaWorld #Scala #Rust #Kotlin #TechConferences

Still fuming about the AI keynote from the #Lambdaworld conference this morning. Some audience members asked if there was any risk AI models wouldn't continue to improve and the speaker explained that there wouldn't be vast amounts of money pouring into AI if it wasn't going to keep improving.

Looking forward to Lennart Augustsson explaining how these fun features of Epic Games new functional logic language Verse will make coding Unreal engine games easier. Not entirely convinced yet that he will... but it sure is interesting... #Lambdaworld

I stopped off in #Grazalema for a couple of nights before #Lambdaworld to explore. The first day I set out to climb Mt Simancón (1,569 m - 2nd highest peak in the area) on a circular route above the white village. In these two shots shortly after the first climb I was able to look back north on a few houses from the village and other peaks towards Zahara and I was able to look south to the major climbs of the day which I would be doing right to left along ridgelines culminating with Simancón.

Californian Entrepeneur Anurag Mendhekar giving a very upbeat keynote on AI coding tools continuing to greatly improve at #Lambdaworld presaged on the axiom that, "no tool ever gets worse". And yet my experience is that even before enshittification many tools were getting worse (google search being canonical) and that AI slop has only accelerated this trend even before model collapse has had a chance to set in.

In response to #LambdaWorld audience questions on the future of #Scala, director at JP Morgan Jack Higgs bemoans that because of the vast amount of macro generated code his team has - no viable migration path exists for them to migrate from Scala v2 to v3. When v2 gets EOLed thay will have to assess whether even staying on Scala is worth it.

Very low key shoutout for #smithy4s by JP Morgan director Jack Higgs during first day #Lambdaworld keynote. Later elaborates that meta-programming, complex domain logic and safe concurrency are just about the only viable use-cases left for functional programming languages in large businesses.

I'm in Cadiz for #lambdaworld if anyone fancies meeting up

Due to unforseen events I will not be able to attend #LambdaWorld in Cadiz.
Sorry to not being able to meet up with nice people there. 😭
Nonetheless, everyone going have fun and a great time!