Mark Mac Lean @marktmaclean.bsky.social Mathematician. Full of contradictions. Opinions are entirely my own. Reposts =/= endorsements. Likes are often bookmarks or acknowledgements. He/him/his.
Christopher Mims @mims.bsky.social Former baby and aspiring ghost. Writes about tech for WSJ. Author of two books, both of which people seem to like and are worth looking up.
Vincent Traag @vtraag.bsky.social Senior researcher at CWTS, Leiden University. Computational social science, science studies, modelling & networks.
Alex Steele @asteele.bsky.social Member of Technical Staff at Amazon FAR
John Clements @jbclements.bsky.social scheme48 -> PLT Scheme -> Racket. Haven't been bored in 25+ years. Almost continuously avoiding some kind of work, often by riding and running.
Gabriela Araujo Britto @gabritto.bsky.social 
Mark Guzdial @markguzdial.bsky.social Professor in CSE, Information, and Education at
U-Michigan. Director of PCAS https://lsa.umich.edu/computingfor. Computing Ed Researcher, blogger, dad. https://computinged.wordpress.com/
@myvardi.bsky.social @myvardi.bsky.social 
Will Lowe @conjugateprior.org Señor Research Scientist, NPC at the Hertie School in Berlin 🇩🇪 via Princeton, Mannheim, Edinburgh and a bunch of other ivory towers that will probably be billiard balls and decorative boxes by the end of the decade.
Rome Statute appreciator.
Chelsea Parlett @chelseaparlett.bsky.social Ph.D, stats lover/writer✍🏼, #statistics #scicomm #datascience #statstiktok 👩🏻💻 she/her
Tara Moriarty @moriartylab.bsky.social Associate Professor, University of Toronto. Bloodborne infections, Lyme disease, misinfo. COVID-19 Resources Canada. Defend journalism. Look for the helpers. Opinions mine. 🇨🇦🏳️🌈
https://covid19resources.ca
Pitchfork @pitchfork.com The most trusted voice in music
pitchfork.com
Mar Hicks @histoftech.bsky.social Historian of technology, occasional dad jokes.
www.marhicks.com
Tom Van Cutsem @tvcutsem.bsky.social Computer scientist | Professor at KU Leuven | views are my own
CF Bolz-Tereick @cfbolz.bsky.social PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
The PyPy Project @pypyproject.bsky.social The developers of the PyPy project: a fast, compliant, open source Python interpreter.
https://pypy.org/
https://github.com/pypy/pypy
Alex Usher @alexusherhesa.bsky.social Higher Education. All of it. All around the world. Also: snark, sumo, Winnipeg Jets triumphalism and bitching about Toronto FC.
I blog here: https://higheredstrategy.com/blog/
I podcast here: https://worlded.transistor.fm/
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Justin McElroy 🇨🇦 @jmcelroy.bsky.social Vancouver journalist. Strives to tell unique stories.
http://moremcbarges.ca
http://instagram.com/justindmcelroy
Tressie McMillan Cottom @tressiemcphd.bsky.social Professor. Sociologist. NYTimes Opinion Columnist. Books: THICK, LowerEd. Forthcoming: 1)Black Mothering & Daughtering and 2)Mama Bears.
Beliefs: C.R.E.A.M. + the internet ruined everything good + bring back shame.
“I’m just here so I don’t get fined.”
Kevin Murphy @sirbayes.bsky.social Probabilistic ML researcher at Google Deepmind
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Emily M. Bender @emilymbender.bsky.social Book: https://thecon.ai
Web: https://faculty.washington.edu/ebender
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Snezana Lawrence @snezanalawrence.bsky.social Historian of mathematical sciences. Latest book "A Little History of Mathematics", Yale UP, April 2025. snezana-lawrence.com
Michael Barany @mbarany.com Historical and cultural theories about maths and science theories. Fields Medal killjoy. Scotland enjoyer. formerly @mbarany on birdsite and intermittently @mjb@mathstodon.xyz on fediverse
Christopher Cheung @bychrischeung.bsky.social Vancouver writer. Punctuation patrol at BCIT j-school. Author of "Very Vancouver" and "Under the White Gaze."
www.christophercheung.net
Elissa Redmiles @eredmil1.bsky.social Faculty @Georgetown, Faculty Associate @BKCHarvard
Digital security, "AI", safety, privacy, S*x W*rk
Prev @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows
Michael Muthukrishna @michael.muthukrishna.com Prof. #NYU & #LSE. Author: A Theory of Everyone. Researching & spreading the word on how humans evolved & what that means for us today. www.atheoryofeveryone.com
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute 
Ehud Karavani @ehudk.bsky.social Research Staff Member at IBM Research.
Causal Inference 🔴→🟠←🟡.
Machine Learning 🤖🎓.
Data Communication 📈.
Healthcare ⚕️.
Creator of 𝙲𝚊𝚞𝚜𝚊𝚕𝚕𝚒𝚋: https://github.com/IBM/causallib
Website: https://ehud.co
Lee Vinsel @leev.bsky.social I do technology studies, make the Peoples & Things podcast, co-founded The Maintainers, and profess Science, Technology, and Society at Virginia Tech.
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Dr Ellie Murray, ScD @epiellie.bsky.social Epidemiologist and science communicator | newsletter: epiellie.substack.com | cohost @casualinfer podcast | Causal inference for public health #epitwitter | Canadian in US 🇨🇦 | she/her/Dr
UBC Philosophy @ubcphilosophy.bsky.social Official Bluesky feed of the Philosophy Department at the University of British Columbia.
The Tyee @thetyee.ca Independent BC-based journalism swimming against the current. Paywall-free since 2003. support.thetyee.ca
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
danah boyd @zephoria.bsky.social STS researcher who likes to look at things sideways. Founded Data & Society.
Topics: Census | Youth | Data | Society
Professor of Communication, Cornell
https://made-not-found-by-danah-boyd.ghost.io
evacide @evacide.bsky.social Director of Cybersecurity @eff.org
Co-founder of @stopstalkerware.bsky.social
These opinions are my own, not my employer's
I did a TED talk once
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Alex Warth @alexwarth.bsky.social Principal Investigator at @inkandswitch.com
Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google
Creator of OMeta, co-creator of @ohmjs.org
Bob Nystrom @stuffwithstuff.com Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
Michiel van de Panne @mvandepanne.bsky.social UBC Computer Science; physics-based models of human movement; deep reinforcement learning; animation; robotics
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Tomas Petricek @tomasp.net Associate prof @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent & @cst.cam.ac.uk.
Check out my book "Cultures of Programming"! https://tomasp.net/cultures
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
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, 🌹 🇺🇦 🟣
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Ian Stark @ian.stark.scot 
Sean Cribbs @seancribbs.bsky.social Husband, Cat Daddy, BBQueueing theorist, distsys geek, KC soccer fan, foodie, musician, holder of things. he/him/his “3 Seans make a right”
Opinions are my own, not that of my employer
🐘 https://hachyderm.io/seancribbs
📹 https://youtube.com/@seancribbs
Jana 🏳️⚧️ @etrolleybus.bsky.social mostly at @etrolleybus@types.pl • she/her • profile pic drawn by @comicsbyxan@transfem.social
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Talia Ringer @taliaringer.bsky.social 
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
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.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
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/- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
- R @rsnikhil.bsky.social @rsnikhil.bsky.social
- N @niki-vazou.bsky.social @niki-vazou.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
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.
@gregorkiczales.bsky.social @gregorkiczales.bsky.social 
Alan Richardson @alanrichardson.bsky.social Professor of Philosophy, UBC
Faculty Member, Science and Technology Studies Graduate Program, UBC
Philosophy of Science
History of Philosophy of Science- S Andrew Gelman et al. @statmodeling.bsky.social Automatically tweets new posts from http://statmodeling.stat.columbia.edu
Please respond in the comment section of the blog.
Old posts spool at https://twitter.com/StatRetro
🇨🇦 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.
Julia M. Rohrer @dingdingpeng.the100.ci Personality psych & causal inference @UniLeipzig. I like all things science, beer, & puns. Even better when combined! Part of http://the100.ci, http://openscience-leipzig.org
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Zihao Huang @zihaohuang.bsky.social - M @mkolosick.bsky.social @mkolosick.bsky.social
Sam Lindley @reifyreflect.bsky.social 
Luís Caires @lmcaires.bsky.social I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
Jocelyn Chen @jqchen.bsky.social 
Danica Sutherland @djsutherland.ml machine learning asst prof at @cs.ubc.ca and amii
statistical testing, kernels, learning theory, graphs, active learning…
she/her, 🏳️⚧️, @queerinai.com
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Arpan Gujarati @arpanbg.bsky.social Assistant Professor at @csubc.bsky.social | Formerly at #MPI-SWS Germany, #BITS-Pilani India | arpangujarati.github.io
Victoria Savalei @vsavalei.bsky.social Quantitative Psychologist at the University of British Columbia
Aastha Mehta @aasthakm.bsky.social Assistant Professor, UBC CS, http://aasthakm.github.io | Past associations MPI-SWS, NetApp, BITS Pilani.
Artem Pelenitsyn @pelenitsyn.top Incoming Assist. Prof. of CS at Commonwealth U (Bloomsburg). PhD in CS from Northeastern. Interests: programming languages and compilers, types, Haskell, Julia. https://a.pelenitsyn.top/
@rpiskac.bsky.social @rpiskac.bsky.social 
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
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. 
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Joe Cutler @alphaconvert.bsky.social cutler.pl
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.
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Dr. Tom 7 Murphy VII Ph.D. ! @tomvii.bsky.social http://tom7.org
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Ilya Sergey @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
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her