- B @bk-knkster.bsky.social @bk-knkster.bsky.social
O tal do Messi @otaldomessi.bsky.social Research in High Performance Computing & Distributed Systems 💻
@keubit.bsky.social @keubit.bsky.social 
@doctasquid.bsky.social @doctasquid.bsky.social 
frank @franktbh.bsky.social 
@cescvila.bsky.social @cescvila.bsky.social 
sc52 @sc52.bsky.social 🔞 • bi diaster • 38 • UK • techie • nerd • ADHD • ASD • you'll never find the alt
previously∶
⨽ https://www.tumblr.com/sc52
number go up @numbergoup.com No relation to the book.
tushar @tushard.bsky.social Making compilers grin like never before
https://tushar-6666.vercel.app/
Ammar Hashmi @ammarhashmi.bsky.social Looking for MS position for Spring/Fall 2027 | Associate AI Engineer | CS Graduate
@leonardo7983.bsky.social @leonardo7983.bsky.social 
Lady Queet @ladyqueet.bsky.social Lady Queet is a music producer, singer, songwriter and rapper from Atlanta, Georgia. Owner of Picture Perfect Entertainment. #MusicSky #WhoIsYourFavoriteFemaleRapper
instagram.com/iamladyqueet
Jonathan Speek @speek.dev 🚀 product @fastly.com
🦄 prev eng @netlify.com
🥹 dad X 3
☕️ home barista
🤓 oxford comma fan
june @june.cat june.cat <- articles abt rustlang and such
she/her
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)
Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
UCSB Computer Science Department @ucsb-cs.bsky.social 
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
Alecs P. Hacker @bisimulation.bsky.social Unsound and incomplete
alecsferra.github.io
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.
@adityanathan.bsky.social @adityanathan.bsky.social 
@demarkofulcher.bsky.social @demarkofulcher.bsky.social 
Jason Harrison @drjasonharrison.bsky.social Citizen of the USA, Canadian resident since 1992. Husband, dad, software developer, keeper of the house plants.
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
Maxasaurus @maxasauruswall.bsky.social Biology, computers, probability, dad jokes. Telemarker with a book problem.
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Abe Ratnofsky @aratno.bsky.social hat check clerk at an ice rink
apache cassanda @ apple, netflix- V @valyakuttan.bsky.social @valyakuttan.bsky.social
Anna Tsvetkov @annatsv.bsky.social Postdoc @ Princeton AI
Natural and Artificial Minds
Prev: Philosophy PhD @ Brown, MIT FutureTech
Website: https://annatsv.github.io/
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/
fpjos @fpjos.bsky.social Functional Programming brings some sanity in this quick&dirty IT world. Scala3 (ZIO, KYO), Learning Rust & Ocaml. Constantly learning. Fighting entropy. X: @scalajos mastodon: @fpjos@fosstodon
George Brown @g0xa52a2a.bsky.social Fast machine enthusiast - HPC and F1.
Be the mosh pit you want to see in the world.
Michele Alberti @lambdaxdotx.bsky.social 
Marco @mcognetta.bsky.social Language and keyboard stuff at Google.
I like computers and Korean and computers-and-Korean and high school CS education.
Georgia Tech → 연세대학교 → 東京工業大学.
Regrettably no longer based in Tokyo :/
https://theoreticallygoodwithcomputers.com/
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Evangelos Lamprou @vagoz.bsky.social - E @evanwilliams02.bsky.social @evanwilliams02.bsky.social
Christian Kasilag @kasilag.bsky.social 1/3 of Spiralburst Studio (making board game apps)
@0xitalo.bsky.social @0xitalo.bsky.social 
john hui @j-hui.bsky.social 
Boyang Zhou @boyzhou.bsky.social aka Boe
big fan of the earth
UW CSE🔜UMich
boezzz.com
Henry Wallace @attobop.bsky.social Learning and hacking! 🌈⚡️🔥💧🌱
https://attobop.net
https://github.com/arclabs561
@rtjoa.bsky.social @rtjoa.bsky.social 
Missino @onedeuxtriseigo.nullpo.dev Trapped in SFINAE hell screaming at angry numbers and spicy shapes.
V to the H to the A and a Junior @superpixels.bsky.social FOR HIRE! In marketing, DevRel, customer success or editorial.
Former teacher, editor, filmmaker, magician.
Current writer, editor, technologist, voice actor & dad.
Help me save the Internet: goodpotatoproject.com
Zixian Cai @zcai.org PhD student. Programming languages, computer architecture, and performance analysis/optimization. zcai.org- W Chentian Wu @wuct.bsky.social 25' BS @ UW-Madison >>= PhD @ UIUC
PL / Logic
https://wuct.site
Th. Ma. @thierry.marianne.io 
Buildstash - manage software binaries @buildstash.com For app, game, and embedded teams - store and manage all your builds, share with your team, distribute to testers, manage rollouts, and deploy to stores 🚀
https://buildstash.com
@acendrou.bsky.social @acendrou.bsky.social 
Eli Dowling @elidowling.com Software dev | Lover of language design and Dev tooling |
Mainly: 🐪
Sometimes: 🦀, F#
Paid to: 🐘
Chris Ogden @ctogden.bsky.social Walton, NY
Seth Stadick @ducktapeprogrammer.bsky.social Bioinformatics. Rust. Mojo.
Devamardeep Hayatpur @devamarh.bsky.social PhD candidate at UCSD, working on cognitive-friendly programming tools & notations (hayatpur.dev)
byhow @byhow.me fullstack dev in mostly typescript react. occasionally svelte. opinions are my own. internet abode: byhow.me
@julianshouse.bsky.social @julianshouse.bsky.social 
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
cube @c-cube.bsky.social 
Johann Stromberger @jsnst01.bsky.social SQL the universe is relational
@poopcompiler.bsky.social @poopcompiler.bsky.social 
Hunter @hdemeyer.bsky.social Informatics PhD student @ UIUC
Software Studies & Technical Writing
Doing qualitative research on Research Software Engineering
Interested in tool development, type systems, rhetoric, version control, computer history, philosophy of science
@bkarel.bsky.social @bkarel.bsky.social 
JD @greentea.bsky.social SWE/MLE by day, iOS dev in my free time. Trying to journal my progress on my side projects!
a ton of crates @tonofcrates.bsky.social They will be hearers of many things and will have learned nothing; they will appear to be omniscient and will generally know nothing; they will be tiresome company, having the show of wisdom without the reality.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Dmitriy 🇺🇸🇦🇺🇺🇦🌎🌊🏔️🐋 @soularis999.bsky.social Fathering, husbanding, dogering, coding and traveling… what else can I say
Clojure Jobs - ClojureJobboard.com @clojurejobboard.com The job board dedicated to clojure developer jobs, i.e. job ads where companies are looking for developers that know Clojure / Clojurescript.
Find your next job at https://ClojureJobboard.com
Ainesh Bakshi @aineshbakshi.bsky.social Assistant Professor at NYU Courant Institute School | Postdoc at MIT | PhD at CMU | Theoretical Computer Science | Quantum Information
Mohammad Hossein Khoshechin @khoshechin.bsky.social PhD @ MPI-SWS Working on Model Checking Distributed and Concurrent Programs / https://joulook.github.io/
@fermima.bsky.social @fermima.bsky.social 
Yihao Sun @stargazermiao.bsky.social The Next 700 Programmers.
@yarks.bsky.social @yarks.bsky.social 
Patrick @patlafon.bsky.social 
Print Play Protect @printplayprotect.bsky.social We make cool tabletop items :D
@ghishadow.bsky.social @ghishadow.bsky.social 
@proustian.bsky.social @proustian.bsky.social 🐫
Nick Rioux @nickrioux.bsky.social Programming will get better.
Samir Rashid @godsped.com i love my computer- I Isaiah Norton @ihnorton.bsky.social Interested in systems, software and otherwise. Past TileDB and #julialang developer.
https://github.com/ihnorton
Taylor Hodge @hodge.bsky.social Striving to create that in the presence of which we feel more alive
Software gardener/eng: http://getprimitive.ai ↝ SwellAI, Rupa Health, Narrative Science, WorkOS
@bateslena2.bsky.social @bateslena2.bsky.social Be honest.
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd
@binarymonkee.bsky.social @binarymonkee.bsky.social 
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Mani Vrondakis #buildinpublic @vrondak.is Founder building https://shortforge.ai - automated tiktok marketing
launched 30+ (un)successful projects in 15 years
play my game: https://21words.app
https://tosto.re/dreamstolife
https://shubetter.com
https://cohabitate.app
https://notiversal.com
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
Hari Varsha V @nanodijkstra.bsky.social the yves saint laurent of systems programming.
i work at @AntithesisHQ btw.
mscs @nyuniversity.
Ethiopia Beyond @talksmart.bsky.social Exploring the untold beauty, culture, history, innovation, and spirit of Ethiopia.
Sharing authentic stories, breathtaking places, people, traditions, and the new face of Africa’s rising destination.
From ancient civilizations to modern transformation — E
@hannelita.bsky.social @hannelita.bsky.social 
a public builder @publicbuilder.bsky.social doing some experiments to build something in public
@rtwalker.bsky.social @rtwalker.bsky.social 
CoCalc @cocalc.bsky.social Build and use software with AI in shared CoCalc projects. Review the files and results, make changes, and continue with your team. By SageMath, Inc.
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