Conor Power
Berkeley CS PhD student working on hydro.run. Former senior SWE on MSFT Cosmos. Databases 🐘 and distributed systems 🕰️ with some theory 🧮 thrown in.
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@mweidner.bsky.social
Collaborative software at Common Curriculum / CMU I write about CRDTs etc: https://mattweidner.com/
@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)
@localfirst.fm
A podcast about local-first software development. Hosted by @schickling.dev.
@patbrown.lol
They. Seattle. 🌹🇵🇸🇺🇦🏳️⚧️🏳️🌈🏴☠️1️⃣3️⃣1️⃣2️⃣ I block people who post AI art and graphics.
@southbaysystems.xyz
@icgog.bsky.social
@hytradboi.bsky.social
Have you tried rubbing a database on it? https://www.hytradboi.com/2025
@pinartozun.bsky.social
Head of Data, Systems, and Robotics Section & Associate Professor at IT University of Copenhagen https://www.pinartozun.com/ https://itu-dasyalab.github.io/RAD/ http://distortedpollyanna.blogspot.com/
@grgzkhr.bsky.social
PhD student at @prg-grp.bsky.app Interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 (he/him) https://grgz.me
@preetumnakkiran.bsky.social
ML Research @ Apple. Understanding deep learning (generalization, calibration, diffusion, etc). preetum.nakkiran.org
@neus-2025.bsky.social
2nd International Conference on Neuro-symbolic Systems (NeuS 2025) https://neus-2025.github.io/
@madelonhulsebos.bsky.social
Faculty at CWI & ELLIS Amsterdam https://trl-lab.github.io. Previously at UC Berkeley and the University of Amsterdam. Research on neural models for tabular data; table representation learning 💫. https://www.madelonhulsebos.com
@yann-lecun.bsky.social
Professor a NYU; Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate. http://yann.lecun.com
@jaffray.bsky.social
turning to the succor of modern computing machines, let us renounce all analytic tools https://buttondown.com/jaffray justinjaffray.com
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@heidihoward.bsky.social
@petereliaskraft.net
Co-founder @ http://dbos.dev • Stanford PhD • Database Geek • Building https://github.com/dbos-inc/dbos-transact-py
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@samarchdb.bsky.social
PhD Student in Databases @ CMU-DB Previously a Compiler Engineer @ Apple
@alexanderobenauer.com
I'm exploring the interfaces with which we think & the future of personal computing → alexanderobenauer.com
@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.
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@patternist.xyz
I work on local-first software, currently building Automerge at Ink and Switch. Find me at patternist.xyz
@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.)
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/
@amyxlu.bsky.social
CS PhD Student at UC Berkeley & AI for drug discovery at Prescient Design 🇨🇦
@samkumar.bsky.social
Assistant Professor, UCLA Computer Science. Interested broadly in System Security and Networked Systems. https://www.samkumar.org
@slimshetty.bsky.social
PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@benpfaff.bsky.social
Co-founder and developer at feldera.com. GNU and former Debian developer. RenFaire enthusiast. He/him.
@abhizer.com
Compiler Engineer @ Feldera Interested in PL, Compilers, Databases and a whole lotta things that I don’t know about yet! https://abhizer.com
@mgreen.bsky.social
Data, Streaming, coding, (maybe) AI? building a real time streaming engine. https://www.denormalized.io/
@chris.blue
Writer of books (http://themissingreadme.com), code (http://slatedb.io), checks (http://materializedview.capital), and newsletters (http://materializedview.io)
@lalithsuresh.bsky.social
CEO @ feldera.com, the incremental compute engine for AI, ML and data teams. Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd. lalith.in/research
@julianhyde.bsky.social
On a mission to tame data. (Ex-Google, always ASF, working on something new.)
@chris.wensel.net
Co-Organizer of https://lu.ma/sf-distsys Developer of https://github.com/ClusterlessHQ, https://cascading.wensel.net, and other data related projects.
@joygao.bsky.social
expert of obsolescence (a.k.a. software engineer). ex-Figma, ex-WePay. currently funemployed. long-form ✍️: https://expertofobsolescence.substack.com
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@qianli.dev
Co-founder @dbos.dev • Stanford CS PhD Co-organizer @southbaysystems.xyz Working on 🐘 Database + Systems + AI Amateur bird watcher 🦉 Personal site: qianli.dev She/her.