Samuel Ainsworth @skainswo.bsky.social prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend.
spondyloarthritis, cars ruin cities, open source
Ted Kaminski @tedinski.com 🦀🥳 tedinski.com
Previously: Kani Rust Verifier, AWS, PL/compilers PhD
Susan Ellison @susan-ellison.bsky.social Associate Professor of Anthropology at Wellesley College. Author of Domesticating Democracy (Duke 2018). Kentuckian. Often found in El Alto, Bolivia.
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Alia Valentine @aliaisnonlinear.net applied math PhD student @ cornell; control theory, mathematical biology, collective behavior, amateur musician & photographer, she/her
https://aliaisnonlinear.net/
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Jonathan W. Gray @elmcitytree.blacksky.app Chair @cunyenglish.bsky.social I study books, Blackness & pop culture! Leftist & left handed 🇰🇳 🇵🇸 🏳️⚧️
One of many Jonathan Grays
I maintain Blackademics the scholarly side of Blacksky
https://bsky.app/profile/did:plc:w4xbfzo7kqfes5zb7
Personal account
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Chris Gyurgyik @cgyurgyik.bsky.social Stanford PhD candidate amongst other things
https://cgyurgyik.github.io/
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, ...
Ziteng Wang @zetten.bsky.social PhD student working on program synthesis. https://ziteng.wang/
Kellie Carter Jackson @kcarterjackson.bsky.social Wife. Mom. Friend. Historian. Award Winning Author. Podcaster. Seeker of Joy.
Refusing Daily.
Codruța Morari @cmorari.bsky.social Faculty at Wellesley College. Researching Film Festivals, Public Media, Cultural Policy. Following track, tennis, winter sports news and gossip.
Becca Selden @beccaselden.bsky.social Marine Ecologist. Fisheries, food webs, and climate change. Adaptive capacity and resilience of fishing communities. Professor at Wellesley College.
Wellesley Centers for Women @wcwonline.bsky.social Research & action center at @wellesley.edu on gender equality, social justice, human wellbeing. #womenchangeworlds
🌍 https://linkin.bio/wcwonline
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Colleen Hoffenbacker @floralart.bsky.social Renaissance Wonderland in Bloom | Art for Modern Dreamers 🌸🎨🤖 Crafting Semi-autonomous Visions Beyond Human and Machine
#Art #AICreativity #FineArt #ArtAndAI #AIArt #Artwork #ArtificialIntelligence #AIEvolution
🎨 https://bio.site/artcollector
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Brown Visual Computing @brownvc.bsky.social visual.cs.brown.edu - vision, graphics, HCI, design+fabrication
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@julesjacobs.bsky.social @julesjacobs.bsky.social 
April King @april.social Staff Security Engineer at some random tech company, previously Mozilla, Dropbox, LinkedIn, and (pre-Elon) Twitter. Has read @kateconger.bsky.social’s autobiography.
web @ grayduck.mn // also github.com/april
jamelle @jamellebouie.net The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group.
Send me your mutual aid requests.
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Kate @katef.bsky.social If I unfollowed you, it's because you keep posting things without alt text
Camille Fournier @skamille.themanagerswrath.com she/her. Author, manager, distributed systems engineer, etc etc, my latest book Platform Engineering is available now! https://amzn.to/4eUz5zB
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Papers We Love @paperswelove.org A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
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
evil maid @lenazun.bsky.social not exactly the voice of reason. scaffolding @eff. filosofía zen-troamericana. escribiendo en cartasalabismo.com
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Alex P @ifesdjeen.bsky.social Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals. Mountain person. http://databass.dev/
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Heidi Howard @heidihoward.bsky.social 
Charity Majors @charity.wtf cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
Peter Alvaro @palvaro.bsky.social Crackpot, nincompoop, magpie, pedant
mostly @palvaro@discuss.systems
Jocelyn Chen @jqchen.bsky.social 
Molly Q Feldman @feldmanmolly.bsky.social Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
RunningRedLights @runningredlights.bsky.social Music twice, Tech once. Priorities sorted.
Daniel Rosenwasser @danr.bsky.social TypeScript Product Manager and TC39 rep working on JavaScript standards.
Enthusiast of compilers, dev tools, language VMs/runtimes.
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
cybai @cybai.dev Taiwanese, never Chinese!
λ. @ServoDev contributor, Mozillian.
Opinions are my own. he/him
Priyan Vaithilingam @priyan.info ML Research Scientist @ Apple | Human-centered AI Researcher
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Jessica Shi @jwshi.bsky.social PhD student at Penn.
David Neto 🇨🇦 @dneto.dev WebGPU and Vulkan shader language standards and tooling.
I work at Google, on the Chrome team.
I'm also on Mastodon.
@dneto@mastodon.gamedev.place
Canadian, eh
He/him
Elizabeth @elizabethoakes.bsky.social Faculty at Wellesley College (Chemistry and Biochemistry)
Member of WOAW-UAW (Wellesley Organized Academic Workers)
Amateur bass player, cook & bread baker, nature lover
Marshall Abrams @marshall0i.bsky.social Philosopher of science, occasional scientist. Phil of:
ev biol, probability, modeling, stat inference. Book: Evolution and the Machinery of Chance. Activity here as private citizen, not as rep of nor supported by employer. https://marshallalmostsurely.com
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
John Bailes @jebailes.bsky.social Soto Zen Buddhist Priest, College Chaplain at Wellesley and Amherst Colleges, Peregrino, Poet and Artist.
Sarah Wall-Randell (aka swallowsong) @sarahwalrus.bsky.social Early modern English lit prof @Wellesley C; book history, editing, gender & performance. 🏳️🌈🏳️⚧️ally. 
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Kartik Chandra @kartikchandra.bsky.social I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
@titzerbl.bsky.social @titzerbl.bsky.social 
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Erich Hatala Matthes @ehatmat.bsky.social Philosophy professor at Wellesley College
Cord J. Whitaker @profcwhit.bsky.social Professor and author at Wellesley. Substacker at DIVERSITY DIFFERENTLY: https://diversitydifferently.substack.com; Consultant at https://sagelycreative.com.
Jeremy Wilmer @showmydata.org Founder of http://ShowMyData.org. Board member of http://ManyBrains.net. Graph interpretation research: https://www.sciencefriday.com/segments/bar-graph/. Faculty @Wellesley.
Catherine Delcourt @catherinegd.bsky.social Assistant Professor in CS @ Wellesley College, HCI & Social Computing
Tsegay Tekleselassie @tsegay-t.bsky.social Economist! Visiting Lecturer at Wellesley College. Part-time lecturer at Boston University! Avid runner
Paul MacDonald @pkmacdonald.bsky.social Professor of Political Science at Wellesley College. Focus on war, peace, and strategery. Proud father of Field Marshal von 9th Grader and Vice Admiral Lord 7th Grader
Pinar Keskin @pinarkeskin.bsky.social Associate Professor of Economics @Wellesley
Studying gender&health&development&environment
Dr. Holly Walters @manigarm.bsky.social Anthropologist 👣 • Ethnographer of Shaligrams 🐚 and Robot Religion 🤖 • Novelist of "The Way By" 🦄 • TTRPG Storyteller ✨ • (Genderqueer 🤷♀️ She/They)
https://ko-fi.com/manigarm
Jonathan Adler @jadler.bsky.social Narrative, narrative, narrative. Personality and clinical psychologist, editor, playwright, and director. Gay Dad. Views are my own.
https://www.jonathan-adler.com/- L Lawrence Rosenwald @lawrencerosenwald.bsky.social Translator, pacifist, scholar, lay cantor, husband, writer and performer of theater verse, father, grandfather. Current large project is a study of pacifism and literature, current large task is finding what John Lewis called "good trouble."
Scott Gunther @scotteaux.bsky.social Professor of French and Francophone Studies Wellesley College
Adrian Castro @adriancastro-geo.bsky.social Assistant Professor at Wellesley College. Geochemist and metamorphic petrologist. Puerto Rican. First Gen. I'm just a regular degular shmegular boy from the Bronx. He/His
Laura O'Brien @niathena.bsky.social Academic librarian @ Wellesley College. I read / post about #DigitalHumanities, #library #InformationLiteracy
Also at @niathena@mas.to on 🐘
Ismar Volić @ismarvolic.bsky.social Professor at Wellesley College Mathematics Department
Director of Institute for Mathematics and Democracy
Author of Making Democracy Count: How Mathematics Improves Voting, Electoral Maps, and Representation
https://ivolic.wellesley.edu/
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Jay Turner @jayturner.bsky.social Environmental Studies Professor at Wellesley College. Author of Charged: A History of Batteries and Lessons for a Clean Energy Future (2022). Tracking and analyzing clean energy supply chains at https://www.the-big-green-machine.com 
Youngmin yi @youngminyi.bsky.social sociologist/demographer @Wellesley || studying family, race, and institutions of social control in US || yyiresearch.com
Adam Van Arsdale @apv2600.bsky.social Biological anthropologist (Pleistocene human evolution), Professor @Wellesley College, dad, outdoor-lover, sport enthusiast
Kaleb E. Goldschmitt @kgoldschmitt.bsky.social Popular music scholar and music department chair at Wellesley College. Neuroqueer. I wear a mask for a reason. Falo português. תיקון עולם 🏳️⚧️🚴😷
Olga Shurchkov @olgashurchkov.bsky.social Professor of Economics @wellesleycollege.bsky.social
Faculty Director at the Albright Institute. Research on gender, labor, discrimination using experiments.
Fellow @IZA.org | AE @JEBO | Assoc Chair Mentoring @aeacswep.bsky.social
Beth DeSombre @bethdesombre.bsky.social Songwriter, professor (Wellesley College, ES), activist, dog mom, runner. Songs that are “smart and uplifting...focusing on the quiet meaning to be found in ordinary life." Last year at the Center for Advanced Study in the Behavioral Sciences at Stanford.
Vanja Klepac-Ceraj @mightycrobe.bsky.social Assoc. Prof. @Wellesley College | microbial ecologist | gut microbiome -> child development | microbes rock | vkclab.com
Steve Canon @stephencanon.bsky.social Not-a-number sommelier, purveyor of fine zeros and infinities.
Wellesley College @wellesley.edu Educating barrier-breaking, paradigm-shifting, world-changing leaders past, present, and future. 💙
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Eric Van Wyk @ericvanwyk.bsky.social Professor, Computer Science, University of Minnesota, Extensible Programming Languages, https://cs.umn.edu/~evw, He/His.
Manish Shetty @slimshetty.bsky.social PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
Jeff Belgum @belgum.bsky.social Engineering at OpenAI. Formerly working on Fuschia at Google
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
mary🐇 @mary.my.id 🏳️⚧️🇮🇩 she/it · 23
web dev @buttondown.com @bookwalker.com
bad at this social media thing
Dan Plyukhin @dplyukhin.bsky.social dplyukhin.github.io
Reshabh K Sharma @reshabh.bsky.social Everything is a compiler!
PhD student @uwcse
Opinions are my own!
Harmanpreet Kaur @harmankaur.bsky.social Assistant professor at University of Minnesota CS. Human-centered AI, interpretable ML, hybrid intelligence systems.
Abhinav Gyawali @abhizer.com Engineer @ Feldera
Incoming CS PhD Student at UT Austin
https://abhizer.com
Michael Carbin @mcarbin.bsky.social Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing