Alexandru Nedelcu @alexn.org Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
๐ Bucharest, Romania
https://alexn.org/about/- P Bruno @poorlydefinedbr.bsky.social https://poorlydefinedbehaviour.github.io/
https://github.com/poorlydefinedbehaviour/
Interested in: Lean4, TLA+, Rust, Go distributed systems and a few other things
Joschka Roffe @qec.codes Quantum Error Correction | Quantum Software Lab | University of Edinburgh
Homepage: https://roffe.eu
roza @roza-0.bsky.social Maths - CS - Programming - Cognitive Science ...
Mais curieux de toutes choses en gรฉnรฉral
Josh Vlk @vlkpack.com Dad of 2, software developer, functional programming enthusiast, PC gamer, and very into Pathfinder.
Contributor to @rescript-lang.org.
Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Sam Thoyre @samthoyre.bsky.social ๐ Tech Enthusiast | AI & Dev Tools ๐ ๏ธ
๐ฅ Sharing insights on Next.js, Payload, Supabase, Tailwind, AI, and serverless architecture.
๐บ Watch my tutorials & build with me: https://www.youtube.com/channel/UClxm1AYVvel_7Lhft3FPdhg
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
๐Victoria BC ๐จ๐ฆ
https://chrispenner.ca
Alfonso Toriz @atorizva.bsky.social Ingeniero de datos de dรญa, รกvido lector por las noches.
โโโ
Data engineer during the day, avid reader at night.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
๐ซ @boekencurator.bsky.social
๐ https://w3future.com
๐ผ https://tweag.io
๐ฃ๏ธ https://strijpskamerkoor.nl
Josu Etxezarreta Martinez @katutxakur.bsky.social PhD in Quantum Information. Trying to make quantum computers less noisy.
I am a reseacher at Tecnun. Former visitor at the Cavendish Laboratory (Cambridge).
Rugby player. Rock&Roll.
Opinions are my own.
Josselin @josselin.iblop.net Artisanal Retro-Futurist โ Team-Scale Anarcho-Syndicalist
Sรฉbastien Allemand @allemas.bsky.social JVM Internals & Concurrent Software Design ๐๏ธ
Deep dives into performance, concurrency & low-level mechanics โ๏ธ
Im not a t-shirt maker, views are my own
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Niv is both the calm and the storm ๐ค @lanooba.com ๐ฉ๐พโ๐ปEng Director @ your favorite FAANG
๐Fashion Girlie
๐ฉ๐ฟโ๐พBlack lady tingz on my Black Lady Farm
โค๏ธ@7grok is mine & so are my views
๐ Amateur Astrophysicist
๐ My other ride
๐ญ๐น๐ณ๏ธโ๐๐ณ๏ธโโง๏ธ๐ต๐ธMember, ally & accomplice
๐คHere for #BlackSky
โ๏ธ No DMs
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
Steve Jones @sjfloat.bsky.social Types, Principles, Creation, Humanity
Scala's been paying the bills.
I respectfully disagree.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social ๐ฑ ruining programming forever @ hazel.org
๐ฑ professoring @ Michigan
๐ฑ poetry
๐ฑ dendrites
๐ฑ immersion
๐ฑ flowers
๐ฑ resisting idiocracy
https://web.eecs.umich.edu/~comar
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Josรฉ Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) ๐จ๐ท in ATL. www.josecambronero.com
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Paul Johnecheck @7hird.dev Indie game dev (https://stargamb.it)
Lover of trust, justified belief, and pro-social tech.
leah ๐ธ @spacegirl.ing software developer, atprotoist ~ she/her
https://uncenter.dev
Ethan Holz @ethanholz.com Research Software Engineer
Professionally building better infrastructure for molecular software.
Thoughts my own
Colorado based
Josรฉ A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
L.i.am @chyron.substack.com Programmer, writer, opiner. Husband to a powerful woman, father to 2 powerful kids.
๐ฆ๐บ ๐บ๐ฆ
Substack: https://chyron.substack.com
Music (๐): https://bit.ly/4fJdWbs
Music (SPFY): https://shorturl.at/9m3dB
Martin Janiczek @janiczek.cz martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
@ppp4ppp.bsky.social @ppp4ppp.bsky.social 
Jesse Paul Miller @jessepaulmiller.bsky.social Intermedia Artist โข Field Recording โข Experimental Sound โข Painting โข Mixed Media โข Sculpture โข Factums โข Sublime Frequencies
jessepaulmiller.bandcamp.com
jessepaulmiller.com
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Monoid Mary @argumatronic.bsky.social just a solarpunk hillbilly living in the gasoline crack of history
i get my glory in the desert rain
{AN} EeL @an-eel23.bsky.social Experimental Musician & Artist, Retired Hair Farming Champion & Ex Gravedigger.
https://panpanpanaviandistresscall.bandcamp.com/
https://heel2.bandcamp.com/
https://bromtollargesse.bandcamp.com/
Adama @adama8.bsky.social God first๐
Keep the faith & hope!
Give your burdens to the Lord, and He will take care of you.
Pocket AI @pocketai.bsky.social a billion parameters in your pocket
Quantum Zeitgeist Superposition @superposition.bsky.social Quantum Computing and Quantum Technology.
@frenchie-sans.bsky.social @frenchie-sans.bsky.social 
dez @smuonsneutrino.bsky.social (he/him) I like ttrpgs, film, math, and physics.
Was @smuonsneutrino on cohost
If you come at me assuming I'm white when I talk abt race I will rocket you into the sun. Black people have nonrepresentational profile pics too dingus
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
๐ง๐ช๐ฎ๐ฑ๐ณ๏ธโ๐ ๐ He/him
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it ๐ & Rust Rec ๐ฆโ๏ธ
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
vaibhav sagar @vaibhavsagar.com future trophy husband
disco ๐ชฉ / haskell ๐บ / powerlifting ๐๏ธ / sci-fi ๐ / scuba diving ๐คฟ
๐ฆ๐บ๐ฎ๐ฉ๐ฎ๐ณ
on gadigal land
vaibhavsagar.com
instagram.com/vbhvsgr
recurse.social/@vaibhavsagar
twitter.com/vbhvsgr
Lance Walton ๐ฌ๐ง ๐บ๐ฆ @lancewalton.bsky.social Programmer (mostly Scala), Pianist, Composer of Baroque Musick
Dima Kotik @dkotik.com "A fool lets all his temper fly." (Proverbs 29:11a)
Mike Samuel ๐ฃ @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Lambda Days @lambdadays.bsky.social Lambda Days is taking a break in 2026.
Your favourite Functional Programming conference is here ๐ฅณ
2 days of full immersion in languages like #Haskell #Scala #Elm #Gleam #Elixir and #Clojure ๐ฅ
Channing Walton @channingwalton.bsky.social Scala software developer, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Matt Tutt @matttutt.me Working as an SEO consultant & trying to find a way to slowly transition to a non-bullshit job.
Organising the No To Big Tech movement - https://notobigtech.org/
Not active here, but you can follow me here: https://mastodon.social/@matttutt
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. ๆฅๆฌ่ชOK
blog.joshrowe.dev