Randall Munroe @xkcd.com 
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🫐 currently working on https://vixen.rs and ML/ASR stuff, occasionally making videos about my latest code crimes 🦀 rust shill until something better comes up
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
waffle (recovering from EMF) @waffle.pet compiler witch, striving to outshine stars 🌠
blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
My programming is always O(n) point @quephird.bsky.social (def me (atom {🏳️⚧️ :trans ⌨️ :code 🌷 :plants 👗 :fashion 🕹 :games 🎨 :art 💃 :house 🎛️ :synths 🧱 :lego 💅 :nail-polish 🍳 :cooking}
joe a wilkins @joeonhere.bsky.social tech and labor @futurism.com
signal: joe.989
https://linktr.ee/joe_on_here
Evan Czaplicki @acadia.engineering Designer of https://elm-lang.org and https://acadia.engineering
Lúcás Meier @cronokirby.com Cryptographer working on Penumbra
Cryptography, FP, Math, and other cool stuff.
Blog too infrequently at cronokirby.com
Lost in Seattle somewhere
UCAN @ucan.xyz User Controlled Authorization Networks
A secure, local-first, user-originated auth system
UCAN works offline, online, fully P2P, federated, or with central servers
🏗️ https://github.com/ucan-wg
🗣️ https://discord.gg/zPF6vsZx5T
📆 https://lu.ma/ucan-wg
maia arson crimew 🏴 @crimew.gay it/she
investigative journalist, hacktivist, dj, award losing musician and many other things
signal: @nyancrimew.01
im THAT fucker, look me up on wikipedia
some posts may be by ryan
https://maia.crimew.gay
🩵 Deputy Rabbit Appreciator 🩵 @storakatten.bsky.social Polyglot functional programmer in more ways than one. Montréal resident and novice French understander.
I do platform engineering stuff these days. Future Principle software architect
Bunny parent.
Any Pronouns.
https://ecluse-proxy.com
Charity Majors @charity.wtf cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
Björkus "No time_t to Die" Dorkus @thephd.dev 💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀
✍ Writing: http://thephd.dev
📷 Avatar KIINGKISMET (https://kiingkiismet.com/)
🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
Jack @jackvalinsky.com MS Computational Linguistics student
Film photography 🎞️ 📸
Interested in languages: ga, de, ja, zh, haw
Antoine Leblanc @nicuveo.gay Friendly neighbourhood queer nerd. My cutie mark is a lambda. They / them.
https://nicuveo.me
Edoardo; @edolg.net diehard 9front fan | "plan9 fixed this 20+ years ago" (2002 ca.) | favs: 9front, openbsd, plan9 c, rc shell, go, haskell | cishet, antifa, yuropean
langs: italian (native), english (ok)
https://edolg.net
Andreas Flierl @andreas.flierl.eu Software developer. Wannabe musician. Gamer.
“The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.”
― Albert Camus 
jade @jade.fyi mostly on mastodon https://hachyderm.io/@leftpaddotpy
webbed site: https://jade.fyi
ashley st. clair @ashleystclair.bsky.social leopards ate my face
thank you for the gifs kam @crow.garden computer graphics person (looking for a job)
fan of crows & wolves
name is Kam/Kami or Myrsky
✨they✨
🇵🇸 🇪🇭
thunderseethe @thunderseethe.dev 
remotehiro jobs | find work, anywhere #OpenSalaries @remotehiro.com A no-nonsense, and lightweight job board with mandatory salary ranges | made and hosted in 🇪🇺 | www.remotehiro.com | @sekun.net
WE DO NOT ACT AS JOB APPLICATION MIDDLEMEN. ONLY AS AN AGGREGATOR.
@dfacastro.bsky.social @dfacastro.bsky.social 
Dea @tohkie.com she/her, 22
cybersecurity | nixos | functional programming | rhythm games | UMD '26
hrt: march 10th 25
goth chinese american puppygirl
@joelmccracken.bsky.social @joelmccracken.bsky.social 
Alex🏳️⚧️ @bluephoenixalex.bsky.social 23 (she/her) | Enjoyer of Yuri | Reader of manga and watcher of anime | I like to make things sometimes | Ethogirl | #1 certified Gohands hater | discord: bluephoenixalex
🔆
Website: https://alexquennelle.github.io/PortfolioSite
Xe @xeiaso.net Some nerd that uses computers | Blogger with 500-ish articles at https://xeiaso.net | @theprincessxena on the bird website | CEO @techaro.lol | Minors DNI
@philderbeast.bsky.social @philderbeast.bsky.social 
Clash Language @clash-lang.bsky.social A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/clash-compiler
Fred Hebert @ferd.ca Staff SRE @ honeycomb.io, Tech Book Author, Resilience in Software Foundation board member, Erlang Ecosystem Foundation co-founder, Resilience Engineering fan. SRE-not-sorry.
blog: https://ferd.ca
notes: https://ferd.ca/notes/
@resilienceinsoftware.org @resilienceinsoftware.org 
tobioloke = Yapper { fName = "Tobi", age = 28} @tobioloke.com haskell, game dev and graphics enthusiast | want to make 3D video games with haskell | stop palestinian 🇵🇸 and congolese 🇨🇩 genocide!
Qubit @qubitsays.bsky.social •Tells computers how to do stuff
•Glowy and flowy creature of the night
•she/they
Hot take: maybe we should make things better for everyone
shreyan (normal) @shreyanjain.net im shreyan
🏳️⚧️ they/she
NonGMOTrash @nongmotrash.bsky.social i like what i like
Dr Huw Campbell @huwcampbell.com Functional programmer, physicist, trainee zoo keeper, circus performer, and Dad.
Adrian Sieber @adriansieber.bsky.social Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
Ola @olamusta.bsky.social Software Engineer, FP guy (particularly Haskell), I stream on programming (theory and practicals), gaming, piano, etc. on YT and Twitch @ola_musta.
I also sometimes write at thunk.blog. Opinions are my own
Compositional IT @handle.invalid We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
Gergő Érdi @gergoerdi.bsky.social Finite tape Turing machine
entropy @entropy.obscurityskies.xyz Making things on atproto.
Building study tools at memsora.com
she/her
psu @psu-1313.bsky.social In the tubes at https://mutable-states.com
Sam Derbyshire @samderbyshire.bsky.social Cohomology enthusiast. I've seen rings you people wouldn't believe.
der Elbenkönig @derelbenkoenig.bsky.social Big Haskell guy. Medium-sized kubernetes guy. I also play saxophone and video games. hmu. Looking for a job BTW
hayleigh @hayleigh.dev • Drawing boxes and writing words at xyflow
• Core Team at Gleam
• Author of Lustre
I’m just a 🏳️⚧️ girl learning 🇫🇷 and vibing in 🇧🇪🇬🇧
Fuck Nazis. ACAB. Black Lives Matter. Trans Rights Now.
NT 5.2 Pyongyang Official™︎ @meow.jp.net I like hacking
2026.04.29
Ellyse @ellyxir.com Programming languages enthusiast, choir, classical singing, video game creation, retro computers, languages
YouTube: https://www.youtube.com/@ellyse7777
PeerTube: https://video.mycrowd.ca/c/learn_together/videos
Fedi: https://humanwords.cc/@ellyxir
@kephasp.bsky.social @kephasp.bsky.social 
David Buchanan @retr0.id reverse engineering, cryptography, exploits, hardware, file formats, and generally giving computers a hard time
Fedi: @retr0id@retr0.id
Macroblog: https://www.da.vidbuchanan.co.uk/blog/
Lewis @oyster.cafe It's me!!
working on tangled, tranquil pds, & more
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@bgamari.bsky.social @bgamari.bsky.social 
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
@terrorjack.bsky.social @terrorjack.bsky.social 
Michael Chavinda @mschav.bsky.social Curious about many things
Rude1 (did:web edition) @ruuuuu.de founder & ceo, blacksky algorithms [ @blackskyweb.xyz ]
affiliate, berkman klein center @harvard.edu
this is my sovereign account. the other is @rude1.blacksky.team
biscuitsec.org @handle.invalid 
puppy @duckinator.bsky.social a pile of small dogs in a meaty land vessel • KC1QGV • they/them
prone to creating technological cognitohazards
making music again
member of Gem Coop's Project Leadership Committee
#rustlang, #rubylang, #pythonlang, #cprogramming
Daniel @c418.org I Music sometimes 🐈⬛
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Joe @doscienceto.it Software Dev & Accidental Compiler Engineer, into Programming Languages, DataVis, Functional Programming, 3DPrinting, sewing, vim, spaces, he/him
I spend more time on Mastodon at:
https://functional.cafe/@hungryjoe
UpCloud post-FOSDEM @upcloud.com A cloud provider from Finland, with data centers around the world.
Private, secure, cost-effective servers.
This account is run by engineers.
Would you like to know more?
https://upcloud.com
Functional Programming India @fpindia.bsky.social Uniting Functional Programming Language enthusiasts across India.
Zulip: https://zulip.functionalprogramming.in
Telegram: http://t.me/fpncr
Web: https://functionalprogramming.in/
Simon @hojberg.xyz Front-End @unison-lang.org (Leading UCM Desktop and Unison Share)
https://github.com/hojberg
Web: hojberg.dev
Writing: https://programming-is-collaboration.com
Dance more!
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
@andrherr.bsky.social @andrherr.bsky.social 
Erlang Ecosystem Foundation @theerlef.bsky.social We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM #erlef
https://erlef.org/
Mark Seemann @ploeh.dk 
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
teo @doublenegation.bsky.social writes Haskell mostly | loves public transport | studied philosophy | 🏴 | | they/them
Arnaud Spiwack @aspiwack.bsky.social Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Alex McLean @slab.org Researcher + musician based in Sheffield UK https://slab.org/
Co founder of algorave, toplap, algomech, pattern club, strudel, tidalcycles
Part of Then Try This https://thentrythis.org/
Exploring algorithmic patterns https://algorithmicpattern.org/
Kris Nuttycombe @nutty.land Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://zodl.com and build software for worker-owned cooperatives at https://aftok.com by night.
Signal: @nuttycom.01
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
@jappiejappie.bsky.social @jappiejappie.bsky.social 
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@jameshaydon.bsky.social @jameshaydon.bsky.social 
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
lynn @chordbug.bsky.social math music conlangs weird toys ⎃
https://lynn.github.io/
Annette @weeble.bsky.social I like puzzles and diagrams. Queer.
(@weeble, @nettles@mastodon.scot)
Megan Sullivan @meganesulli.bsky.social Software developer / educator. I learn things and then I write them down.
📝 meganesulli.com
🎥 twitch.tv/meganesulli
>>= @noologist.bsky.social I reached out just for the connection
but when she wove her hand in mine
my rushing heart beat out a code
now writ behind my eyes
an order cut into my dreams
to blacken out the skies
I post about computational cognitive science (she/her ❤️🧡🤍🩷💜)
KamilaP @kamila-pokoj.bsky.social Proud socialist, feminist and dog mum. Language geek and fun facts freak. Doing marketing stuff for tech and NGOs | she/her
oliwia @oliwialtaria.bsky.social she/her
>:3c
Jan van Brügge @jvanbruegge.cerberus-systems.de 
Nadinda @nadinda.bsky.social AD4K, help. Spiraling into endless hobbies
Ian Duncan @iankduncan.com I used to be smart, now I just try hard.
Haskell enthusiast
Me, https://iankduncan.com
Maker, https://wireform.systems/
Engineering at Mercury, formerly Forge, CircleCI, others
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
Jacqueline @notjack.space rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — works on CI platforms at Google — writes Racket elsewhere — admin of @claude.notjack.space
The Lambda Garden project @lambdagarden.org Let's make creative computing safe, fun, and human.
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet