Lambda Days @LambdaDays
📅 Save the date for 2026: 11-12.06 Celebrate with us functional languages like #Haskell #Scala #Elm #Elixir #Gleam #Clojure 🦋We're on other platforms too📅 lambdadays.org Krakow, Poland Joined October 2013-
Tweets5K
-
Followers3K
-
Following995
-
Likes2K
we still have free tickets for on-site FUN OCaml 2025 in Warsaw, btw hurry up and plan your travels!
🎥 New keynote video is live! Romain Michon (Faust core dev & researcher at @Inria) shows how a functional language like Faust powers real-time sound processing — from musical instruments to immersive audio systems. 🎶 With live demos & cool embedded applications! 👉…
🚨If your Thursday’s dragging a bit, here’s something to shake it up ⚡ @odersky, the creator of Scala, gave an awesome keynote at Lambda Days, and the video’s now up! He dives into making capabilities safe and convenient, with some very cool Scala features along the way. Watch…
⚡️ Lightning talks 2025 recordings are here! 7 bite-sized talks packed with quirky ideas, experimental projects, and functional fun - from Gleam to gaming, Unison to unusual use cases. Perfect if you’ve only got a few minutes but still want to get inspired. 📺 Watch now:…
Many programmers would love to use "productivity languages" like @elmlang, but what about the business person who often makes the final decision? How can we rethink our strategies such that authors, developers, and businesses grow stronger together? 🔄 youtu.be/YPAaUFGrlEE
Here's a link to the Bank of Korea report from my @LambdaDays talk: bok.or.kr/portal/bbs/P00… I think they have somewhat unstable links, so you can search the following if that particular link goes down! [한은조사연구 2008-13] 일본기업의 장수요인 및 시사점
🎥 A present from Lambda Days to start the week! New Keynote video released! @evancz, creator of Elm, shares ideas on how we really get functional languages adopted in industry: from business concerns to collaboration across the stack. 💡 Watch “Rethinking our Adoption Strategy”:…
🎥 Just dropped: Moa Johansson’s Lambda Days keynote on AI for mathematical discovery! From LLMs to symbolic tools - can AI become a true co-author in math? 📺 Watch here: youtu.be/rLr6VCLlq64
#LambdaDays were a blast! A perfect balance between thought-provoking keynotes from researchers and industry-grounded talks covering various languages and ecosystems. And of course the hallway track! Glad to have met lots of interesting people. Going home with a lot of ideas.
Just finished my first @LambdaDays in Krakow. Great experience! - thanks to the organizers for putting it together.
There where a lot of great talks and ppl at @LambdaDays. I really enjoyed it. Next year I plan to be a speaker
Yesterday I finally presented my talk about Kyo's encoding of algebraic effects "Suspension: the magic behind composability" 🥳 If you want to understand how Kyo works under the hood, see the link in the reply 🪄 I had a blast at @LambdaDays! Meeting people from other…
Thank you @DevoxxPL & @LambdaDays! It's been very intense three days, with great hallway/functional/Java/AI tracks :) Hope to see you next year!
It's not everyday that you see a presenter with a leek. But it's a mascot, that's the "space leek" 😄
Watching Martin Odersky's presentation at @LambdaDays on implementing Capabilities in Scala is truly exciting! #Scala #Programming
Time to thank our sponsors that made this event possible 👏 We appreciate your ongoing support, @StanChart in Poland, @ErlangSolutions and @ahrefs 💜 #lambdadays #functionalprogramming
Day two of @LambdaDays and @nchechina is speaking! Catch 'Functional programming in robotics' at 14:20 local time. 🤖 Learn why are robots lagging behind in FP and distributed systems. And get updates from the ROSiE (ROS integrating Erlang) project! ➡️ lambdadays.org/lambdadays2025…

Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Erlang Ecosystem Foun... @TheErlef
6K Followers 2K Following We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Jakub Kozłowski @kubukoz
5K Followers 298 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Erlang Solutions @ErlangSolutions
11K Followers 645 Following We build transformative solutions for the world’s most ambitious companies.
Adolfo Neto @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Konrad ‘ktoso’ Ma... @ktosopl
8K Followers 3K Following “Life is Study!”; [email protected]; Concurrency & Distributed Swift @ Previously: Reactive Streams (TCK), @akkateam Actors, HTTP & Streams, @geecon
Saša Jurić @sasajuric
10K Followers 315 Following Elixir mentor, author of Elixir in Action (https://t.co/7jiMtR2zUQ), hobbyist procrastinator. 🦋 https://t.co/kgfgLN2uwG
Adam Warski @adamwarski
7K Followers 185 Following Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
Code BEAM @CodeBEAMio
10K Followers 2K Following The Erlang, Elixir and Gleam events by @CodeSyncGlobal 🇺🇸 Code BEAM Lite Stockholm 2 June 25 Secure your early bird ticket ➡️ https://t.co/X6KkvTYTu4
Sergey Tihon has gone... @sergey_tihon
4K Followers 491 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Redacted @cercerilla
2K Followers 460 Following
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 301 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Tobias Pfeiffer @PragTob
4K Followers 1K Following Likes people. Teamplayer, Open Source Enthusiast, Software Developer, Benchmarker, TDDer, Speaker. Ruby, Elixir, JavaScript. Runs @rug_b. Loves green.
Conor Hoekstra @code_report
8K Followers 678 Following @nvidia • @youtube • @adspthepodcast • @arraycast Blusky: https://t.co/UPjBqO9qFS Mastodon: https://t.co/bjvEaww90u
Cocoa @_uwu_cocoa
870 Followers 325 Following
SoftwareMill @softwaremill
5K Followers 837 Following Delivering high-performance backend systems #Scala #ML #ApacheKafka | Check @rustikonconf @scalarconf @scalatimes & Mastodon: [email protected]
Tyler A. Young ⚗️... @TylerAYoung
3K Followers 1K Following #ElixirLang developer working at @JumpAdvisorAI. Former software dev at @felt and @XPlaneOfficial. He/him. @[email protected]
hi @Rilkifeel
5 Followers 392 Following
!.! @xypyth
46 Followers 4K Following
Victoria @L33sJ3E732G0rjt
11 Followers 515 Following Need a new content parntnerrr heheeh, link beloww lets see if we are closeeee!
Ola Andersson @OlaNAAndersson
138 Followers 1K Following Leading Architect. Before that several other things.
The Grumpy SRE (rob) @grumpy_sre
31 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
Extropy @extropy_ai
36 Followers 280 Following Building open-source AI tools to simplify coding and make programming education accessible to all. 👉https://t.co/QC9zfTGlwy 👉https://t.co/SB6FvJv0A3
TheSeekerDev @theseekerdev
0 Followers 25 Following
Jashim Shikder @JashimShik38453
178 Followers 3K Following I am publisher and advertiser about CPA Marrketing in Social Media
Avecalk @Avecalk0316900
79 Followers 2K Following
Luella Turner @LuellaTurn32209
54 Followers 3K Following
Jiralhau @Jiralhau68395
81 Followers 2K Following
Bas @basketticode
5 Followers 676 Following
Bruno Augusto @slimm082
3 Followers 252 Following Aprendendo programação funcional e teoria dos tipos
Little Hell @fameLiesAhead
128 Followers 3K Following
Soumya Panigrahi @soumyapanigrahi
115 Followers 604 Following Senior Engineer working on Distributed System
Bart Blast @Bart_Blast
708 Followers 5K Following Building Hologram, a full-stack Elixir web framework
MortonRambler @MortonRambler
0 Followers 1K Following
Isaac Harris-Holt @IsaacHarrisHolt
504 Followers 127 Following I write funny words that make the compooters do the things. Sometimes I Tube. 🦋 https://t.co/fkYqp64UDN
farsi_rumi @farsi_rumi
0 Followers 2K Following
Barry @chiroptical
558 Followers 277 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Jeremy Cheng @Jerrawik
11 Followers 6K Following
TheMhv⚡ @TheMhv
409 Followers 2K Following 🖥️ Bitcoin Student and Open Source Contributor 🧠 Searching for knowledge 🌐 Contributing to humanity 🛜 @bhbitdevs host ⚡ [email protected] #Bitcoin
Geazi Anc @geazi_anc
4 Followers 400 Following
Илющя @iliushia
47 Followers 1K Following "Всё очень просто"©️ Оригинально в Twitter с апреля 2018 года #ПодАскорбинкой с 2019 :D
_leticia @_leticia
407 Followers 984 Following Galadriel of Lorem Ipsum 💻 🧬 📈 😓 → leticiafigueira, no bsky
GRiSP @grisporg
583 Followers 170 Following From hardware to cloud, the GRiSP Ecosystem is a project by Peer Stritzinger GmbH. We build embedded tools, Erlang-powered, but not Erlang-bound.
Peter Deckow @PeterD73171
50 Followers 3K Following
Boris Burdiliak @borisburdiliak
261 Followers 891 Following Principal AI Eng 🤖 @Cequence_io mental health with AI 🧘 @bestofme_app 2 exits 💰 @_buildspace s3,s4 🟡 salsa 🕺| improv theater
Alpha Ho @_alphaho
29 Followers 720 Following
一葉扁舟 @yaoerhg
168 Followers 2K Following
Rahul @_rahulgoraniya_
63 Followers 1K Following BSc in CS @unibirmingham | PTAS, Parameterized Complexity & Graph Algorithms | Seeking PhD opportunities
Karthik Krishnamurthy @typetetris
41 Followers 2K Following
yazan daba (يزن د... @AlienCompilers
177 Followers 1K Following Compiler engineer and programming languages designer , Do compilers at @RaincodeLabs ,Chef wanna be , PC Builder, Novice investor
Davide Pavan @davide_pavan
85 Followers 246 Following #Software #development, #opensource, #Java, #Scala, #RPG, #videogames, roller #skating, #shotokan #karate, #bordgames, what else?
gwangsu @gwangssu
38 Followers 2K Following software engineer, gamedev, distributed systems, craftsmanship
fox @FoxtrotSenritsu
3 Followers 101 Following programming, indie games, manga • he/him • trans rights, black lives matter, free palestine
Storm @AndersonAndrue
424 Followers 348 Following Functional programming, startups, AI, web dev, Effect TS
Benny Lund @bennylund
46 Followers 225 Following
Danica Brown @dbrown428
353 Followers 318 Following
Matías Mascazzini @matiasmasca
2K Followers 4K Following Workhorse Techie, software developer craftsmanship. I like #Ruby https://t.co/mM02ua2Q9e, RubyOnRails & drink 🧉. He/Him. Tweets in English OR SpanishBartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
José Valim @josevalim
53K Followers 70 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Dmitrii Kovanikov @ChShersh
42K Followers 204 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Andrea Leopardi @whatyouhide
7K Followers 360 Following Member of the @elixirlang core team, speaker, writer. he/him.
Louis Pilfold @louispilfold
5K Followers 834 Following "the maintainer is a legitimate communist. i will not be supporting this language" I'm on bsky too! @ https://t.co/zcIovshd5n they/them or he/him. end genocide.
Erlang Ecosystem Foun... @TheErlef
6K Followers 2K Following We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
Livebook @livebookdev
5K Followers 2 Following Open-source, Elixir-powered computational notebook. Automate tasks, analyze data, run ML models, prototype, and build internal tools with notebook-based apps.
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Martin Fowler @martinfowler
352K Followers 183 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
Jakub Kozłowski @kubukoz
5K Followers 298 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Erlang Solutions @ErlangSolutions
11K Followers 645 Following We build transformative solutions for the world’s most ambitious companies.
German Velasco @germsvel
3K Followers 340 Following 💧Elixir and 🔥 Phoenix consultant (see https://t.co/kTbNt4SJc5) 🎥 Short tips https://t.co/CqhBJEf2SE 🎙 @elixir_friends
Adolfo Neto @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Konrad ‘ktoso’ Ma... @ktosopl
8K Followers 3K Following “Life is Study!”; [email protected]; Concurrency & Distributed Swift @ Previously: Reactive Streams (TCK), @akkateam Actors, HTTP & Streams, @geecon
Sebastian Rabiej @sebastianrabiej
303 Followers 194 Following I ask a lot of "why"... Senior Software Engineer at @softwaremill Leader of @WroclawJUG
Isaac Harris-Holt @IsaacHarrisHolt
504 Followers 127 Following I write funny words that make the compooters do the things. Sometimes I Tube. 🦋 https://t.co/fkYqp64UDN
Barry @chiroptical
558 Followers 277 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Amanda Brock @AmandaBrockUK
3K Followers 3K Following Tech CEO/ Adviser; 20 Influential Women Tech, Computer Weekly 23/4; Computing 100 IT Leaders 23/4; Exec Producer SOOCon; Editor Open Source Law, Policy Practice
LambdaClass @class_lambda
28K Followers 301 Following LambdaClass is a venture studio that works on difficult problems related to distributed systems, ML, compilers and cryptography.
Elaine Naomi | elaine... @elaine_nw
3K Followers 2K Following 🇧🇷Staff Software Engineer, https://t.co/8XKO70IWu0. in Computer Science, nerd nas horas vagas, apaixonada por tecnologia e gatos | she/her/ela | Prima da @ksriness
Unison | @unison-lang... @unisonweb
5K Followers 5 Following Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa
Haemin Yoo @yoohaemin
79 Followers 149 Following
flix @flixlang
2K Followers 0 Following The Flix Programming Language. A next-generation functional, imperative, and logic programming language.
Magnus Madsen @MagnusMadsenDK
292 Followers 202 Following Associate Professor. Lead developer of Flix.
Natalie Czaplicki @NatCz
4 Followers 13 Following
Yolc For Ethereum @yolc_dev
76 Followers 36 Following Yolc is a safe, expressive, fun language for Ethereum, powered by YulDSL/Haskell.
Brian Carroll @carrbrianoll
28 Followers 104 Following
hellwolf @hellwolf2025
109 Followers 212 Following Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid. Love to hang around in the Haskell community, too.
Functional Software @funcsoftware
14 Followers 49 Following Providing services in Functional Programming
MQ Summit @MQSummit
17 Followers 9 Following MQ Summit explores the future of messaging systems with expert talks and networking on scalable, reliable solutions. Join us in Berlin on 6 November 2025.
Almir Mesic @almirmesic
794 Followers 2K Following F#/C# dev. Domain Driven Design. Senior Software Developer at REN. Author of F# Bite-sized - an online introductory course to F#.
Arthi-Chaud @arthi_chaud
20 Followers 25 Following I do code and pizzas. I like pretzels but I prefer code more. 📚 CS PhD Student • Functional Programming, Compilers, Low-Level & Web
Flavio Brasil @fbrasisil
3K Followers 3K Following Principal eng @Nubank + working on https://t.co/1d2vug8xx7 he/him
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Kent Pitman 🌎 @KentPitman
875 Followers 482 Following Philosopher, Technologist, Writer. Progressive independent. Using this same handle in the blue sky. Pachyderm: @[email protected]
Alexander Oloo @alekcz
905 Followers 1K Following Developer. Designer. Founder. CTO. | M&G 200 Young SA ‘22 🇿🇦 Currently building the future of financial tools for freelancers and creators at @stubafrica
Developer Voices @DeveloperVoices
97 Followers 6 Following The Developer Voices podcast. Listening to the future of software from the developers making it happen.
Svilen Gospodinov @svileng
1K Followers 250 Following Engineering Manager at @remote | Author of "Concurrent Data Processing in Elixir" | @TheErlEf member | Semi-2nd dan 日本習字 | Photography enthusiast
@hauleth.dev @hauleth
774 Followers 379 Following @elixirlang developer, @TheErlef WG member, dad, sci-fi fan, I was once organising @pyrkon Meme Driven Developer at @supabase Own opinions only
Trifork Amsterdam @triforkams
2K Followers 721 Following We build and modernize core software systems and organise GOTO Amsterdam.
StickerApp @StickerApp
13K Followers 161 Following We print quality custom stickers starting at $26 • check out our materials options: https://t.co/Sn20Y7N6nt • IG: @stickerapp • Tik Tok : @StickerApp
Damian Nowak @nwkr
452 Followers 265 Following Co-Founder and CEO of @Virtkick. Arch Linux hacker. Open source enthusiast.
Iterators @iteratorshq
219 Followers 333 Following We Make Ideas Happen #iteratorshq #softwaredevelopment #mobileapps #ux #ui #startups #scala
Chris Kipp | @ckipp@h... @ckipp01
1K Followers 387 Following I enjoy working on tooling, simple tech, and learning. One day I'll know things. I try to write Scala and host the Tooling Talks podcast. he/him
Piotr Paradziński @pparadzinski
186 Followers 416 Following
Javier Torres full su... @drtowerstein
715 Followers 3K Following Software dev and psychologist, keen on functional programming. Former neuroscientist. Game AI researcher at night. Petty dabbler of the cognitive arts. He/they.
ConferenceBuddy | @co... @ConfBuddy
1K Followers 412 Following Providing a platform supporting everyone who wants to attend a tech conference but is uncomfortable on their own 🤩 support: ☕️ https://t.co/awpNeJnAsg
Daniela Sfregola @DanielaSfregola
2K Followers 350 Following Author of Get Programming with Scala, Senior Software Engineer
Estela Pinto Requejo @eprequejo
100 Followers 274 Following Senior Full-Stack Software Engineer @Company_Watch, scala enthusiastic, front-end lover, ng-allthethings
Hillary Benzell @HillaryBenzell
415 Followers 695 Following 🌈 she/her, dog parent, french fry fanatic. previously @retool, @figma, @stripe, @eventbrite.
Alexandra Cárdenas @tiemposdelruido
2K Followers 2K Following composer/programmer/improviser/live coder/algoraver she/her 🚀 ✨#livecoding #algorave #algorithms #codes #av #creativecoding ✨
Scalabase @scala_base
277 Followers 1 Following A free online conference and resources for Scala developers in the early stages of their Scala journey. Oct 28th Sponsors: @47deg, @ScalaCon @Scala_lang
Marcin Moskała @marcinmoskala
11K Followers 186 Following Fullstack Kotlin, founder of @KtDotAcademy, JetBrains partner, GDE in Kotlin, author of Effective Kotlin and Kotlin Coroutines. Workshops: https://t.co/k2YqQwjvS3
Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Xebia @Xebia_Global
6K Followers 497 Following Xebia drives digital transformation with AI, cloud, data & automation, helping firms deliver smarter, faster, and better with 5,500+ experts in 16 countries.
Mario Fusco @mariofusco
48K Followers 332 Following Java Champion ~ Open source advocate ~ Frequent speaker ~ @jugmilano coordinator ~ @QuarkusIO and @langchain4j committer at @IBM ~ Pragmatic dreamer ~ Europeist
Reed Copsey, Jr. @ReedCopsey
2K Followers 2K Following Executive Director of the F# Software Foundation | CTO of C Tech: https://t.co/mbabhVB1P7 | Blog: https://t.co/xctDaQ7orp | He/Him