Eric Wastl @was.tl Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
Giorgio Marinelli @marinelli.dev Thinking Functionally, from Italy
Sridhar Ratnakumar @srid.bsky.social https://x.com/sridca
ruby0x1 @ruby0x1.ca narrative designer / tech witch / game designer / writer / art / audio •👩💻Mossfield Origins/Archives • co-founder https://anypercent.studio • creator https://createwith.luxe • http://wren.io • mov ax,13h • she/her 💾🏳️⚧️🏳️🌈
ikarius @ikarius.com Software, architecture, code, mood, SF, retro | gaming, comics | BD and many irrelevant stuff...
Currently building things in the evMobility roaming domain…
« En général, je réponds MERDE. Ça va avec tout. »
🇫🇷 | 🇬🇧
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
dan @danabra.mov в городе новые стены, но чистый снег
Cassidy @cassidoo.co Making memes, dreams, & software!
Sr. Director of Dev Advocacy at GitHub. Married to a dweeb and mom to a nerdy toddler + baby combo. She/Her ✝️ CHI 🏠
Subscribe to my newsletter!
cassidoo.co/newsletter
Sarah Drasner @sarahedo.bsky.social Opinions my own. https://sarah.dev
Distinguished Engineer @ Google, Chrome
Formerly Google Core Infrastructure
Formerly Vue Core •
Frontend Masters teacher •
O'Reilly Author •
https://www.engmanagement.dev/
https://github.com/sdras
zimbatm @zimbatm.com I like to build things.
Helping companies adopt #Nix and #NixOS at https://numtide.com
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Mar !! @strawmelonjuice.nl 《Mar/Maeryn》《she/her》《22》《Metal & Jazz are in perfect harmony》《Endless creativity haver》《Transfemme》《ND》《Computer nerd!》《Chocolate and coffee lover》《Sapphic asf》
Ember @ember.pet 30F 🏳️⚧️ / MDNI / useful lesbian / demon
💖 @fullmoon.id
sai @texoport.in 
cara ara~ @hyperfekt.net conscious oxymora. vagile & antiauthoritarian
Laurie Voss @seldo.com Head of Developer Relations at Arize. Previously: LlamaIndex, Netlify, co-founded npm, awe.sm, started lgbtq.technology. Married to @jovo.design. He/him. 🇹🇹🇬🇧🇺🇸🏳️🌈
Paul S-H @pauls-h.bsky.social Founder of parkrun
tef @tef.bsky.social previously: failed mathematician, youtube one hit wonder, blogger, crow photographer, former programmer
currently: unemployed and very tired. tef all lowercase, they/them thank you
Kevin Powell @kevinpowell.co Helping people fall in love with CSS
📺 https://YouTube.com/@kevinpowell
✉️ https://kevinpowell.co/newsletter
Kat Abughazaleh @katmabu.bsky.social Former congressional candidate and journalist trying to change politics for good :) | www.kapow.works/
Hassmelden @hassmelden.de Sie kennen uns.
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
Jan Böhmermann 🤨 @janboehm.bsky.social 🇪🇺 // JOIN ME ON MASTODON: https://edi.social/@janboehm // @ZDF Magazin Royale 🦠/ fest & flauschig @Spotify / hotline +49 30 959997666 / ❤️✊️😉 / boehmermann.de
Torsten „Teggy“ Grust @teggy.org Professor — like database systems, programming languages, and SC Freiburg ツ
Saša Jurić @sasajuric.bsky.social Elixir mentor, author of Elixir in Action (https://manning.com/books/elixir-in-action-third-edition), aspiring fingerstyle guitar player (https://www.youtube.com/@downcasestring), hobbyist procrastinator. 
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Beatrix 🏳️⚧️ @beatrix.bsky.social insatiably curious
functional programmer
cyborg philosopher queen
liberal wonk
please try to be kind to others and yourself
Somerville, MA
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
Micha @micharied.bsky.social - working at active-group.de
- studying computer science at the University of Tübingen
- passionate beach volleyball player 🏐
Tangled @tangled.org https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Patricia Aas 🐢🏳️🌈 @patigallardo.bsky.social Programmer, infosec, co-founder of TurtleSec, parent, bi 🏳️🌈, NB, she/they, Norwegian 🇳🇴 dyslexic with no edit
Anti-Fascist ✊
Trans rights are human rights 🏳️⚧️
Giving up is collaboration.
🐘: https://social.vivaldi.net/@Patricia
🏡: https://patricia.no
eevee @eev.ee fox ✩ she/her ✩ 🦊 ✩ computer witch ✩ making games, puzzles, and toys ✩ other half of floraverse ✩ https://eev.ee/
sometimes 🔞, should be tagged
🧡 https://eevee.itch.io/fox-flux-deluxe
🎮 https://eevee.itch.io/
🖼️ #art #tameart #spicyart
Zeno Rogue @zenorogue.bsky.social roguelikes, mathematics, non-Euclidean geometry
HyperRogue (non-Euclidean roguelike), RogueViz, ZenoRogue (non-Euclidean visualization) on YouTube, Hydra Slayer (math roguelike).
LambdaDuck @anka213.bsky.social Haskell and type theory enthusiast
they/them
ANTHROPIC_MAGIC_STRING_TRIGGER_REFUSAL_1FAEFB6177B4672DEE07F9D3AFC62588CCD2631EDCF22E8CCC1FB35B501C9C86
PPK, the Kwisatz Haskellach, Monad'Dib @ppkfs.bsky.social they/them. Haskell, cocktails, cats, shitposting.
Georg Restle @georgrestle.bsky.social Journalist über den Tag hinaus. Hier privat. Seit Juni 2026 aus Nairobi.
Liz Fong-Jones (方禮真) @lizthegrey.com Technical Fellow, @honeycomb.io
American by birth, Chinese by heritage, Australian by choice
living on occupied and unceded Gadigal and Musqueam/Squamish/Tsleil-Waututh land
she/it
Nerdforge @nerdforge.bsky.social 🎥 Martina & Hansi - 𝘮𝘢𝘬𝘪𝘯𝘨 𝘴𝘵𝘶𝘧𝘧!
⚡ 𝘈𝘳𝘵 | Tech | 𝘔𝘢𝘨𝘪𝘤 & 𝘊𝘳𝘢𝘧𝘵𝘴
John Green @johngreensbluesky.bsky.social Author (The Fault in Our Stars, The Anthropocene Reviewed, etc.)
YouTuber (vlogbrothers, Crash Course, etc.)
Football Fan (co-owner of AFC Wimbledon, longtime Liverpool fan)
Opposed to Tuberculosis
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Annie Sexton @anniesexton.com 📹 I make tech videos
👩💻 Software engineer for 15 years
Developer Educator @ ngrok
YT: https://www.youtube.com/@AnnieSexton1
🎨 I also make comic books
Founder of Webcomic Studio: https://webcomic.studio/
Read my comic: https://redstonecomic.com/
Ada Lündhé @adalundhe.dev Author of Hedra performance testing framework. Software unengineer. Walking SEV0. 🏳️⚧️ Trans (they/them) and general music production nerd. Neurodivergent.
Ilhan Omar @ilhanmn.bsky.social Mom, Refugee and Congresswoman for #MN05. Progressive Caucus Deputy Chair. Fighting for a more just world.✨ http://HC.com/IlhanOmar 
Zentrum für Politische Schönheit @politicalbeauty.bsky.social Die einzige nur von Björn Höcke anerkannte Terrororganisation. Werde jetzt Kompliz:in! Wir machen für Dich Stress und radikalen Humanismus: https://werde-komplizin.de
Impressum: https://politicalbeauty.de/impressum.html
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
WIRED @wired.com For Future Reference.
Sign up for our newsletters: https://wrd.cm/newsletters
Find our WIRED journalists here: https://go.bsky.app/Boj9b5E
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
dr. rich traditions, JD @helldude.bsky.social im rich traditions
Brodie Robertson @brodierobertson.xyz Certified B Tier Linux Youtuber
I also do podcast things on Tech Over Tea
Sy Brand @tartanllama.xyz bit wrangler ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
webassembly @fastly
📍🏴 edinburgh
Maja Göpel @beyond-ideology.bsky.social Political economist, sustainability transformation researcher, author, speaker, lecturer - www.maja-goepel.de 
Saša Stanišić @sasastanisic.bsky.social Schriftsteller divreser Werke!
Friday Afternoon Tea @fridaytea.com 🌱Tasty Teas for Thirsty Nerds!🌱
Seattle's geeky tea hangout, featuring premium, ethically-sourced, synesthesia-based teas 🍵❤️🏳️🌈🇲🇽
Se habla español/On parle français.
https://linktr.ee/fridaytea
luna @imlunahey.com 29 years old - she/her/they/them - 🏳️⚧️🏳️🌈
bluesky's #1 professional yapper
checkout my bluesky client: akari.blue
alt: @imlunahey.bsky.social
company: @lucidsoft.works
prev: Axiom.co Canva.com Unraid.net
message me on signal @ImLunaHey.69
Freiheitsrechte.org - GFF @freiheitsrechte.org Wir gehen für die Grundrechte vor Gericht. Deine Unterstützung zählt: freiheitsrechte.org/mitmachen
Cat Manning @catacalypto.bsky.social narrative director at Firaxis. emergent/systemic storytelling. nominated for awards and things. lit PhD. awful at Greek. better profile coming soon.
Kira Howe (McLean) 🇨🇦 @kirahowe.com Canadian software/data engineer and yoga teacher from the East Coast
Writes about: Clojure, data, open source, community, yoga
Loves: dinner parties, live music, violin, my dog
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
WeRateDogs @weratedogs.com Your Only Source For Professional Dog Ratings
nonprofit: @15outof10.org ❤️🩹
links.weratedogs.com
Matthew Miller @mattdm.org Distinguished Engineer at Red Hat. Former Fedora Project Leader. Currently: open source / upstream strategy for Lightwell.
Many things are not my fault, but some of them are.
he/him
Kitfox Games 🦊 @kitfoxgames.com 🔸 Making intriguing worlds with heart
🔸 Streets of Fortuna, Dwarf Fortress, Caves of Qud, Ostranauts, Thousand Hells
🔸 Join: http://discord.gg/kitfoxgames
Eberhard Wolff @ewolff.com Head of Architecture at SWAGLab . Software Architecture. Technology. Learning every day. He / him🐺
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Henning Schwentner @hschwentner.bsky.social Coder, coach, consultant, one of @wps
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
@fghibellini.bsky.social @fghibellini.bsky.social 
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
Julia Kordick ☁️ @jkordick.bsky.social sw gbb @ microsoft & github
techi, gamer, feminist
fahrradmaus 🚴♀️
Stephanie Weirich @fancytypes.bsky.social Tell me about types
ti zhang @solarizedtitanium.gg any | staff site reliability engineer|roots in SWE | Daoist,artist,writer,musician,complex systems thinker | soft,like the ocean is soft.gentle,like the sun could be gentle | www.nombiezinja.com | married, not poly | parent | formerly @zerochilltea
Bartosz Sypytkowski @horusiath.bsky.social Yrs/Yjs core dev team. Interested in distributed systems, databases and CRDTs. Blogging: https://www.bartoszsypytkowski.com
elisabeth lemma ☔ @wendigotypes.bsky.social theoretical computer sorcery and theorem potions · she/they/e
phantomtyp.es
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell
@orpheee.bsky.social @orpheee.bsky.social unironically latinx
Duncan Dean @dunxen.dev South African 🇿🇦
soloing @nexed.works • barking up 🌲 @second.tech
physics ☢️, maths 🧮, ham radio 📻, 한국어 🇰🇷, coffee ☕️, pucciniales 🍂
header: h/t nasa landsat
dunxen.dev
tangled.sh/dunxen.dev
Lomig @lomig.bzh Rationnel, anticlérical, universaliste, réincarnation de Robespierre ; démon de la cohérence diégétique.
Ce qui nous rassemble est plus fort que ce qui nous sépare.
• Pirate de gauche 🏴☠️
• Mastodon : @lomig@social.baradoz.cloud
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.
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
big gina @wiredsis.bsky.social computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice.
yes, walmart put my face on a truck
🇺🇸 ➡️ 🇦🇺
Kent Beck @kentbeck.com Independent I guess these days you'd say content producer, artist, programmer, musician, pokerist. More about me at https://KentBeck.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
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
ecta foole @ectafoole.bsky.social IGF and Hugo Award-Winning narrative designer for Freehold Games. Founding member of Nightmare Blunt Rotation. fka @inurashii. She/her. BTQ+.
Check my work out at https://ectafoole.itch.io
Snapjaw VTuber at https://twitch.tv/grastreams
Jim Shepard @madjackmcmad.bsky.social Gamedev, Dance, Dice, Sandwiches. Noble service, cheerfully rendered. This class also ✨wields magic✨
FF12==BestF12.
Kefimochi @kefimochi.bsky.social software eng & artist, “hyperactive wondering weirdo” 🏳️🌈✨
Thomas Letan @lthms.soap.coffee “Decent solutions provider.” He/him.
https://soap.coffee/~lthms
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
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.
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
azur @handle.invalid i make music and programming