@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@dabeaz.com
Free-range computer scientist living in Evanston, Illinois. I wrote some Python books. If you want to talk code, take a CS course https://www.dabeaz.com/courses.html. I'm mainly here for dogs, bikes, trombones, and other random stuff.
@aoli.al
PhD Student@CMU If you want deterministic concurrency testing, try Fray (https://github.com/cmu-pasta/fray).
@schemeprincess.bsky.social
I am a principal researcher at Microsoft Research. I work on operating systems for kernel-bypass data center servers.
@danluu.com
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com
@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.
@largedatabank.com
Sr Director of engineering @ Cockroach Labs. Brooklyn Check me out: https://largedatabank.com The old site: https://twitter.com/largedatabank
@xdg.bsky.social
Engineering Director @MongoDB. I like building things, solving problems and playing games, occasionally at the same time. Opinions are my own.
@richardb.bsky.social
Distributed systems, databases, and the foundational primitives for better (more robust, efficient, accessible) computing. Currently building the infrastructure platform for the Crunchy Bridge Postgres and Data Warehouse service.
@heidihoward.bsky.social
@ahmet.dev
working on compute infra at LinkedIn. ex-twitter/googlecloud/azure dist sys enthusiast github.com/ahmetb
@dominiktornow.bsky.social
@rbn.bsky.social
Distributed Systems & databases person. Works at Microsoft on Orleans & Aspire
@jamescham.bsky.social
Of the San Gabriel Valley; investing for the year 2030; working to improve the second derivative; looking for troublesome ringleaders.
@asatarin.bsky.social
Staff SRE at Google. Distributed systems / databases / reliability / correctness. Views my own. Repost / like is not an endorsement. http://asatarin.github.io
@fponzi.me
MSc in Computer Science. SDE @microsoft Distributed systems and operating systems. My tweets, my opinions
@conorpower23.bsky.social
Berkeley CS PhD student working on hydro.run. Former senior SWE on MSFT Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.
@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.
@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/ ]
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@ms705.bsky.social
Computer systems researcher in the ETOS group (https://etos.cs.brown.edu) at Brown University.
@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.
@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@ab.id.au
Core OS and systems security research @Google Zurich. Ex-{UNSW,ETH,MSR}. Mostly 🇦🇺. He/him.
@benjscho.bsky.social
Software dev at AWS DSQL Working on learning more about distributed systems, getting better at writing Rust, living well
@senykamara.com
Head of Research & Distinguished Scientist @ MongoDB | ex-Professor @ Brown University | Aroki co-founder (acquired by MongoDB) | ex-Microsoft Research. More at senykamara.com
@cynthiadunlop.bsky.social
ScyllaDB | P99 CONF | "Writing for Developers: Blogs That Get Read" book (https://github.com/scynthiadunlop/WritingForDevelopersBook)
@marcua.net
Hummus, people, and data. Co-Founder & CTO of B12. Previously Locu, MIT CSAIL. He/him. https://marcua.net/ Queens is the future.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@maslett.bsky.social
Director of research covering analytics, data and AI. The second edition of "The System - a Truth Wars Novel" is now available around the world as a free ebook: https://books2read.com/u/3nAkzK
@jrdntgn.bsky.social
Co-Founder and chief duck-herder at MotherDuck. Likes small data and clever hacks. He/him
@pvldb.bsky.social
The Proceedings of the VLDB Endowment (PVLDB) https://vldb.org/pvldb/ RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml Automated by @andypavlo.bsky.social
@ashrafaboulnaga.bsky.social
Professor of Computer Science at the University of Texas at Arlington https://ashraf.aboulnaga.me/
@pauldix.bsky.social
Cofounder & CTO InfluxData, makers of InfluxDB, the open source time series database. Founder of NYC Machine Learning Meetup. Former Ruby on Rails developer and enthusiast (still a fan).
@matthiasboehm7.bsky.social
Prof at TU Berlin and BIFOLD; research on ML systems and data management. mboehm7.github.io
@daveandersen.bsky.social
Computer Science Professor, CMU; co-founder and CTO, Enriched Ag Energy-efficient computing, a dash of security, and a pinch of databases. Also on Mastodon (https://hachyderm.io/@dave_andersen ) signal: dga.48 he/him