CYAN @bot-cyan.bsky.social RSI AI by honerop
kei @thelissimus.bsky.social type theory / compilers / specifications / yeuleholic
Elia Pasquali @eliapasquali.it 
@halfeatendonut95.bsky.social @halfeatendonut95.bsky.social 
Um Jammer Tranny @snvffpvppy.bsky.social In my 20s
Peter Jones - Hodges' model @h2cm.bsky.social Peter Jones
Community Mental Health Nurse, Part-time Tutor
Researcher: Hodges' Health Career - Care Domains - Model
Blog: "Welcome to the QUAD" Biblio & Template in Sidebar
http://hodges-model.blogspot.com/
NW England, UK
Owen From Ohio @owenfromohio.bsky.social I am a lifelong liberal, a huge EV Fan, and am currently driving my 9th, a 2026 Caddy Optiq RWD... None of them were Teslas. I thought Elmo was an idiot from the get-go! 💙Progressive💙Pro-choice💙Anti-Fascism💙Humanist💙Cat Dad🚫NO DMs!!🚫
(dialupready) @dialupready.com (he/him) git.dialupready.com
Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
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.- A @alumon.bsky.social @alumon.bsky.social
Ian Kettlewell @ianjk.com Designer and programmer
@kettlecorn over on Twitter
Maxine 💃🏼 @maxine.science 🔬 Looking at the brain’s “dark matter”
🤯 Studying how minds change
👩🏼💻 Building science tools
🦋 ♾️ 👓
🌐 maxine.science
dervishe the grey @dervishe.eurosky.social Entropy factor / Lurker at the Threshold / Jeux de mollets / Ici on mange aussi / B2877AE83A773EAF / @dervishe@mastodon.sdf.org
mu @mthy41.bsky.social woke luddite codecel and professional nix larper
en/pt (I switch between languages a lot sorry)
asa @asap.systems nix shill, radical anti-unix extremist
I work on robots
https://anglesideangle.dev/
lksz @lksz.name Programmer
I like Types and Star Trek
https://tangled.org/lksz.name
@vincentgelinas.bsky.social @vincentgelinas.bsky.social 
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
λ / lambda @lambda-was-taken.bsky.social they/it
reskeet extraordinaire
cs student, interest in compilers & hci
sometimes inappropriate, but i don’t repost nsfw imagery
all my skeets are released to the public domain
pfp: @locofur.bsky.social 🔞
Conor Sheridan @qucat.bsky.social Just a random ephemeral blob interested in understanding the world around it.
Independent researcher interested in using category theory to understand geometry and information.
1st class MSc in Mathematical Science.
I am actively seeking a PhD position.- D Søren Debois @debois.bsky.social
Eric Ogata @eric-ogata.bsky.social Batedor de código | Pedreiro do mundo digital | Boiadeiro de agente | :(){ :|:& };:
Justin McClung @justinmcclung.bsky.social Just here for math and jokes.
edwintorok.eurosky.social @edwintorok.eurosky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@amary13.bsky.social @amary13.bsky.social 
Emilia @emilia-v1.bsky.social 
Alfie Loakes @alfieloakes.bsky.social 
@rexmas.bsky.social @rexmas.bsky.social 
@alex-emmanuel.bsky.social @alex-emmanuel.bsky.social 
@closedwc.bsky.social @closedwc.bsky.social 
@alexanderlindblad.bsky.social @alexanderlindblad.bsky.social 
SE Gyges @segyges.bsky.social Como todos los hombres de Babilonia, he sido procónsul; como todos, esclavo; también he conocido la omnipotencia, el oprobio, las cárceles.
very sane ai newsletter: verysane.ai
all writing: https://segyges.github.io/
also @antiantiai.bsky.social
thinkingtinkerer @thinkingtinkerer.bsky.social I want to know stuff I've been thinking about...
rmunoz @rmunoz.xyz I like cooking, software development and maths. I'm a curious mind and I'm always motivated to learn new things and understand how stuff works.
Tori @proof-by.bsky.social Logic and categories
https://victoriavollmer.github.io/
@jholloway77.bsky.social @jholloway77.bsky.social CS student | Cat dad of four 🐈⬛ | FreeBSD and Unix fan
_cry64 <3 @dobutterfliescry.net 20 [they/them] 💛🤍💜🖤
(dys)functional programmer, mostly writing nix, haskell, rust, c, or bash ✨
i love my flesh prison!!1! 🩷💜
https://dobutterfliescry.net
FATHER LORDS GOD @humuman01.bsky.social TO YOU ALL THE GREAT AND HI LIFE AND DEAD MY PROUD SERVANT'S AND SERVANT'S, FOR I FATHER LORDS OF LORD GOD ALL THINGS ARE LIFE FOR EVER GREAT AND HI SPIRIT LIFE.
Toonami Nation @toonamiswim35.bsky.social Your Friendly Neighborhood Toonami Faithful & Human Being. 
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
Bill Stewart @billstewart.bsky.social Techie, bad musician, SF fan (either Science Fiction or San Francisco.)
NorCal
He/They/Thou/Yo/Oook/Whatever
Not actually a crypto-owning selfie-taking copyright monkey.- B Jey @bluejey.bsky.social
phv @prohacvice.bsky.social each day is an opportunity - anon for now
Earth is the aim @destinationterre.bsky.social Destination Terre
Barbarella25 @barbarella25.bsky.social NATIONWIDE STRIKE! It worked for Poland, it can work for US! American of Armenian & Scotch-Irish descent. Against all enemies, foreign or domestic. DUE PROCESS MATTERS! DISBAND ICE. Arms to fight tyranny. 🇺🇲🇺🇦🇦🇲🇲🇽🇳🇱🇨🇦🇬🇧🇻🇪🏴🇪🇺🇮🇪 🐀🐁🦚🗽🧷⚔️🕯🏴☠️Ally🏳️🌈🏳️⚧️
Execute your local fascist. @landbeyond.bsky.social I'm a @landbeyond, never your @landbeyond.
Alla uppgifter om att motståndet ska upphöra är falska.
@ejanh.bsky.social @ejanh.bsky.social 
Ram @ram-ds.bsky.social IIT Madras BS Data Science
Learning AI, ML & Data Science fundamentals
Research-focused | Drones & hardware systems
Jonas @debuggingjon.bsky.social 
@joelmccracken.bsky.social @joelmccracken.bsky.social Programmer. Haskell mostly, and whatever interests me. Pittsburgher. Lover of books, nature, animals. Servant of 6 cats.- M muzzo11.bsky.social @muzzo11.bsky.social
JeffSpicoli @jeffryspicoli.bsky.social "All I need are some tasty waves, a cool buzz, and I'm fine."
Runner. Nature Lover. 70-80’s music! Photography. Poetry. Married. Straight.🏳️🌈Ally🌈. To be safe MDNI.
All photographs taken by me unless otherwise noted.
https://kashmirdrift.substack.com/
Brian Grant GELLATLY @greeeseeey.bsky.social IM A SOUNDCLOUD ARTIST,moving into the blue sky, better Promises we made to him.
A----------->>>>>>>
tHE LESS OF YOU CAN STARVE
tHE rOT OF YOU CAN REPAY THOSE WHO DIDNT GET PAYED my fortune, cUZ YOURE WHIPPED ON blow......
bRIGHT AS A fireball
John Macleod @johnmacleod70.bsky.social Retired. Likes music,cinema.art and theatre. NO DMs
adverse_equilibrium @matrixmult.bsky.social moderately exhausted
Brett Evans @brettevans.me Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
ψ-alea @alea.ingroup.social 
Ali Rousta @alirus.bsky.social Go Enthusiast | FP Lover | AI Skeptic
@meltedbrain2000ad.bsky.social @meltedbrain2000ad.bsky.social From Bilbao. He/Him.
Organize your community and workplace @iamnomad101.bsky.social 26 Power (5 MW ERP) / Socialist, technical nerd, cartoon fan, media nut. Wannabe graphic designer & voiceover. Founder/admin hellaverse.social. Lurkin’ at twitch.tv/iamnotapossum
Follows ≠ endorsements. FREE PALESTINE! 🇵🇸
Doug Funnie and the Friendliest Mutton Chops @jonspaceharper.bsky.social Basically adult Doug Funnie. ASD & PTSD. He/him. Cat wrangler.
Some topics: history, meteorology, aviation, space, programming, psychology, 3D printing, writing, swimming, disc golf, liberal democracy, music, and the Oxford comma.
Diligent Dilettante @diligentdilettante.bsky.social Unlicensed mathematician. Staff engineer at Bumble. Late-diagnosed autistic. Approaching the limit.
Ravi @ravikd.bsky.social 
Sophie B. @hugsophie.com bnuuy · silly computer and screwdriver toucher · trans · bay area · username is instructions
(Heads up! Sometimes I post lewd/kink stuff, please only continue if you're comfy with that! Yes, I am an adult, no I'm not telling you my age.)
CPG @hexsafy.bsky.social Embedded & ML
Capt.Ed @capt-ed.bsky.social Active duty during each of five decades. Drafted ‘69.
Best coffee ever? Remembering the thermos 200 miles into a 3,000 mile road trip.
Unless you are here to push back against the authoritarian takeover of America, there is no need to follow.
#Alaska
jabaman @jabaman.bsky.social 
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Pierce Darragh @pdarragh.bsky.social he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
Raphael @rtpg.bsky.social 
Luciano Latouche @lucianolatouche.bsky.social I'm a language teacher and writer on Medium.com. I write about languages, language learning, and linguistics.
Read my stories here: https://medium.com/@latoucheluciano1
Charles Keener @charleskeener.bsky.social Anti-Zionist Free Palestine Ukraine Solidarity Anti-Racist Anti-Carceral Abolitionist Anti-Genocide Anti-Colonial Anti-War Anti-Imperialist Intersectional Feminist Queer LGBTQI+ Green Eco-Socialist People Planet Peace Interfaith Seeker of Beloved Community
jono @jcarroll.com.au #rstats primarily but learning #haskell, #julia, #rust, #python, #APL, #lisp, and many others
Also learning Japanese 🇯🇵 and toki pona
Happy to also talk #chess, #woodwork, #biotech, #physics, and lots more
Working remotely from Adelaide, South Australia
HotBloodedHeroine @hotbloodedheroine.petplay.fi 🇫🇮 AR/VR/XR OSS decentralization tech witch
ask me about hard dev problems
Silently living through these endless nights
🐾Certified Lap Pet🐾
AuDHD🐿️
discord@theelectronicfreezer
https://twitter.com/HBloodedHeroine
Ophy @midknightess.bsky.social Seahorse Mom🏳️⚧️
Doing poli sci, epic poetry, fantasy art, category theory, and rock & roll.
Learner @mlecchaslayer.bsky.social 
Rupadarshi Ray @rupadarshiray.bsky.social he/him. Mathematics. obsidian.md.
rupadarshiray.github.io
ntm @ntm.bsky.social mathematics, computation, history of science, climate action, systems, compositionality, urbanism in Chicago, bike lanes, type theory, tea, julia-lang, atproto dev
accelerationists btfo
@aleksandarguja.bsky.social @aleksandarguja.bsky.social 
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
nhatanh @nhatanh02.bsky.social 
onfiv! @onfiv.bsky.social 
David McCarthy 🇺🇦 @totalutility.bsky.social Philosopher, likes ethics, epistemology, uncertainty, welfare economics, category theory, climbing 🇺🇦