Timothy Gowers @wtgowers.bsky.social Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
The C Programming Language @c-official.bsky.social Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
Mike Caulfield @mikecaulfield.bsky.social Author: Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online (University of Chicago Press).
Researcher, infolit/misinfo/rhetoric/civic reasoning. Currently researching AI as tool for critical thinking.
Shannon Mattern @shannonmattern.bsky.social i work across nyc’s libraries and archives; i was a full professor of media studies, art history + anthropology
architecture, archives, 🎨, cities, 🐕, infrastructure, libraries, 🗺️, sound++
nyc + upstate
wordsinspace.net
Talia Ringer @taliaringer.bsky.social 
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Yiyun Liu @electriclam.com PhD student at Penn
Maxim Raginsky @mraginsky.bsky.social web: http://maxim.ece.illinois.edu
substack: https://realizable.substack.com
Grant Sanderson @3blue1brown.com Math videos
Neuroskeptic @neuroskeptic.bsky.social 
A. Feder Cooper @afedercooper.bsky.social ML prof @ Yale, mischief executive officer
https://attention-is-not-all-you-need.github.io
Jean Abou Samra @jeanas.bsky.social PhD student in theoretical computer science at Eötvös Loránd University in Budapest. Mainly here to chat about TCS/math. He/him
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
parkie-doo @parkie-doo.sh PhD Candidate at UC Berkeley EECS // Programming Languages • Human-Computer Interaction • Visualization • Cartography // Building alpha.cartokit.dev
Software Engineer at @gristnews.bsky.social // Maps • Data • Graphics • Code
Josh Horowitz @joshuahhh.com joshuahhh.com
t-shirt size: medium
Alex Turner @turntrout.bsky.social Research scientist at Google DeepMind. All opinions are my own. Vegan, 10% of my income pledged to effective charities (GWWC)
https://turntrout.com
Eleanor Lin @eleanormlin.bsky.social CSE PhD Student @ University of Michigan | BA Computer Science/Linguistics @ Columbia University | 台灣暑期密集語言項目 @ National Tsing Hua University | AKA 林書宜 | emlinking.github.io
Jeremy Huang @jzh2o.bsky.social PhD Student @ University of Michigan researching Human-Computer Interaction and Accessibility
Chris Peikert @chrispeikert.bsky.social Cryptographer (lattices/post-quantum), Burks Collegiate Professor at U-Michigan Computer Science and Engineering, Chief Scientific Officer at Algorand, PhD from MIT CSAIL. Previously faculty at Georgia Tech School of CS. Here I speak for myself.
Farnaz Jahanbakhsh @farnazj.bsky.social assistant prof in Computer Science & Engineering at the University of Michigan, prev postdoc at Stanford HAI, PhD at MIT CSAIL, research in HCI and Social Computing
Kevin Zollman @kevinzollman.com Philosophy and Game Theory at Carnegie Mellon 🦚 Research the interface between philosophy, economics, and biology 💱 www.kevinzollman.com
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Harry Goldstein @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
Ethan Bodzioney @bodzioney.bsky.social PL enjoyer. CS MSc @ UToronto
https://bodzioney.org
@fdeitylink.bsky.social @fdeitylink.bsky.social 
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25
Sean Carroll @seanmcarroll.bsky.social Physics, philosophy, complexity. @jhuartssciences.bsky.social & @sfiscience.bsky.social. Host, #MindscapePodcast. Married to @jenlucpiquant.bsky.social.
Latest books: The Biggest Ideas in the Universe.
https://preposterousuniverse.com/
@ahuoguo.bsky.social @ahuoguo.bsky.social 
wokeness within the boundaries of mere reason @meyoucoward.bsky.social 
Helena Fang @helenafang.bsky.social PhD student at MIT philosophy; learning how to flip a fair coin. (Literally.) www.helenafang.com
Greg Bodwin @gbodwin.bsky.social Associate professor at UMich. I do theoretical computer science and graph theory.
jaylin herskovitz @handle.invalid ♪~ ᕕ(ᐛ)ᕗ PhD student @ umich researching accessibility, diy tech, AR
she/her
jayl.in
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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.
Dan Grossman @dangrossmanseattle.bsky.social 
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Adam Wiggins @adamwiggins.com Working to make computers better. Cofounder of Ink & Switch, Heroku, and Local-First Conf.- M @mkolosick.bsky.social @mkolosick.bsky.social
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
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
Ryan Moulton @moultano.bsky.social Algorithmist
https://moultano.wordpress.com/
Grace @gracekind.net A latent space odyssey
gracekind.net
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Andrew Head @andrewhead.bsky.social Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable.
Read about my group's work at https://andrewhead.info
Matt Keenan @negabinary.bsky.social 
Joe Cutler @alphaconvert.bsky.social cutler.pl- R rntz @rntz.net Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
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
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/
pvh @pvh.ca just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
Alex Good @patternist.xyz I work on local-first software, currently building Automerge at Ink and Switch. Find me at patternist.xyz
Jessica Shi @jwshi.bsky.social PhD student at Penn.
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.
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Roly Perera @dynamicaspects.org Making software more open, explorable and self-explanatory
https://dynamicaspects.org/research
Also: subjectivity, agency, active inference, niche construction, enactivism
@plrg-bristol.bsky.social
@iccscambridge.bsky.social
@f.luid.org
Topos Institute @toposinstitute.bsky.social US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all.
https://topos.institute
Ground News @groundnews.bsky.social Helping you see the full story, for every story.
Download our free app 📲👇
ground.news/bluesky
janus🎭 @repligate.bsky.social 🔄Bing Orchestrator🔄
🌎🌍🌏🌐🌎🌍🌏🌐🌏🌏
💻💻💻💻💻💻💻💻💻💻
⬇️⬇️⬇️⬇️⬇️⬇️⬇️⬇️⬇️⬇️
👁️👁️👁️👁️👁️👁️👁👁️👁️👁
Stopthedatacenter @stopthedata.bsky.social We are fighting the UM-Los Alamos Data Center planned for Ypsilanti Michigan and you're invited 💖
Zohran Kwame Mamdani @zohrankmamdani.bsky.social Mayor of New York City
Serra Dane @serradane.bsky.social PhD student at UMich CSE
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Typst @typst.app The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
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
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.
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Jared Forsyth @jaredforsyth.com trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Geoffrey Litt @geoffreylitt.com Malleable software @inkandswitch.com
prev PhD @csail.mit.edu
geoffreylitt.com
🇯🇵🇺🇸
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.
depths of wikipedia @depthsofwikipedia.bsky.social hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Randall Munroe @xkcd.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.
andrew blinn @disconcision.com https://andrewblinn.com
abstractJuiceFactory
Carmel Schare @schare.space 'puter things
https://schare.space
Alexander Bandukwala @bandukwala.me 💻 Pursuing the Future of Computing
🔬 PhD Student @ University of Michigan (Future of Programming Lab)
🪄 Building Hazel: Live Functional Programming & Malleable Systems
🐾 Dog Parent
🛠️ Ex-Software Engineer
🌟 Computing Maximalist 
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
Coleman Snell @colemansnell.bsky.social AI Governance Researcher, interested in this centuries' greatest challenges & host for On What Matters (https://bsky.app/profile/on-what-matters.bsky.social)
The Associated Press @apnews.com Advancing the power of facts, globally 🌎
NPR @npr.org This is NPR 🎙️
Ink & Switch @inkandswitch.com An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
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