Amit
Founder @ Entropic Labs; CS @ UIUC;
Distributed Systems, Rust, FinTech, and general CS enthusiast
@gkatzelis.bsky.social
Associate professor of Computer Science at Drexel University. Interested in mechanism design, game theory, algorithms, fair division. https://www.cs.drexel.edu/~gkatz/
@jamiemmt.bsky.social
CS professor at UW, research focus in theory of ML, fairness, and econCS
@gbodwin.bsky.social
Assistant professor at UMich. I do theoretical computer science and graph theory.
@huckbennett.bsky.social
Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music. https://home.cs.colorado.edu/~hbennett/
@focs2025.bsky.social
Official account for the 2025 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in Sydney, Australia, Dec 14-17, 2025.
@yannaigonch.bsky.social
Faculty @ Harvard Econ + Harvard Computer Science, past: MSR HebrewU, classical (opera) singer, father of two (+a pug) | tweets my own, repost≠endorse https://yannai.gonch.name/
@ellen-v.bsky.social
Assistant Professor at Stanford Machine learning, algorithm design, econ-CS https://vitercik.github.io/
@kasperglarsen.bsky.social
Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@gavin-brown.bsky.social
Postdoc at UW CSE. Differential privacy, memorization in ML, and learning theory.
@rachel-law.bsky.social
Organic machine turning tea into theorems ☕️ AI @ Microsoft Research ➡️ Goal: Teach models (and humans) to reason better Let’s connect re: AI for social good, graphs & network dynamics, discrete math, logic 🧩, 🥾,🎨 Organizing for democracy.🗽 www.rlaw.me
@michal-feldman.bsky.social
Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
@mdinitz.bsky.social
Associate Professor, Department of Computer Science, Johns Hopkins University. https://www.cs.jhu.edu/~mdinitz/
@shivamnadimpalli.bsky.social
CS Theory postdoc at MIT (https://math.mit.edu/~shivamn)
@moshebab.bsky.social
Assoc. Prof. of CS at the Hebrew University. Algorithmic Game Theory. Economics and Computation. https://sites.google.com/view/babaioff/about-me
@booleananalysis.bsky.social
@stefanotessaro.bsky.social
Professor at the University of Washington, Paul G. Allen School of Computer Science & Engineering @uwcse.bsky.social Working on cryptography, theoretical computer science, and computer security. https://homes.cs.washington.edu/~tessaro/
@florentdelgrange.bsky.social
postdoc @ ai lab, Vrije Universiteit Brussel working on providing reliable and verifiable ai mechanisms #RL & formal methods delgrange.me
@rrwilliams.bsky.social
professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc. i'll let you know when P != NP is proved (and when it's not)
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/
@redblobgames.com
Hi! I'm Amit Patel. I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/Barren Realms Elite and Realm of the Mad God. https://www.redblobgames.com/
@dominiktornow.bsky.social
@friuit.bsky.social
@xeiaso.net
Some nerd that uses computers | Blogger with 500-ish articles at https://xeiaso.net | @theprincessxena on the bird website | CEO @techaro.lol | Minors DNI
@paolo.ricciuti.me
S1 | Developer | https://sveltelab.dev | Fat guy | Svelte Ambassador 🔶 | Svelte maintainer 🧡 | JavaScript Bender
@rbn.bsky.social
Distributed Systems & databases person. Works at Microsoft on Orleans & Aspire
@chris.blue
Writer of books (http://themissingreadme.com), code (http://slatedb.io), checks (http://materializedview.capital), and newsletters (http://materializedview.io)
@markrussinovich.bsky.social
CTO of Microsoft Azure, author of novels Rogue Code, Zero Day and Trojan Horse, Windows Internals, Sysinternals tools. Opinions are my own.
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@swtch.com
@jepsen.mastodon.jepsen.io.ap.brid.gy
Breaking distributed systems, one fault at a time. [bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
@levels.io
💾 Pieter.com est. 1994 📸 PhotoAI.com $120K/m 🏡 InteriorAI.com $38K/m 🛰 RemoteOK.com $37K/m 🌍 Nomads.com $35K/m 🎁 levelsio.com $23K/m
@thephd.dev
💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀 ✍ Writing: http://thephd.dev 📷 Avatar KIINGKISMET (https://kiingkiismet.com/) 🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
@adamchalmers.com
Rust at Zoo (prev Cloudflare). Texan (prev Australian). Pynchon fan (prev illiterate). Building a new programming language for CAD at zoo.dev. Love reading sci-fi, pre-20th century history. Blogging at adamchalmers.com
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/
@ifesdjeen.bsky.social
Distributed and Storage Systems. Apache Cassandra Committer and PMC member. Author of Database Internals. Mountain person. http://databass.dev/
@kolobara.com
Into 📡 distributed systems, 🔥 fault-tolerance, 🦀 rust, 🎛️ knobs and buttons. Creator of https://flawless.dev. bkolobara in most other places.