Adolfo Neto @adolfoneto.elixiremfoco.com Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil.
https://adolfoneto.elixiremfoco.com/
Posts mostly in English.
#ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang).
Podcaster.
Alexander Howard @digiphile.bsky.social Dad, writer, cyclist, citizen, cereal dilettante. Advocate for freedom of information, open governance, & democracy. Lover of the Oxford Comma, hater of hubris. Recovering journalist. Trying to move carefully, & fix things. https://civic-texts.ghost.io
nitasha tiku @nitasha.bsky.social technology mother @ the washington post. baddie in the digital badlands. signal: nitasha.10 
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
joywarrior @joywarrior.bsky.social was X Marks My Comment on X
❤️ grandchild of three holocaust survivors
❤️ daughter of a refugee
🇺🇸 first gen american
✡️ Dem Jewish woman in her 30s
🐶 PFP is my dog
“if they steal your joy, they’ve won before it’s begun”
Lara 'Challah Black Girl' M @blewishand.bsky.social Black, Jewish, British, mother, friend & everything else beautiful in between. Living with an open heart.
Blewish cockney version of Hillel.
Occasional rants.
Tommi Himberg @tijh.bsky.social Education and science, cycling and coffee.
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Stuart Presnell @logopetria.bsky.social Mathematics, CS, physics, philosophy
Most recently : Teaching logic and philosophy of mathematics in the Philosophy department at the University of Bristol
Freek Wiedijk @freekwiedijk.bsky.social 🔑proofs⚙️dances🔥bodies⭐️dreams
Jeremy Berg @jeremymberg.bsky.social Husband, Father, Grandfather, Datahound, Dog lover, Fan of Celtic music, Former NIGMS director, Former EiC of Science, Stand Up for Science advisor, Shananigator, Pittsburgh, PA
NIH Dashboard: https://jeremymberg.github.io/jeremyberg.github.io/index.html
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Katherine Heller @kat-heller.bsky.social Machine Learning researcher. Former stats faculty. Works for Google Research, and on better days, herself.
Sahar Abdelnabi @sahar-abdelnabi.bsky.social Researcher @ Microsoft | ex. PhD @ CISPA | Neurodivergent 🧠🦋 | AI safety & security | life and peace for all ☮️, permanent ceasefire 🍉
Opinions my own.
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
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Tim Hsu @timhsu.net SJSU math prof living in SF. Too old to spend this much time on comic books and music. He/him
Alt18F @alt18f.bsky.social Delivered effective, efficient, and secure digital services for the American people until we were forced to stop on March 1, 2025. Not an official government account. Reposts are not endorsements. Our new website: https://18f.org/ #AltGov
Sarah M @lore.house Mom of 4, Christian, opera singer, literature nerd. Technical program manager at NBCU.
I bake bread. (And other things.)
Digitizing and translating Old English texts
Books, music, Germanic language
lore.house
lorehord.com
PFP by @mgcoco.bsky.social
Randy Au @randyau.com Hobby consultant, 💎🪚🎮🖥️🎙️🎹🎧👨🍳📷🪛➕
Quant UX Researcher
Writes a data newsletter: https://www.counting-stuff.com/
https://linktr.ee/randy_au
Languages: EN/JP/CN
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Jacq @handle.invalid Building humans in private while I share my development projects in public! A coding momma with a hobby in cyber resiliency, and a passion for spiritual wellness ✨ thriving in my authentic self 💙
Cyd Harrell @cydharrell.bsky.social cyberpunk is a warning, not a manual
she/her. dayjob & usual location: City & County of San Francisco (this is a personal account)
ex-18F; on the board @publicgood.tech ; wrote a small book about doing this: https://cydharrell.com/book/
B! 🐝 Cavello (they/them) @b-cavello.bsky.social activist, aspiring-polymath, problematic feminist working to better this world
@b_cavello@mastodon.publicinterest.town
avatar: Portrait of B against colorful background
banner: Collage of creative commons illustrations
khen @khen.bsky.social end apartheid and the occupation
critical slop studies @struthious.bsky.social Applied scientist working on LLM evaluation and publishing in AI ethics. Formerly: technical writing, philosophy. Urbanism nerd in my spare time. Opinions here my own. he/they 🏳️⚧️. https://boltzmann-brain.github.io/
Paige Bailey (webpaige.dev) @dynamicwebpaige.bsky.social ✨ Keep it simple, make it scale. AI should be about empowering users and building understanding. 👩💻 AI Developer Experience @ Google DeepMind, ex-Github, ex-Google
Greg Palermo @palermog.bsky.social Assistant Teaching Prof, Emory University Writing Program & Affiliated Faculty, Data Science. Citation, data, & disciplinary rhetoric. Co-editor, JITP Reviews. 📷🎾☕️🎹. Opinions mine. he/they
Margaret Mitchell @mmitchell.bsky.social Researcher trying to shape AI towards positive outcomes. ML & Ethics +birds. Generally trying to do the right thing. TIME 100 | TED speaker | Senate testimony provider | Navigating public life as a recluse.
Former: Google, Microsoft; Current: Hugging Face
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
🌶 David Gray Widder @davidthewid.bsky.social Assistant Prof at UT Austin's iSchool.
Big Tech, political economy, AI hype, AI in War
trying to help computer ppl think more critically about computer, including me
exCornell/CMU/NASA/MSR/IntelLabs.
davidwidder.me
Mark Riedl @markriedl.bsky.social AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Spay Or Neuter Your Computer @chaoticgaythey.bsky.social M (they/them) 🏳️⚧️ ✡️
Doctor (allegedly) - Recovering Academic (read: professional pedant)
Does machine learning but never learns
Used to do biology
Pfp by @papiroflexio.bsky.social
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Emeline Brule @emeline.bsky.social Round glasses and crazy hair, spends too much time in a workshop Human-Computer Interaction Researcher, Wikipedian, designer, mother
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
sardean @sardean.bsky.social asst prof @cornellbowers.bsky.social thinking about dynamics, control, machine learning
sdean.website
Jess Hamrick @jhamrick.bsky.social Building open models @ Reflection AI. Previously: Google DeepMind, UC Berkeley, MIT. I post about: AI 🤖, flowers 🌷, parenting 👶, public transit 🚆. She/her.
Maxim Raginsky @mraginsky.bsky.social web: http://maxim.ece.illinois.edu
substack: https://realizable.substack.com
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Yair Wallach @yairwallach.bsky.social Associate Professor (Reader), soas @soasuni.bsky.social, researching Palestine/Israel history. Race, migration, material culture, Antisemitism. "City in Fragments" (Stanford 2020) Currently working on Ashkenazi integration in the Arab Levant
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Callalily @callalily57.bsky.social Genealogist. Mathematician. Book blogger. Theatre fan. I'm not so good at having "a brand." These are just my inner thoughts, inner thoughts. She/her. #hEDS
P. Y. Mund @pymundgenealogy.com 🌳📜 Genealogy (mine, or whoever's) ideally; trying to get back to that ideal.
Professional/study/moderation list account.
Personal account: @pymundgenealogy.bsky.social
🔗: pymundgenealogy.com
James Sutherland @sutherland.pw Researcher (medical imaging now, previously computer security and forensics). 🇬🇧 in 🇺🇸, divorced father of a two year old. DMs and followers welcome if fully dressed.
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
MJ Berends @apprxlinear.bsky.social 
Shomir Wilson @shomir.bsky.social Associate Professor at Penn State. AI and sociotechnical NLP, especially for privacy and fairness. Also posting about academia, photography, and travel. Opinions mine. he/him. http://shomir.net
Zanzi Tangle @zanzi.bsky.social I research programming languages and turn Category Theory into code
Ofir Stroh @ofirstroh.bsky.social Composer, physics guy and all around nerd. Holding out for peace. Haven't done a commission in forever but always open. He/Him
Arnav Das @arnav7.bsky.social My posts here will be a mishmash of personal opinions and smol curious excursions..
Doron Adler @norod78.bsky.social Been fooling around with generative machine learning since before it became mainstream 😊
https://linktr.ee/Norod78
Alon (they/them) ↙️↙️↙️ @alonlevy.bsky.social Transit researcher in Berlin. Lived in Tel Aviv, Singapore, the Riviera, New York, Providence, Vancouver, Stockholm, Paris. https://pedestrianobservations.com/ http://patreon.com/alonlevy alon@pedestrianobservations.com @alon@mastodon.social
Omer Shapira @omershapira.com Graphics ∩ Vision, Electronic Elsewheres. AI for XR @ Meta. Previously : NVIDIA {Research, Omniverse XR, Robotics}, much before that VR, VFX & TV.
Thinkpiece Piñata & Artist inbetween.
Opinions? No
📍Brooklyn/TLV
https://omershapira.com
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
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