Abhinav Gyawali
Compiler Engineer @ Feldera
Interested in PL, Compilers, Databases and a whole lotta things that I don’t know about yet!
https://abhizer.com
@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
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@anakli.bsky.social
Assistant Professor in Computer Science @ETHZurich. I work on computer systems. https://anakli.inf.ethz.ch/
@matei-zaharia.bsky.social
CTO at Databricks and CS professor at UC Berkeley. https://people.eecs.berkeley.edu/~matei/
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@alvincheung.bsky.social
@jay.bsky.team
CEO of Bluesky, steward of AT Protocol. Let’s build a federated republic, starting with this server. 🌱 🪴 🌳
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
@zgerd.bsky.social
@divyaswor.bsky.social
Full stack developer. Dad jokes. Remote work is the future. OPEN TO COLLABORATE. I am not that active anywhere, but you can still check out my profiles. https://www.divyaswormakai.com Most of the posts are jokes.
@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
@jkxosound.com
Product & Engineering @ Striim (streaming sql, change data capture), creator/host @ What's New in Data pod, music @ jkxo
@ned.sh
Data science, AI/ML, analytics, visualisation. Naarm/Melbourne @thoughtworks, #dataBS, #Python, #NLP, #DuckDB, & assorted whimsical miscellania
@nicoritschel.com
Building @sidequery.dev Director of Engineering atm.com nicoritschel.com
@abhi9u.bsky.social
NetBSD Dev | Python Internals, AI, compilers, databases, & performance engineering | https://blog.codingconfessions.com/
@yzfang.bsky.social
Program verification/analysis, software engineering, and programming languages. PhD Student at University of Southern California. Opinions are my own.
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
@katef.bsky.social
she/her If I unfollowed you, it's because you keep posting things without alt text
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@rajeshveera.bsky.social
Prof. Georgetown University, Tech and Welfare, ICTD, Critical AI, author: Patching Development. ex - Microsoft developer, UC Berkeley(Ph.D) interested in Real Utopias Tech and social change #sociotechnical, #labortech, #welfare, #AI www.rajeshveera.org
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@reshabh.bsky.social
Everything is a compiler! PhD student @uwcse Opinions are my own!
@vanlightly.bsky.social
Researcher, advisor, writer, formal verification eng @ Confluent. Everything data (dist sys, databases, messaging, data eng/analytics). https://jack-vanlightly.com, https://www.hotds.dev Credit: ESO/B. Tafresh
@samwillis.uk
Local First, Sync Engines, @pglite.dev and Sync Engines at @electric-sql.com. More at https://samwillis.uk
@dlipomi.bsky.social
chair of chemical engineering at U Rochester, dad, professor, youtuber, materials scientist, wannabe neuroscientist, trombone enthusiast, fair weather vegetarian, fan of 90s music, video games, and Stars of both the Wars and Trek variety
@elfprince13.mumak.app
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist Bluesky open-source contributor Decentralizing systems (human & digital) Opinions are my own 📍Vermont
@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.
@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/
@evacchi.dev
Programming Language Nerd, PhD in C.S. Staff Research Engineer @ Dylibso — Compilers, WebAssembly, Java, Rust, Go (chicory.dev and wazero.io) — prev: wazero @ Tetrate, RedHat, UniCredit — organizer Papers We Love Milano evacchi.dev
@tonofcrates.bsky.social
@bernsteinbear.com
Baking bread and compilers are kinda similar if you think about it @tekknolagi elsewhere
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@randomlywalking.bsky.social
Research Scientist, Google DeepMind / Ex-academic / Deep learning to help people write code / ❤️s:🐱🐶☕️🍕
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@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.
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@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
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@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/
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@taliaringer.bsky.social