Lambda Days
Your favourite Functional Programming conference is here ๐ฅณ
๐ฅ Save the date for 2025: 12-13 June! ๐ฅ
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure ๐ฅ
@bilki.bsky.social
Software Engineer @ Xebia I like Scala and functional programming. https://github.com/bilki ๐Murcia, Spain
@seanglover.com
Software engineer, OSS hacker, mawkish thrall to nosferatu๐ฆ, he/him. ๐ณ๏ธโ๐๐๐๐๐ถ๐โโ๏ธ๐ช๐จ๐ฆ https://seanglover.com/
@vasilis.vaslabs.io
Seasoned Software engineer Linux, Scala, Akka, Distributed systems. I love playing video games and tinkering on Linux Developing Cuprum 2929 as a side hustle! #scaladev by day #gamedev by night ๐ ๐ฅ๏ธ ๐ฎ ๐ง
@maxsang.bsky.social
Programmer, ex-physicist, musician, photographer, etc. London now, previously Manchester, Geneva & Munich. Yeah, that guy. Once upon a time I was https://twitter.com/max_sang Also at https://mastodon.online/@max_sang
@sjfloat.bsky.social
Types, Principles, Creation, Humanity Scala's been paying the bills. I respectfully disagree.
@ulipink.bsky.social
[she/her] inexperienced PL girl Oz arc :3 primarily Standard ML actively learning Oz, Twelf, Beluga, ฮปProlog, Mercury, F#, Ur, INTERLISP back-burner, Pascal, Scala, Isabelle, Scheme, Raku wish to learn Agda, Self, Picat, ATS, Erlang, AliceML & Shen
@kubuszok.com
Blog @ https://kubuszok.com JVM-Scala Book @ https://leanpub.com/jvm-scala-book Chimney @ https://chimney.scalaland.io
@scala-lang.org
A programming language that scales with you: from small scripts to large multiplatform applications. https://www.scala-lang.org
@margeditor.bsky.social
Book lover, sailing enthusiast, baker. I ๐ cats, so bring on the pics.
@lpil.uk
"the maintainer is a legitimate communist. i will not be supporting this language" - some yt guy, 2024 I made @gleam.run and I do gymnastics (badly) they/them or he/him. end fossil fuels. genocide is bad. ride a bike.
@crowdhailer.bsky.social
I am working to maximize agency in the digital world. I believe human ingenuity and productivity is diminished by the tools available today. eyg.run
@gleam.run
Support Gleam development on GitHub sponsors! https://github.com/sponsors/lpil
@gleam.paris
@dillonis.online
Software Engineer @vercel โฒ โข Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 โข http://github.com/dmmulroy โข http://twitch.tv/dmmulroy
@leostera.com
staff eng/pm making dev tools for #ocaml at @tarides.com ๐ mission for 2025: take care of leo ๐ธ street photographer at photo.leostera.com ๐บ watch me code: twitch.tv/leostera ๐ writes at leostera.com ๐ฆ๐ท๐ธ๐ช๐ณ๏ธโ๐๐๐ผ he/they #adhd
@jowro.bsky.social
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@idabzo.bsky.social
Functional Programming Ambassador passionate about fostering connections in tech communities. A marketer with expertise in JVM technologies, and organizing events. Enthusiast of Haskell, Scala, and Lean.
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@susanpotter.net
Antifascist, founder, options trader, and polyglot software engineer (Haskell, PureScript, Erlang, Scala, Nix, NixOS, Deno) with systems reliability and scalability focus. Irreverent heretic. Work with me: https://www.susanpotter.net/
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@mihai.page
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@sjoerdvisscher.w3future.com
#haskell #categorytheory #lumatone ๐ซ @boekencurator.bsky.social ๐ https://sjoerdvisscher.glitch.me ๐ผ https://tweag.io ๐ฃ๏ธ https://strijpskamerkoor.nl
@flora.pm
Flora is a package index for the #Haskell ecosystem. We serve the community. Follow for development news, operational status and higher-kinded memes
@anter.dev
23. ๐ฉ๐ช๐ฏ๐ต. uni student computer science. Fullstack with Python, TypeScript, React (Native), sometimes Angular; previously with Delphi. Currently learning Elixir. I like to listen to J-Core, K/J-Pop, Classical, and Techno music. https://www.anter.dev
@salarrahmanian.bsky.social
Scala / Java / Python Engineer based in San Francisco Bay Area. Interests in NixOS, Functional Programming , Haskell, Swift Lang, ML/AI & Distributed Systems. My blog: https://www.softinio.com
@ghostdogpr.bsky.social
Software Architect | Scala Lover | Creator of Caliban and Shardcake
@indoorvivants.com
Programmer, many languages, but only one I actually enjoy: Scala. I keep a detailed account of my various projects over at https://blog.indoorvivants.com/ and specifically the summary page: https://blog.indoorvivants.com/projects
@warski.org
Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
@softwaremill.com
Custom software by true engineers #ML #BigData #Scala #Kafka #Akka #Rust #Kotlin organizer: @scalar-conf.com @rustikon.dev
@larsarus.bsky.social
3D-printing, coding, hydroponicing, fermenting, and Rosenborg BK for my insanity. Dogs, gardening, crows, hiking, and foraging for my sanity. It's a balancing act. Some posts will be in Norwegian.
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. ๐ฆ: http://twitter.com/joomy ๐ธ๏ธ: http://joomy.korkutblech.com
@sebsto.bsky.social
Principal Developer Advocate @ AWS. ๏ฃฟ communities: Swift on the server-side, Amplify, EC2 Mac โ๏ธ Author for the AWS News Blog, ๐ฃ Public speaker ๐ Podcaster @ the AWS Developers podcast & "le podcast AWS en ๐ซ๐ท"
@sheenbrisals.bsky.social
Technologist | Speaker | Author | AWS Serverless Hero | Team Topologies Advocate | Serverless Development on AWS (O'Reilly) Writing "Speak Effectively At Conferences" https://leanpub.com/TheSpeakerBook https://sbrisals.medium.com
@gotocon.com
#GOTO Presents the Brightest Minds in Tech. Check out GOTO Conferences. https://gotopia.tech https://www.youtube.com/@GOTO-