Tyler @tbreisacher.bsky.social 
verijit @verijit.bsky.social We use techniques from just in time compilers to accelerate Verilog simulations.
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 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
Dileep George @dileeplearning @dileeplearning.bsky.social AGI research @DeepMind.
Ex cofounder & CTO Vicarious AI (acqd by Alphabet),
Cofounder Numenta
Triply EE (BTech IIT-Mumbai, MS&PhD Stanford). #AGIComics
blog.dileeplearning.com- S Seth Stafford @sethts.bsky.social Deep Learning practitioner, enterprise software, math PhD, piano enthusiast, omnivorous reader
Eunice Cho @eunicehcho.bsky.social Immigrant rights attorney; focus on immigration detention. (Views my own; repost does not = endorsement)
Rodney Brooks @rodneyabrooks.bsky.social Primarily Robotics and AI. Distinguishing hype-notism from plausibility one press release at a time. rodneybrooks.com/blog people.csail.mit.edu/brooks
Geoffrey Huntley @ghuntley.com It's an uncertain time for our profession, but one thing is certain—things will change.
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
Rado Kirov @radokirov.bsky.social engineering at stripe. recovering academic.
LaurieWired @lauriewired.bsky.social researcher @google; serial complexity unpacker
ex @ msft & aerospace
Hayden Field @haydenfield.bsky.social Senior AI reporter at The Verge.
6 years covering the AI industry's power dynamics, societal implications & the AI arms race. Previously: CNBC, Morning Brew, Protocol, etc.
DM me off the record on Signal: haydenfield.11
Jeff Kaufman @jefftk.com Contra dance musician, parent, effective altruist, biosurveillant, software engineer, blogger.
www.jefftk.com
Bill Gates @billgates.bsky.social Global Health. Energy Innovation. Alzheimer’s. https://gatesnot.es/tgn
Goh_billy @gohbilly.bsky.social I wrote a lot of things on Gamefaqs many moons ago. I try to create things to celebrate fighting/video games. This includes collages, crafts, greeting cards, pixel art, and more. Just trying to have fun and spread positivity.
James Medlock @jdcmedlock.bsky.social More good things for everyone. Public sector appreciator. Tax and welfare policy knower. Hyperinflation doubter.
Indivisible ❌👑 @indivisible.org We’re organizing against this fascist regime the only way that actually works — with on-the-ground, volunteer-led, communities of people power: https://linktr.ee/indivisibleteam
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Swift Language @swift.org Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
Lea Kissner @leak.bsky.social Security, privacy, respect. Was the Twitter CISO until it was terrible. Now LinkedIn CISO. they/them
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
maisem @maisem.com Building an Agentic Cloud at @exe.dev. Prev at OpenAI/@tailscale.com/Google/Microsoft
Tom Mens @tom-mens.bsky.social Professor in Software Engineering at University of Mons, Belgium
François Fleuret @francois.fleuret.org Research Scientist Meta/FAIR, Prof. University of Geneva, co-founder Neural Concept SA. I like reality.
https://fleuret.org
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Ayush Khaitan @ayushkhaitan.bsky.social Mathematician at Rutgers 
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, ...
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
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/
Tushar Sharma @tusharma.bsky.social Asst. prof.@Dalhousie Univ. In the business of finding nails for my hammers. Created Designite. Product of 🇮🇳, trained in 🇬🇷, deployed in 🇨🇦.
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Diomidis Spinellis @coolsweng.bsky.social Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/
(Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
depths of wikipedia @depthsofwikipedia.bsky.social hi i'm @annierau.bsky.social i love wikipedia! dm submissions if you want :-)
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Nathan Lambert @natolambert.bsky.social A LLN - large language Nathan - (RL, RLHF, society, robotics), athlete, yogi, chef
Writes http://interconnects.ai
Prev Ai2/Olmo, HuggingFace, Berkeley, and normal places
Fernanda Viégas @viegas.bsky.social Human/AI Interaction and data visualization. Professor at Harvard. Co-founder of Google's People+AI Research initiative (PAIR)
David Flynn @dpfl.bsky.social Math curriculum at Beast Academy/IPL
Roy Goodman @roygoodman.net Mathematician, Professor, Director of Graduate Studies NJIT Math, Founding President SIAM New York-New-Jersey-Pennsylvania section, nonlinear dynamics of waves & vortices, LaTeX nit-picker, sometime spoon carver, lesser of two weevils
Viktor Blåsjö @viktorblasjo.bsky.social History of mathematics.
Utrecht University: https://www.uu.nl/staff/VNEBlasjo
Podcast: https://intellectualmathematics.com/opinionated-history-of-mathematics/
Dr. Fei-Fei Li @drfeifei.bsky.social Prof (CS @Stanford), Co-Director @StanfordHAI, Cofounder/CEO @theworldlabs, CoFounder @ai4allorg #AI #computervision #robotics #AI-healthcare
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/
Omar Sanseviero @osanseviero.bsky.social Llama Farmer
Ex CLO Hugging Face, Xoogler
Sebastian Raschka (rasbt) @rasbt.bsky.social ML/AI researcher & former stats professor turned LLM research engineer. Author of "Build a Large Language Model From Scratch" (https://amzn.to/4fqvn0D) & reasoning (https://mng.bz/Nwr7).
Also blogging about AI research at magazine.sebastianraschka.com.
Christoph Molnar @christophmolnar.bsky.social Author of Interpretable Machine Learning and other books
Newsletter: https://mindfulmodeler.substack.com/
Website: https://christophmolnar.com/
Adam Klein @ajklein.bsky.social Lover of music; live, recorded, or both.
Devotee/arm-chair critic of world cinema.
Would otherwise prefer to be outdoors.
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
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/
Justin Tunney @justine.lol I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
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/
@titzerbl.bsky.social @titzerbl.bsky.social 
Kevin Bourrillion @kevinb9n.bsky.social Java Platform Group @Oracle (all opinions are my own alone).
See random stuff about me at http://kevinb9n.github.io
Eric Lippert @ericlippert.com Eric Lippert designs programming languages; prior work includes architecting the Hack and Bean Machine compilers at Facebook, and developing the Visual Basic, VBScript, JScript and C# compilers at Microsoft. Blog at https://ericlippert.com
Joshua Bloch @joshbloch.bsky.social Effective Java author, API Designer, CMU Prof, Swell guy.
Brian Goetz @briangoetz.bsky.social Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
Eric Christopher @echristo.bsky.social Cats, Games, Compilers, Software Performance,
Open Source.
Avid side-quest enthusiast.
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
LLVM Weekly @llvmweekly.org A weekly email newsletter on developments in LLVM, Clang and related projects. Curated by @asbradbury.org
Mark Collier @markcollier.me Austin Powered. OpenStack co-founder, OpenInfra Foundation COO, ex Rackspace & Yahoo! open source for fun & profit.
Open Source AI early and often
@sparkycollier on twitter and elsewhere
Links: markcollier.me 
Martin Wattenberg @wattenberg.bsky.social Human/AI interaction. ML interpretability. Visualization as design, science, art. Professor at Harvard, and part-time at Google DeepMind.
Berk Ustun @berkustun.bsky.social Assistant Prof at UCSD. I work on safety, interpretability, and fairness in machine learning. www.berkustun.com
Julien Chaumond @julien-c.hf.co I build tools that propel communities forward
Clem Delangue 🤗 @clem.hf.co Co-founder and CEO at Hugging Face
Yoshua Bengio @yoshuabengio.bsky.social Working towards the safe development of AI for the benefit of all at Université de Montréal, LawZero and Mila.
A.M. Turing Award Recipient and most-cited AI researcher.
https://lawzero.org/en
https://yoshuabengio.org/profile/
@joliemm.bsky.social @joliemm.bsky.social 
Tom Aarsen @tomaarsen.com Sentence Transformers, SetFit & NLTK maintainer
Machine Learning Engineer at 🤗 Hugging Face
Jeffrey Snover @jsnover.com PowerShell inventor, Reader, Science & Geopolitics geek, Philosopher-Errant, Retired
Kimon Fountoulakis @kfountou.bsky.social Associate Professor at CS UWaterloo
Machine Learning
Lab: opallab.ca
Gautam Kamath @gautamkamath.com Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2026. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Tim Disney @disnetdev.com Currently building software that can't betray its users.
@skyreader.app | skyboard.dev | www.flintnote.com
You can sponsor me on GitHub: https://github.com/sponsors/disnet
https://www.disnetdev.com/
🇺🇦 Alex Polozov @alexpolozov.com Sr. Staff Research Scientist @ Google DeepMind • previously Google X, Microsoft Research, UW • program synthesis, AI for Code and SWE • he/him • alexpolozov.com
Catriona Agg @catrionaagg.bsky.social Maths teacher, currently on maternity leave.
I aim to share lots of snippets of my lessons using #MathsToday and would encourage you to do the same!
Also occasional geometry puzzles 🧩
Steven Strogatz @stevenstrogatz.com Mathematician, writer, Cornell professor. All cards on the table, face up, all the time. www.stevenstrogatz.com
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Tim Berners-Lee @timbl.bsky.social Inventor of WWW
Co-founder & CTO Inrupt.com | Lead, Solidproject.org
Co-founder WebFoundation.org & theODI.org
Founder w3.org
My memoir ‘This is for Everyone’ https://thisisforeveryone.timbl.com/
Follow me on Mastodon https://w3c.social/@timbl
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@jeremysiek.bsky.social @jeremysiek.bsky.social 
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Thomas Wolf @thomwolf.bsky.social Co-founder @huggingface
Soumith Chintala @soumithchintala.bsky.social Cofounded and lead PyTorch at Meta. Also dabble in robotics at NYU.
AI is delicious when it is accessible and open-source.
http://soumith.ch
Charles Sutton @randomlywalking.bsky.social Research Scientist, Google DeepMind / Ex-academic / Deep learning to help people write code / ❤️s:🐱🐶☕️🍕
Sasha Rush @srushnlp.bsky.social Professor, Programmer in NYC.
Cornell, Hugging Face 🤗
Ian Goodfellow @ian-goodfellow.bsky.social Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Founding chairman of www.publichealthactionnetwork.org
Ivana Balazevic @ibalazevic.bsky.social Senior Research Scientist at Google DeepMind, working on Gemini.
PhD from University of Edinburgh.
ibalazevic.github.io
Vineeth Kashyap @vineethk.bsky.social Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
Alex Rebert @ayper.bsky.social Memory Safety @ Google. Previously co-founder of Mayhem Security (formerly known as ForAllSecure). Opinions here are my own.
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Erica Klarreich @ericaklarreich.bsky.social Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Daniel Ehrenberg @littledan.dev
(((🏳️🌈🪗🎹🏊🟥🟨🟪)))
Dave Richeson @divbyzero.bsky.social Mathematician. John J. & Ann Curley Chair in Liberal Arts at Dickinson College. Author of Tales of Impossibility and Euler's Gem. Coffee drinker. [Everything in the timeline before October 2024 was imported from my Twitter/X feed 2008-24.]
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
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
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.