Lambda World

@Lambda_World

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

Torremolinos, Spain

Pinned
Lambda World
@Lambda_World
Sep 4
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
00:00
Lambda World
@Lambda_World
14m
The AI apocalypse is almost here and tickets are almost gone - if only! Unemployed or student with no tech experience? Apply for a free Tieso Ticket (Thu/Fri from 3 PM). Don't be Papafrita get your ticket now! lambda.world/tickets/ #AI #YAYYAYConf #LambdaWorld
00:00
Lambda World
@Lambda_World
Oct 16
200+ microservices, a tech hub in Málaga and a lion on the logo. LeoVegas, the mobile gaming group, is a Platinum Sponsor of Lambda World. Thanks for backing the community! 📍 Torremolinos · Oct 29–30 #Kotlin #LambdaWorld
Lambda World
@Lambda_World
Oct 15
Time series data piling up, and your monitoring bill with it? @VictoriaMetrics, the open-source monitoring database built to be fast and light on resources, is a Bronze Sponsor of Lambda World! 📍 Torremolinos · Oct 29–30 #Observability #LambdaWorld
Lambda World
@Lambda_World
Oct 8
AI can write code. But how do you make it write CORRECT code? @dhsorens from the Ethereum Foundation shows how Lean specs can constrain AI agents at Lambda World, with examples from SNARKs and zero-knowledge cryptography. 📍 Torremolinos · Oct 29–30 #Lean #FormalVerification