@m---x.bsky.social @m---x.bsky.social 
Fernanda Graciolli @heyyfernanda.bsky.social AI + Formal Verification. Cofounder @ Midspiral. I build tools that make sure your AI-generated code doesn't break the Internet. She/Her.
brigitte @servic82.bsky.social 
Ben Brown @benbrown.dev 
@spike-2002.bsky.social @spike-2002.bsky.social 
Gregory Gay @greggay.bsky.social Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
@gumdrop-88.bsky.social @gumdrop-88.bsky.social 
Luis Ignacio @nachoo.bsky.social 
Jennifer Gable @jennifergable.bsky.social 🌎🏟️🎪🎫Touring Headliner Viral🦠Comedian, Lol0nKillTony,Funny0r😵,Special ‘6 DRINK MINIMUM’ 300K+ Views on YouTube!🤣🫳🎤JenniferGableOfficial.com PHILLY 10/29! FL 4 Shows! Denver 5 Shows! 🎟️🎫& Subscribe: https://bnds.us/4otirb 2nd📺🃏🍿⛲️
@doctasquid.bsky.social @doctasquid.bsky.social 
Laurence Gonsalves @laurence.gonsalv.es I like old computers, making things, science, math, and science fiction.
Currently making something new at @Nipht.io. Helped create Google Reader.
@xenomachina@oldbytes.space on the fediverse. Formerly @laurence on the birdsite.
IDIC 🖖
Marie Louise Morin @fleuraloes005.bsky.social Je suis une femme assez ouverte et sympas
Je souhaiterais agrandir mon cercle d'ami(e)s N'hésiter pas à me contacter
Au plaisir.
@arte-synth.bsky.social @arte-synth.bsky.social Senior SaaS engineer → re-skilling into Rust + Scientific ML.
Shipping in public: notes, code, posts.
Developing Rookframe: 3D VTT for any kind of TTRPG
Blog: https://arte-synth.dev/
Ania @aniatwardowska.bsky.social 🇵🇱 Polish, but based in London 🇬🇧
I strategise stuffs within software development - https://makingstuffs.com
Traveller (💕 Vietnam & Italy) building a travel app - https://www.degrees.travel/
Writer (screenplays, stories and blogs)
Yoga obsessed
Michael Barnard, TFIE Strategy @michael-barnard.bsky.social Chief Strategist, TFIE Strategy. Reality-based decarbonization analysis: separating real transition progress from pilots, subsidies, announcements, orderbooks & hype. TFIE Strategy Briefing: briefing.tfie.io
Dave @davejeeping.bsky.social 🌞
opale !! @n1ark.acouphene.net compsci phd + soteria rust @ https://soteria-tools.com
writing + dev @ https://acouphene.net
myself @ https://n1ark.com
she/her 🏳️⚧️
Dmitry Mazin @cyberdemon.org "Linux engineer" in London
If you like computers, read my blog: www.cyberdemon.org
@deimos29.bsky.social @deimos29.bsky.social 
Mandeep Cheema @themandeepc.bsky.social Working on safe, network-based computer use @ https://indices.io. Systems engineer, database hugger, and a budding boulderer
Rob Knight @root.guru A large language model mostly trained on Neal Stephenson novels- O @oskarallan.bsky.social @oskarallan.bsky.social
univalence and brae @jack.quartztz.com [he/they] EN/FR/IT
quartztz.com
Stop playing all that bullshit, those weird notes. Play the melody.
MSc @ EPFL
verification obsessed bunny with too little time on their hands.
R Ludwig @holufam.com Ole cheese-eater
Harmony Turbines @harmonyturbines.bsky.social Empowering everyday homeowners with clean, renewable wind energy through innovative wind turbines. 🌬️🌱🏡
www.wefunder.com/HarmonyTurbines
https://HarmonyTurbines.com
#WindPower #CleanEnergy #GreenLiving- A Ayub @ayubpandith04.bsky.social Systems Engineer specializing in Rust, distributed systems, reproducible benchmarking, and infrastructure reliability. Focused on building transparent, auditable, and deterministic software that prioritizes engineering rigor over hype.
River Dillon @k-monk.org https://k-monk.org/
Interests include compilers, computer music, independent games
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
Jeremy Cheng @jerrawik.bsky.social 
Dmytro Vyazelenko @vyazelenko.bsky.social Aeron, JCrete/JAlba, performance.
Thomas Hühn @2uo.de CompSci, EdSci. Functional safety. Open Source Compliance. OT cybersecurity.- T @tclaret.bsky.social @tclaret.bsky.social
Neil Degrassi Highson @chhurpi.bsky.social Former HoTMaiL user and proud Ralphs Rewards member
atreidesnuts @atreidesnuts.bsky.social made at 366ppm
As a wizard's power grows, and their knowledge widens, their path narrows until they can do nothing. Nothing except what they must do.
:wq
Fran @frangonf.com 
Caidan @caidan.dev Studio Partner @internetstudio.bsky.social
Long time software engineer and web designer
Move fast, break things.
My site: caidan.dev
My gallery: grain.social/profile/caidan.dev
@conornash.bsky.social @conornash.bsky.social 
Ben Frederickson @benfrederickson.bsky.social Working on open source. Author of py-spy. https://github.com/benfred
skeet shooting @saemg.bsky.social got 3rd place in a grade 2 science fair once.
here to be silly, make friends, and occasionally talk aboot computers
eh-political
(he/him)
QuantumDynamic RangeVideo @qdrv2026.bsky.social https://github.com/qdrv/QDRV
Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
Keisuke Inaba @kei178.bsky.social Ruby/Rails Software Engineer. Creator of Affitch (Shopify Public App), IDWIW (https://get.idwiw.app), Rekyu (Invite-only Feedly replacement), and others. Digital Nomad Since 2018. https://lnk.bio/kei178
Mason Hall @jmh.fyi real number denier
11thDwarf 🦀 @11thdwarf.bsky.social 🦀 Self-hosting enthusiast | mycrab.space | 200+ apps, 2 min setup, your domain | Building in public | blog: taskai.mycrab.space
https://mercato.isgudtek.workers.dev/
#selfhosting #devtools
https://github.com/isgudtek/mycrab-tunnel-skill/blob/main/SKILL.md
edwintorok.eurosky.social @edwintorok.eurosky.social 
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
@pfwilk.bsky.social @pfwilk.bsky.social 
ECOOP '26 @ecoop-conference.bsky.social ECOOP is Europe’s longest-standing annual Programming Languages conference!
The 2026 edition is hosted at Vrije Universiteit Brussel, Brussels, Belgium from June 29th to July 3rd. See you there!
#ECOOP #ECOOP26
https://2026.ecoop.org
@hhgttg80.bsky.social @hhgttg80.bsky.social 
@annask.bsky.social @annask.bsky.social 
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
@kberanek.com @kberanek.com 
@mrluanma.bsky.social @mrluanma.bsky.social 
heartpunk (sophie!!) @heartpunk.com trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk
39 y/o, MDNI 🔞
she/they/bitch(es)
alt for pfp: the soul of the rose by john waterhouse
alt for banner: sappho and erinna by simeon solomon
Rafael França @rmfranca.bsky.social Rails developer
DJ @dj.phoking.gay KEYWORDS ➡︎ cats, console hacking, program synthesis, reverse engineering, the rest of the technical crap doesn’t really matter. Friend-shaped and loving. <3
she/her 🏳️🌈🏳️⚧️
Lafayette, Indiana
uli :3 @ulipink.bsky.social she/her
dilettantish girl failure
Thomas Rauch @thomasrauch.bsky.social Tech-enthusiastic lean-agile leader | Live each day as the person you hope they will remember when they speak your name for the last time.
Demystifying Industrial Tech (Blog):
www.demystifyingindustrialtech.com
Tejas Sanap @whereistejas.com autodidact, tools for thought
https://whereistejas.com
@contello.bsky.social @contello.bsky.social 
Ivo Anjo @ivoanjo.bsky.social Working on building a Ruby profiler @datadoghq.com //
Previously @awscloud.bsky.social codeguru profiler team //
I like ruby, kotlin and poking the jvm 😁
@santiagomtz.bsky.social @santiagomtz.bsky.social Control Engineer ⚙️
OT/IT 🛠️
IIoT 🤖
👨💻
@k-ian1.bsky.social @k-ian1.bsky.social 
@prasannaicaet.bsky.social @prasannaicaet.bsky.social 
foxche @foxche.bsky.social 
Sam Goto @sgo.to Make the web go brrr
Chebucto @chebucto.bsky.social 
QCon @qconferences.com Uncover emerging trends and practices from the world’s most innovative software professionals to help you validate your software roadmap. Celebrating 20+ years. Learn more about our conferences at QConferences.com and InfoQ.com.
🔗 linktr.ee/qconferences
Saurabh Singh Rajput @sauftwarebug.bsky.social I like my Tea and AI, Green🌱,
PhD Candidate @DalhousieU,
NIT Nagpur CS'20, ex @FidelityInvestments
Lidiany Cerqueira, PhD @lidianycs.bsky.social Senior Software Engineer | PhD in Computer Science. I often post in English, but I'm Brazilian, so I will occasionally post in Portuguese as well.
🔗 https://lidianycs.site/
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
Furkan Onder @furkanonder.bsky.social Python Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPF
https://github.com/furkanonder/
Alabhya Jindal @alabhyajindal.bsky.social 
Vegard Stikbakke @vegardstikbakke.bsky.social Christian
Software engineer in Norway working remotely
You should have kids!
https://vegardstikbakke.com
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.
Vinh @tidefield.dev 
kebab 🙌 @ledneb.bsky.social 
Matt Keenan @negabinary.bsky.social 
Chase Bussey @chasebussey.com Software engineer, mainly .NET
Experimenting with Learning in Public at chasebussey.com
Haruka @odzuki.bsky.social Hi, this is Haruka, I am a software developer living in Japan| He/Him
📷 Photography: @haruka-lens.bsky.social
✍️ Blog: https://mooxiu.github.io/
🗺️ Geoguessr: https://www.geoguessr.com/user/664331c2446cb2301f76c565
Atul @atul8007.bsky.social 
Jason Harrison @drjasonharrison.bsky.social Citizen of the USA, Canadian resident since 1992. Husband, dad, software developer, keeper of the house plants.
Internet Hedgehog 🦔
@ezhik.jp A hedgehog in Tokyo.
🦔🦔🦔🦔🦔
End-user programming believer.
日本語OK
https://ezhik.jp
https://mastodon.social/@Ezhik