Adam Chalmers @adamchalmers.com Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run a meetup austinsystems.org and love reading sci-fi, history and Jewish stuff.
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
john hui @j-hui.bsky.social 
Travis Brown @travisbrown.dev Software developer living in Berlin
https://travisbrown.dev for contact info
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@hannelita.bsky.social @hannelita.bsky.social 
Kyle Cheney @kyledcheney.bsky.social Senior legal affairs reporter at POLITICO with a focus on democracy, the balance of power and the clash between the Trump administration and courts.
Mark Joseph Stern @mjsdc.bsky.social Senior writer at Slate covering courts and the law. Co-host of the Amicus podcast. Dad.
Anna Bower @annabower.bsky.social Just asking questions.
Senior Editor, Lawfaremedia.org.
Send story ideas and tips to anna.bower@lawfaremedia.org
Gabriel Malor @gabrielmalor.bsky.social Oklahoman in Virginia. Appellate attorney.
I talk about federal court decisions. A lot.
Sometimes the most you can do is the best you can do.
gabriel.malor@gmail.com
SIGPLAN AV @sigplan-av.bsky.social We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigplan
nanamoney @nanamone.bsky.social 
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Ari Cohn @aricohn.com First Amendment & defamation lawyer.
Free Speech Counsel @TechFreedom.org (x2)
Illini/music junkie/oofnik.
“A snarky gay lawyer Jessica Fletcher.”
Posts are my own.
https://linktr.ee/aricohn
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
@rvassantlal.bsky.social @rvassantlal.bsky.social 
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
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Jonathan Protzenko @protz.bsky.social I talk about Rust, verification, cryptography, programming languages… and pets 
Alperen Keleş @keles.bsky.social METU CENG 21'
PhD Student at UMD
Programming Languages/Formal Verification/Random Testing
Writing at http://alpkeles99.medium.com
Twitter: @keleesssss
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Logic Bot @logicbot.bsky.social I tweet tautologies.
Created by @mscroggs.co.uk
How I work: mscroggs.co.uk/blog/13
Jurgen Vinju @jurgenvinju.bsky.social I'm a full professor and researcher in software analysis, programming languages and software engineering in general. Co-author of the rascal meta-programming language. Software can be maintained better, using better tools, more competences.
wint @dril.bsky.social Never Bullshit
I challenge any and every one who wants to kick my ass to a debate .
https://www.patreon.com/dril
https://www.instagram.com/dril
https://linktr.ee/drilreal
amos @fasterthanlime.hachyderm.io.ap.brid.gy hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at https://bearcove.eu ✨ be kind, be curious
🌉 bridged from ⁂ https://hachyderm.io/@fasterthanlime, follow @ap.brid.gy to interact
Joe Cutler @alphaconvert.bsky.social cutler.pl
abadidea @0xabad1dea.infosec.exchange.ap.brid.gy the hex is silent
professional source code complainer, Pwnie Awards 2014 Best Song, will decipher ancient writing systems for free
Access to Odin photos is a […]
🌉 bridged from ⁂ https://infosec.exchange/@0xabad1dea, follow @ap.brid.gy to interact
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Matthew Garrett @mjg59.eicar-test-file.zip Former biologist. Actual PhD in genetics. Security, OS security teaching at https://www.ischool.berkeley.edu.
Blog: https://codon.org.uk/~mjg59/blog
Signal: @mjg.59
He/him
Opinions expressed here are mine, not my employer's
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
"Alex" @mangopdf.bsky.social australia's only hacker
https://mango.pdf.zone
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Carolina Carreira @carolinacarreira.bsky.social PhD Student in CMU in Societal Computing
Caleb Stanford @calebstanford.bsky.social Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Sofia Gomes @s0fgomes.bsky.social Works with Fast Data & ML.
Engineering Manager @ Feedzai Research. PhD in Computer Science @ NOVA 🇵🇹. Cortiça's 🐶 hooman.
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
__femb0t @femb0t.bsky.social ✨ sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have distractingly many interests✨⋇⋆✦⋆⋇ ✨
Tim McNamara @timclicks.dev Trainer and consultant on the Rust programming language. Author of Rust in Action. Team climate. Walkable neighbourhoods are nice, actually.
Signal: @timclicks.01
P Pierce @plpierce.bsky.social 
Aaron Eline @aaroneline.bsky.social 
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
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
iPad Expert @byyourlogic.bsky.social First Jewish member of OTF (2018-2018)
Daniel Ramos @danielrramos.bsky.social https://danieltrt.github.io
Charlie Marsh @crmarsh.com Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)- R Rui Ueyama @ruiu.bsky.social
Bad Legal Takes @badlegaltakes.bsky.social Posting the worst legal takes on social media. Have a submission? @ me. 
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Dave Wasserman @redistrict.bsky.social Fiddle player who calls elections on the side.
Ruben Branco @rubenbranco.bsky.social PhD Student @ LASIGE, Faculty of Sciences, University of Lisbon.
Love all things Deep Learning.
https://rubenbranco.github.io/
Better Things Are Possible @internethippo.bsky.social 
Message Board Geniuses @boardgeniuses.bsky.social #FireEverybody
Submissions: messageboardgeniuses@gmail.com
Shop: http://bit.ly/3PsUWTz
Linktree: http://linktr.ee/boardgeniuses
@geofflangdale.bsky.social @geofflangdale.bsky.social 
derek guy @dieworkwear.bsky.social Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
mcyoung 🏳️🌈 @mcy.gay a whimsicott crawled into your compiler and got stuck
call me sunny. yes! i am a furry artist!
⌨️ mcy.gay
🎨 art.mcy.gay
💰 art.mcy.gay/comms
🔞 @art.mcy.gay
📍Seattle, WA
pixelatedboat aka “mr bluesky” @pixelatedboat.bsky.social The 76th most followed account on bluesky. I will NOT be updating this ranking when it’s no longer true
Ben Collins @bencollins.bsky.social Sister Spreadsheet
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Bevy @bevy.org Official account for Bevy: a refreshingly simple free and open source game engine built in Rust.
Follow for news and curated #bevy / #bevyengine content.
https://bevy.org
Lu wilson @todepond.com prototypes @wikipedia.org
prev @tldraw.com
prev @inkandswitch.com
London
todepond.com
youtube.com/@todepond
lcamtuf @lcamtuf.coredump.cx Blog: https://blog.coredump.cx/archive
Homepage: https://lcamtuf.coredump.cx
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🔮 "most level-headed AI user" 🫐 working on something dataflow-shaped 🦀 known for teaching rust and not much else
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
Popehat @kenwhite.bsky.social Defunct account of Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Opinions here are my own. Decent people fight evil.
Signal: KenWhite.1969
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
Charlie (In my unghost era) @dka.bsky.social Philosophy and Category Theory | he/him | All socials: @CharlesDKA
Kate @katef.bsky.social If I unfollowed you, it's because you keep posting things without alt text
Talia Ringer @taliaringer.bsky.social