
Lambda World
@lambda_world
An international conference for Functional Programming enthusiasts.
October 23-24, 2025 - Palacio de Congresos de Cadiz, Spain.
ID: 3342509847
http://www.lambda.world/ 23-06-2015 10:56:59
2,2K Tweet
3,3K Followers
281 Following

Hugo Baraúna
@hugobarauna
Dev advocate @livebookdev - Also, curator @elixir_radar - Past: co-founder @plataformatec (acquired by @nubank)
Rúnar
@runarorama
Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
deech
@deech

Hadi Hariri
@hhariri
VP of Program Management @ JetBrains. Find me as @hadihariri.com on Blue Sky.
Susan Potter
@susanpotter
CTO / Principal SWE Consultant @referentiallabs. Antifascist. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems
Noel Welsh is @[email protected]
@noelwelsh

Domen Kožar
@domenkozar
❄️ Mainstreaming Nix. 💬 cal.com/domenkozar 🌲 @cachix_org founder 💻 devenv.sh 🌊 oceansprint.org
William Byrd
@webyrd
I like to make things.
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
Alexandra Cárdenas
@tiemposdelruido
composer/programmer/improviser/live coder/algoraver she/her 🚀 ✨#livecoding #algorave #algorithms #codes #av #creativecoding ✨Bartosz Milewski
@bartoszmilewski
Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Lennart Augustsson
@augustsson

Tomas Petricek (find me on BlueSky)
@tomaspetricek
Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
José Manuel Calderón Trilla (@jmct.bsky.social)
@josecalderon
Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Raúl Raja
@raulraja
Interested in AI, LLMs, Functional Programming & Formal verification. @arrow_kt maintainer. Be kind.
/Fay-lee-nuh/
@felienne
Moved to BlueSky permanently: bsky.app/profile/felien…
Jorge Galindo
@jorge__galindo
Cofounded a company, scaled it to +100 folks and $15M+ ARR, then sold and integrated it. Helping with @Hamiltoncoding and rocking with @onerecordclub
JuanPa
@1jpablo1
Se habla spanglish. Animal pictures. Sometimes I tweet about Scala and Lean.
Lunatech
@lunatechlabs
IT consulting, product research, development team. We specialise in custom solutions with emphasis on integration of diverse systems. 🇫🇷 @lunatechFr
Hongbo Zhang
@bobzhang1988
Lead of @moonbitlang @moonbitlang_cn Author of ReScript compiler @rescriptlang @hongboz_cn
François Chollet
@fchollet
Co-founder @ndea. Co-founder @arcprize. Creator of Keras and ARC-AGI. Author of 'Deep Learning with Python'.
Alejandro Serrano
@trupill
👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
David Bonilla
@david_bonilla
Marido de Candela. Papá de Irene y Dani. Del Atleti. True Galician. Hacker. Maratoniano lento. Autor de la @Bonilista. La mitad emocional de @petalo_xyz.
Jerónimo López
@jerolba
Picador de código en @ClarityAIEng
Matti Palli 🧙♂️
@tritlo
uncertified haskell engineer
Mario Fusco
@mariofusco
Java Champion ~ Open source advocate ~ Frequent speaker ~ @jugmilano coordinator ~ Drools project lead at @RedHat ~ Pragmatic dreamer ~ Europeist
Evan You
@youyuxi
Husband / Father of two / Founder @voidzerodev / Creator @vuejs & @vite_js. Chinese-only alt: @yuxiyou
Paul Graham
@paulg

Well-Typed
@welltyped
The Haskell Consultants
Xebia
@xebia_global
Creating Digital Leaders in the AI Era.
Andrii
@andrii_kinash

SPLASH Conference
@splashcon
SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Bryan Bischof fka Dr. Donut
@bebischof
Leading AI @theoryvc; Teach ML @rutgersu. Prev: Led AI @_hex_tech; Led Data @weights_biases, ML @stitchfix, Led Data @bluebottleroast
@[email protected]
@cyberglot
🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | cyberglot.lol/@april
Marcin Moskała
@marcinmoskala
Fullstack Kotlin, founder of @KtDotAcademy, JetBrains partner, GDE in Kotlin, author of Effective Kotlin and Kotlin Coroutines. Workshops: bit.ly/3WtTHIV
Alexy 🤍💙🤍
@chiefscientist
AI Community Architect @Neo4j. Chair, OSSci @NumFOCUS. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: functional.tv. Join DevReal.ai!
Emily Riehl
@emilyriehl
category theorist, working mathematician
ICFP Conference
@icfp_conference
ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Erik Meijer
@headinthebox

Krzysztof Cieślak 💙💛
@k_cieslak
Artist 🎨 | Photographer 📷 | Globetrotter 🌍 | Speaker 🤹🏻♂️ | Author of @IonideProject. 🚀 | Future of UX @GithubNext 🔬| Helped to create #GitHubCopilot
amy nguyen
@amyngyn
relatable content (NOT CHECKING DMS)
Scala
@scala_lang
Official account of the Scala Programming Language, developed at @epfl by @odersky, and maintained by Scala Center, LAMP, @Lightbend, and @Virtuslab
Lambda Days
@lambdadays
💥 Call for talks is open 💥 2 days of full immersion in languages like #Haskell #Scala #Elm #Elixir #Gleam and #Clojure 🦋 We're on other platforms too 🦋
Dmitrii Kovanikov
@chshersh
Functional Programming account #1. Senior SWE at Bloomberg. I write OCaml for money. All opinions are my own.
Miguel Angel Bautista
@itsbautistam
I am a research scientist @ Apple ML Research, seeking a grand unification of generative modeling 🇪🇸🇺🇸
Deepti Srivastava
@thedeepti
Building snowleopard.ai I believe in tech as an enabler for good! Ex- @Observablehq @Google Spanner @Oracle RAC. @PBWC Board Vice-Chair. Mom. she/her
Zanzi Tangle, now at Monoidal Cafe
@tangled_zans
Turning Category Theory into code Find me at: zanzix.github.io @zanzi.bsky.social
Joanna Wrona
@joanna_wrona

🌸🐑 mlep🥛🌸
@yandereidiot
🪬 Former CTO of @haskellfound 🧘 Core Eng Honcho @kadena_io 🪷 cohost.org/mlep 🐑 I love sheep ✨
💻🐴Ngnghm
@ngnghm
Welcome to the Swiftian World of Houyhnhnm Computing ("Hunam"). I am @fare's software alter ego (but see @phanaero for cryptofoo). Call me "Ann". 🐎Read my blog!
Serokell
@serokell
The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Maureen Elsberry
@mrelsberry
Global VP of Communications & Editorial @Xebia (@xebiafunctional) Alter Ego: @maureenelsberry
Anastasiia Filippova🇺🇦
@nasfilippova
Apple🍏, WorldQuant, EPFL, MIPT
MoonBit
@moonbitlang
Your next-generation coding platform. Fast, simple, and scale. Download: aka.moonbitlang.com/vsx
Domenico Luciani
@dlion92
Senior Software Engineer ~ Ex-@VMware|Ex-@Thoughtworks ~ Traveller and curious by design ~ he/him/iddu 🐘 @[email protected] ko-fi.com/dlion
Dragan Djuric
@draganrocks
Interactive Programming for Artificial Intelligence books read now aiprobook.com #Clojure #AI #ML #DeepLearning #Bayesian #Java dragan.rocks
Haskell Foundation
@haskellfound
haskell.foundation • a non-profit for building the future of Haskell
killian
@hellokillian
● building
KotlinConf
@kotlinconf
A conference about everything @Kotlin. Brought to you by @JetBrains. KotlinConf 2025 will take place in Copenhagen, Denmark on May 21–23, 2025.
Israel Pérez González
@israelperezglez
UI Designer / AI Experimenter / Figma User.
Scalabase
@scala_base
A free online conference and resources for Scala developers in the early stages of their Scala journey. Oct 28th Sponsors: @47deg, @ScalaCon @Scala_lang
Irene Parra
@ireneparra47
Event Coordinator at @47deg
Robert Avram
@amrobert11
NOBODY MOVE! ..I lost me brain.
Kotlin Day
@kotlinday
Come learn how people are making the most of Kotlin in Android, Google Cloud Platform, and multi-platform development.
J Haigh
@debugsteven
Deprecated; same username at squad.town
Jason McClellan
@jk_mcclellan
Member of the Web and Comms team at @NASAEarthData My strange alter ego is at @acecentric
Bow_Swift
@bow_swift
Bow is a library for Typed Functional Programming in Swift.