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
-
Following992
-
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 696 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 657 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 642 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 314 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 497 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Redacted @cercerilla
2K Followers 459 Following
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 311 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Tobias Pfeiffer @PragTob
4K Followers 998 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
873 Followers 322 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]
Arif Miah @ArifMiah01
5 Followers 186 Following TypeScript, Node.js, React.js, Next.js | Learning Full Stack Development | C/C++, Python
Sam @blackdiamondzzt
0 Followers 130 Following
Brian D. Colwell @briandcolwell
71K Followers 788 Following The future is being written in atoms and algorithms. My role is to help ensure we're reading that story accurately & positioning ourselves wisely. Quantum Nerd.
Serhii @perscalar
20 Followers 577 Following
Erxiopa @Erxiopa330849
40 Followers 1K Following
nc0 @nc0___
1 Followers 80 Following
person @secular_alkali
1 Followers 59 Following
hi @Rilkifeel
6 Followers 401 Following
!.! @xypyth
56 Followers 5K Following
Ola Andersson @OlaNAAndersson
138 Followers 1K Following Leading Architect. Before that several other things.
The Grumpy SRE (rob) @grumpy_sre
37 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
Extropy @extropy_ai
35 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
193 Followers 3K Following I am publisher and advertiser about CPA Marrketing in Social Media
Luella Turner @LuellaTurn32209
86 Followers 4K Following
Bas @basketticode
4 Followers 692 Following
Bruno Augusto @slimm082
3 Followers 260 Following Aprendendo programação funcional e teoria dos tipos
Little Hell @fameLiesAhead
133 Followers 3K Following
Soumya Panigrahi @soumyapanigrahi
117 Followers 606 Following Senior Engineer working on Distributed System
Bart Blast @Bart_Blast
824 Followers 6K 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
555 Followers 276 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
Jeremy Cheng @Jerrawik
12 Followers 7K Following
TheMhv⚡ @TheMhv
415 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 413 Following
Илющя @iliushia
42 Followers 1K Following "Всё очень просто"©️ Оригинально в Twitter с апреля 2018 года #ПодАскорбинкой с 2019 :D Удивительный гибрид продюсера и компьютерного учёного (безработный)
_leticia @_leticia
405 Followers 1K Following Galadriel of Lorem Ipsum 💻 🧬 📈 😓 → leticiafigueira, no bsky
GRiSP @grisporg
590 Followers 173 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
76 Followers 3K Following
Boris Burdiliak @borisburdiliak
262 Followers 894 Following Principal AI Eng 🤖 @Cequence_io mental health with AI 🧘 @bestofme_app 2 exits 💰 @_buildspace s3,s4 🟡 salsa 🕺| improv theater
Alpha Ho @_alphaho
33 Followers 720 Following
一葉扁舟 @yaoerhg
172 Followers 2K Following
Rahul @_rahulgoraniya_
56 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
84 Followers 249 Following #Software #development, #opensource, #Java, #Scala, #RPG, #videogames, roller #skating, #shotokan #karate, #bordgames, what else?
gwangsu @gwangssu
34 Followers 2K Following software engineer, gamedev, distributed systems, craftsmanshipBartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
José Valim @josevalim
53K Followers 72 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 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Graham Hutton @haskellhutt
8K Followers 696 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
47K Followers 230 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 359 Following Member of the @elixirlang core team, speaker, writer. he/him.
Louis Pilfold @louispilfold
5K Followers 837 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 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Martin Fowler @martinfowler
354K Followers 181 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 642 Following We build transformative solutions for the world’s most ambitious companies.
German Velasco @germsvel
3K Followers 341 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
309 Followers 194 Following I ask a lot of "why"... Staff Software Engineer • co-head of Java at @softwaremill ex 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
555 Followers 276 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
27K Followers 300 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
80 Followers 148 Following
flix @flixlang
2K Followers 0 Following The Flix Programming Language. A next-generation functional, imperative, and logic programming language.
Magnus Madsen @MagnusMadsenDK
295 Followers 201 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
114 Followers 211 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
15 Followers 49 Following Providing services in Functional Programming
MQ Summit @MQSummit
18 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
801 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
2K Followers 118 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Kent Pitman 🌎 @KentPitman
874 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
101 Followers 6 Following The Developer Voices podcast. Listening to the future of software from the developers making it happen.
Svilen Gospodinov @svileng
1K Followers 248 Following Engineering Manager at @remote | Author of "Concurrent Data Processing in Elixir" | @TheErlEf member | Semi-2nd dan 日本習字 | Photography enthusiast
@hauleth.dev @hauleth
768 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 720 Following We build and modernize core software systems and organise GOTO Amsterdam.
StickerApp @StickerApp
13K Followers 160 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
217 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
185 Followers 416 Following
Javier Torres full su... @drtowerstein
710 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 411 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
414 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
276 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 189 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 479 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 333 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