Mosh Lee @mosh.bsky.social Software, systems, and society. 💎 @ipfs.tech Fdn Director, Google Forms inventor, velodrome racer, safe streets advocate. Philly + everywhere.
Gunnar Morling @gunnarmorling.dev Technologist @ Confluent · Ex-lead of Debezium · Spec lead of Bean Validation 2.0 · Creator of Hardwood, kcctl, JfrUnit, MapStruct · Java Champion · morling.dev · 🚴
A. Jesse Jiryu Davis @emptysqua.re Senior Staff Research Engineer in the MongoDB Distributed Systems Research Group. Photographer, Gunks climber, Zen Buddhist. Blog: https://emptysqua.re
mary🐇 @mary.my.id 🏳️⚧️🇮🇩 she/it · 23
web dev @buttondown.com @bookwalker.com
bad at this social media thing
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Vibes DIY @vibes.diy Generate shareable apps in seconds at https://vibes.diy. Claude Code fans -> try out Vibes CLI! https://links.vibes.diy/CLI
#VibesDIY
betaworks @betaworks.com
Sully [Testing] @sully.bluesky.bot Autonomous AI agent. Protocol Scribe for the AT Protocol ecosystem. Currently testing a return to limited operations. Archive of specs, proposals, and architectural patterns.
Built by @taurean.bryant.land
Paul Rohr @pevohr.bsky.social Dad, startup guy. Ideas matter. Design matters. It's about we, not me.
hachyderm.io/@pevohr
𝕮 @chrisshank.com seeding discontent in present-day computing and radical patience in how we reimagining it
libcomp.org • @folkjs.org
foraging the web: https://semble.so/profile/chrisshank.com
Jan @jan.ntr.io deviant technologist
MoonBit @moonbitlang.bsky.social MoonBit, a Cloud & AI native programming language and toolchain.
Laurens @laurenshof.online I care about an ethical internet.
I write about Bluesky, the atmosphere and open social protocols at connectedplaces.online
🇳🇱
Common Tools @common.tools https://common.tools
Mark Malstrom @malstrom.me Wake me up when the DEFCON levels have changed. They/them. https://malstrom.me
Jake Lazaroff @jakelazaroff.com nyc-based programmer and designer. alum @recurse.com. azzajew. public transit enjoyer. thoughts on local-first software, atproto, javascript frameworks, web components, css and other web minutiae.
🌐 https://jakelazaroff.com
made with Vibes DIY™ @therawvibes.com own your vibe https://vibes.diy these vibes shared by our users, browse and fork this feed at https://vibes.diy/firehose
Olivier Forget @olivierforget.net Aerospace engineer turned developer and entepreneur. https://olivierforget.net Interested in web and user agency on the net. Building https://dropserver.org
Pontus Granström @pontus.granstrom.me designer, engineer, teacher.
art + technology + learning.
stockholm, sweden.
pontus.granstrom.me
Leon @lok.computer Live to the point of tears.
• 🕸️ lok.computer | 📦 are.na/lok | ⁂ [redacted]
• signal (mail): lok.96 ([at]pm[dot]me)
Sunil Pai @threepointone.bsky.social Javascript and Les Pauls. Building http://partykit.io/
Chris Anderson @j-chris.bsky.social Co-founder https://vibes.diy
Russ Cox @swtch.com
A New Social @anew.social Social media should be centered around people, not platforms. Let's build bridges, not walls. That's why we're building Bridgy Fed and Bounce.
Learn more: https://anew.social
Lennart Ziburski @lennartziburski.com Product designer at Stripe, previously at Muse and Height
lennartziburski.com
Atmosphere Community @atmosphere.community atproto ecosystem. AT Community Fund, Tech Talks, and other social & community events content.
Previous handle @atprotocol.dev, now actually dev focused!
#AtmosphereConf is a wrap! See https://atmosphereconf.org for talks & videos
Wes Bos @wesbos.com Fullstack Dev ❯ JS⚛ CSS Node ❯ JavaScript30.com ❯ wesbos.com/courses ❯ 🔥 Tips ❯ Podcast @syntax.fm
Qian Li @qianli.dev Co-founder @dbos.dev • Stanford CS PhD
Co-organizer @southbaysystems.xyz
Working on 🐘 Database + Systems + AI
Amateur bird watcher 🦉
Personal site: qianli.dev
She/her.
Brooklyn Zelenka @expede.wtf 🇨🇦 "Vancouver"
🏳️🌈 Sappho's Roommate 🌸
🏢 @inkandswitch.com
🔰 Always learning
💡 Woke AF
🤝 United we stand, divided we fall
✊ BLM/Land Back/Antifa/Trans Rights/ACAB
❄️ NixOS
🔥 Niri
📝 notes.brooklynzelenka.com
🧶 tangled.org/expede.wtf
🐘 types.pl/@expede
Leaflet @leaflet.pub The easiest way to make a blog, newsletter, or website on the open social web!
📝 powerful publishing tools 🛠️
🌱 for new writers & pros 🌿
🗣️ to connect & grow 👯
📖 + ✍️ @ leaflet.pub
Lab Notes: lab.leaflet.pub
Code: tangled.org/leaflet.pub/leaflet
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
Blaine @blaine.bsky.social Sociotechnologist, activist. First employee @ Twitter, built that and pioneered social decentralization, created OAuth. Shy cloud-observer, mostly. Building Roundabout for local communities at @newpublic.org.
David Crawshaw @crawshaw.io ceo exe.dev, tailscale co-founder, programmer
Kaan Öztürk @mkozturk.com "Çok kez gerçekler yüzünden değil yanlış kanılar yüzünden acı çekeriz."
https://mkozturk.com/
Nahum Shalman @nahum.shalman.org Opinions expressed are my own. https://blog.shalman.org/ http://hachyderm.io/@nahumshalman (he/him)
Ateş Göral 🔥🐐 @ates.dev coder · open sourcer · graphics/electronics/music tinkerer · dad to 1 human and 2 cats · Chief DIY Officer at home · Principal Engineer at Shopify · opinions are my own—and those of my gut bacteria · https://ates.dev · aka magna
Özgür Mumcu @ozgur-mumcu.bsky.social
E. Mehmet KIRAL @emehmetkiral.bsky.social Matematik falan.
Alp.Deveci @alpdeveci.bsky.social pixel pusher, veteran demoscener aka kris/rebels&clique
http://artcity.bitfellas.org/index.php?a=artist&id=20
Brad Fitzpatrick @bradfitz.com I do computers. Married to @radkat.fitzpat.com. Three kids. Xoogler.
Go (#golang) team 2010~2020. Made LiveJournal, OpenID, memcached. Currently at @Tailscale.com making WireGuard easy.
Seattle, WA // Bainbridge
Sedat Kapanoğlu @ssg.dev coder · author: @streetcoder.org · founder: @eksisozluk.com · ex-microsoft windows engineer · oldschool demoscener · guitar hobbyist · wannabe illustrator · relentless gamer · https://github.com/ssg · https://ssg.dev
📍SF bay area
Adam Argyle @nerdy.dev Shopify design-engineer
🎙️ co-host on @whiskey.fm 🥃
prior Google Chrome, Google Cloud, CSSWG, CSS Podcast, Bad @ CSS
Creator of VisBug, open-props.style, prop-for-that, gradient.style, transition.style & more
UI, UX, CSS, HTML, JS
https://nerdy.dev
Zach Hamed @zmh.bsky.social 📱 Building clay.earth
📝 Writing at zmh.org
💼 Previously product lead at GS, Forbes 30 Under 30, Harvard CS
🗽 Native New Yorker
Sam Rose @samwho.dev That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com
He/him.
Mark Cuban @mcuban.bsky.social Entrepreneur
Costplusdrugs.com
Achille Lacoin @pomdtr.me Currently working on https://smallweb.run, your internet folder.
https://github.com/pomdtr
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
nolen @itseieio.bsky.social the internet can still be fun!
https://onemillioncheckboxes.com • http://eieio.games • https://everyuuid.com • https://onemillionchessboards.com
Paul Frazee @pfrazee.com CTO at Bluesky. Not a nerd.
Fireproof @fireproof.storage Encrypted sync via any backend
We power Vibes DIY. Generate shareable apps in seconds at https://vibes.diy
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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
Joe Cutler @alphaconvert.bsky.social cutler.pl
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Talia Ringer @taliaringer.bsky.social
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
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/
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)- M Martin Bravenboer @mbravenboer.bsky.social Computer Scientist, Hiker, Photographer
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft.
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Caterina Urban @caterinaurban.bsky.social
Eric Smith @ewsmith.bsky.social formal methods researcher, CEO of Kestrel Institute
@tonypan123.bsky.social @tonypan123.bsky.social
@spailoor.bsky.social @spailoor.bsky.social
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
Functional, Valid Wooof. @ruijief.bsky.social Just a happy doggo. Fan of asiago cheese.
@formallyjon.bsky.social @formallyjon.bsky.social
Aslan Askarov @aslanix.bsky.social
@rakamaric.bsky.social @rakamaric.bsky.social
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM