@apanda.me
I am A Panda. I work on systems and networking at NYU. I mostly hang out at https://discuss.systems/@apanda
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@jmhessel.bsky.social
jmhessel.com NLP PhD; Seattle bike lane enjoyer; posts about machine learning, language processing, computer vision, transit
@icepfl.bsky.social
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@anmolkabra.com
anmolkabra.com ML PhD at @cornellbowers.bsky.social: LLM reasoning, agents, and AI for Science. Can cycle, run, juggle. Currently trying combinations.
@domoritz.de
Visualization, data, AI/ML. Professor at CMU (@dig.cmu.edu, @hcii.cmu.edu) and researcher at Apple. Also sailboats ⛵️ and chocolate 🍫. www.domoritz.de
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@lincolnproject.us
"You cannot escape the responsibility of tomorrow by evading it today.” – Abraham Lincoln 🏴☠️ | Home of #TheBreakdown and LP Podcast
@kenwhite.bsky.social
Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Signal: KenWhite.1969
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@teuber.bsky.social
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@jay.bsky.team
CEO of Bluesky, steward of AT Protocol. Let’s build a federated republic, starting with this server. 🌱 🪴 🌳
@muellershewrote.com
Owner of MSW Media, host of The Daily Beans, UnJustified, and Cleanup on Aisle 45 podcasts. #Leguminati. Veteran. She/Her Substack: muellershewrote.com Secure contact: FedOath@pm.me Signal: muellershewrote.23 Podcast: https://link.chtbl.com/TheDailyBeans
@rahul.gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing https://rahul.gopinath.org
@monniauxd.bsky.social
"Uncultured researcher in computer science, completely banal and mainstream." he/him/whatever https://social.sciences.re/@MonniauxD https://cv.hal.science/david-monniaux
@cledmonds.bsky.social
Research Associate @sheffielduni.bsky.social working on proof assistants, formal verification & security. Passionate about CS Education. Cambridge Australia Scholar, PhD, AFHEA.
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@elglassman.bsky.social
Assistant Professor @ Harvard SEAS specializing in human-computer interaction. Also interested in visualization, digital humanities, urban design.
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@jtlg.bsky.social
I’m a professor at Cornell Tech and Cornell Law School. One of "a number of very informative people." -WSJ
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@apparebit.com
Research scientist at Charles University by day. Apocalyptic prophet by night. https://apparebit.com
@adrianasejfia.bsky.social
Assistant Professor in Software Engineering at the University of Edinburgh. CS PhD from University of Southern California. She/her. 👩🏻💻 asejfia.github.io
@pshenoy.bsky.social
Distinguished Professor at UMass Amherst, Computer Scientist, Distributed Systems researcher. Views my own. people.cs.umass.edu/~shenoy
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@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/
@marcelias.bsky.social
Founder @democracydocket.com. Chair of Elias Law Group. My dog's name is Bode.
@zakird.com
Internet Security, Trust, and Safety Researcher. Stanford CS Faculty, Censys Founder and Chief Scientist, ZMap Creator. https://zakird.com/
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "What a Wonderful World" by Louis Armstrong
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.