@doctasquid.bsky.social @doctasquid.bsky.social 
Ammar Hashmi @ammarhashmi.bsky.social Looking for MS position for Spring/Fall 2027 | Associate AI Engineer | CS Graduate
Sean @srockrocks.bsky.social Distributed systems, compilers, high tide + aetherflux, drum machines
Sean Kearney @sr0ck.bsky.social 
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
UCSB Computer Science Department @ucsb-cs.bsky.social 
Component Creator for Joomla @component-creator.com 🚀 The fastest way to build Joomla extensions!
🛠️ Generate custom Joomla components in minutes—no coding required.
🌍 Trusted by developers worldwide.
🔗 https://www.component-creator.com
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
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/
roza @roza-0.bsky.social Maths - CS - Programming - Cognitive Science ...
Mais curieux de toutes choses en général
@julien-lange.bsky.social @julien-lange.bsky.social 
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
Th. Ma. @thierry.marianne.io 
@acendrou.bsky.social @acendrou.bsky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
Tom Turcotte @tomturcottetech.bsky.social Mentored devs for 5+ years. Now building X Growth Engine full-time to fix my own social media struggle: authentic growth without endless scrolling.
xgrowthengine.com
Low Society @metacapitalism.bsky.social Deeply committed to opposing MAGA. my pup, books, TV, old movies, jazz, rock, and classical music, beach walks, writing (fiction and non-fiction), abstract painting, stone sculpting, deep sleep, and non-violent villainy.
transition metal noble gas @aurxenon.io @aurxenon on Twitter
Occasionally good posts - he/him
CS PhD student at Johns Hopkins :)
Opinions are always my own
Blog is https://aurxenon.io
Michael Mitchell @michaelmitchell.bsky.social I'm running for City Council in Ward 14 Toronto-Danforth. https://toronto-danforth.ca
Quick, what’s the longest word you can find —> https://bsky.app/profile/michaelmitchell.bsky.social/post/3mvadd2s4ic2l
@yersizyurtsuz.bsky.social @yersizyurtsuz.bsky.social 
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Session Expired @session-expired.bsky.social I write software, and sometimes it even works. C#, Rust, Python for ML/DL. 🏳️🌈🏳️⚧️ ally
Ichbrauchekeinennamen @thetreeoftenere.bsky.social Der Drache des Südens.
Will, hook’em horns, McKenna @mckennawill.bsky.social Dad, Software Engineer, politics nerd, Longhorn alum🤘🏼🐂 #VoteBlue #BLM he/him.
@tniesz.bsky.social @tniesz.bsky.social 
Subash @anterr.bsky.social 
@adam-mx.bsky.social @adam-mx.bsky.social 
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Sanjay Sinha @sanjaysinha.bsky.social A little bit of everything- J Jona Christopher Sahnwaldt @jcsahnwaldt.bsky.social
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Shenanibro @shenanibro.bsky.social Takin' it one step at a time, man.
Working on systems programming, formal stuff, exotic hardware.
Trying to be nice 🌻- R Ryan Chapman @rchapman.bsky.social Senior Site Reliability Engineer. I think that crypto/web3 is bs scam. All cryptofolks get an instablock.
Opinions my own.
http://github.com/ryanchapman/
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io- B @badgery.bsky.social @badgery.bsky.social
- J @joerocca.bsky.social @joerocca.bsky.social Low-alpha lurking/reposting account. Interested in OSS ML, web, XR, EA (esp WAS/WAW), alt proteins, housing, aging, and stuff like that
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Talia Ringer @taliaringer.bsky.social - K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
@raskdhkashda.bsky.social @raskdhkashda.bsky.social 
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Arif Perdana @arifperdana.net Author | Educator | Speaker | Digital Strategy | Data Science and Analytics | Interested in Philosophy, Photography, Music, Movie, and Tech | An Experienced Academic in Multiple Countries | No Scammers | Posts and Comments are on my own | arifperdana.net
Mark Essel @victusfate.bsky.social Dev, gamer, science, and startup nerd.
smallbets 🌊
@pmcgee1969.bsky.social @pmcgee1969.bsky.social 
@aziem.bsky.social @aziem.bsky.social 
Claia @clautinni.bsky.social 
@ccadar.bsky.social @ccadar.bsky.social 
Burny @burnytech.bsky.social On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. http://burnyverse.com Upskilling @StanfordOnline
Haoyi Zeng @haoyizeng.bsky.social 
Bunny 🐰 @sweetbunnykins.bsky.social I am new here but excited for bluesky 🥶💕
Balajee @balajee.bsky.social I make networks faster—because buffering is evil. Assoc Prof @UIC. PhD @Purdue. Ex-NVIDIA chip tinkerer. Your MacBook Air might run my chip.
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Dr.ussy @usmanalii.bsky.social 🇵🇰 Proud PTI Supporter | ❤️ Big Fan of Imran Khan | Sharing my thoughts and moments! Follow @usmanalii.bsky.social Dr.ussy) for updates, inspiration, and engaging content. #PTILover #ImranKhan 🇧🇫 #BlueskyVibes #Dr.ussy 🇧🇫
Stella coxx @stellacoxx2.bsky.social Down for fun
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Sallie-May @hcl.bsky.social https://github.com/Sallie-May
I respond to all pms !
main account https://bsky.app/profile/bee-lzebub.bsky.social
🎲 druth 🐌 @massivefermion.bsky.social Giskardian Robot, Marxist Human, Communist Comrade
💻 github.com/massivefermion
📸 instagram.com/massivefermion
@sujitkm.bsky.social @sujitkm.bsky.social PhD Student @ CSE, IIT Kanpur
@v-a-s-a.bsky.social @v-a-s-a.bsky.social 
@best-danya.bsky.social @best-danya.bsky.social - A @atomb.bsky.social @atomb.bsky.social
eviedot @eviedot.bsky.social forever making a programming language, playing rocket league and being anxious | 🏳️⚧️🏳️🌈 she/her
Shuyang Liu @shuyangliu.bsky.social CS PhD student @ UIUC
Jesse @jse.li he/him 🦠 nyc 🏙️ friend of lactobacillus 🤩🌈🏴 we do not yet know what a computer can do
https://twitter.com/__jesse_li- D @davidtgoldblatt.bsky.social @davidtgoldblatt.bsky.social
Meta Language @language.metaproject.frl Meta, a #HumanFriendly #Programming #Language
Reducing #software waste
- Productive
- Highly efficient & blazingly fast
- Universal, runs from #8bit #Atari 2600 to #64bit #PC, to #web #browsers, to #IBM #S390 #mainframes
https://language.metaproject.frl
Jared Kostrzewa 🇵🇱🎧🎤🚀 @jaredkostrzewa.bsky.social 🚀 Co-owner Before Festival Sun Festival
💪 Manager: Natalia Sisik Ola Szkolda Julia Kostera
🤝 Wrzucam tutaj ciekawostki I fakty ze świata 😇
Na naszych festiwalach zagrali m in Oki, Quebonafide, Kuban, Bedoes
#SocialMedia | #Events #Music
@theshaman77.bsky.social @theshaman77.bsky.social 
Chenyu Zhou @zcysky.bsky.social PL / FM PhD Student@USC
Yuzhou Fang @yzfang.bsky.social Program verification/analysis, software engineering, and programming languages.
PhD Student at University of Southern California.
Opinions are my own.
John O'Leary @johnwoleary.bsky.social 
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.
Chris Penner @chrispenner.ca FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
@rpiskac.bsky.social @rpiskac.bsky.social 
Zak @zaksharp.me 
cybai @cybai.dev Taiwanese, never Chinese!
λ. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
RationallyDense (they/she/he/any) @rationallydense.bsky.social 
Michael Hind @michaelhind.bsky.social IBM Distinguished RSM, working on AI transparency, governance, explainability, and fairness. Proud husband & dad, Soccer lover. Posts are my own.
MeTaMiNd 🧬⚙️🧠⚛️🎨🧘♂️🧙♂️ @metamind.bsky.social AI+XR+BCI+ML, hax0r, CogSci, Science, Philosophy, Biology, Physics, Psychology, Databionics, TechWizard, Futurist, SpaceRanger, ArT, Meditation, Visionary, Inventor, Technology, Computer, Neuroscience, Machine Learning, Transhumanism, TaiChi Yoga QiGong