Shadaj Laddad
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!
@dplyukhin.bsky.social
Actor/model/choreographer working on the Actor Model and Choreographic Programming > Postdoctoral researcher at SDU > Occasional cohost of Type Theory Forall > dplyukhin.github.io
@bart.gov
This is the official account for BART. We provide train service throughout the San Francisco Bay Area and connect people to places they love. For automated service updates go to @alerts.bart.gov Visit us at bart.gov 🚇💙
@alerts.bart.gov
Automated alerts from @bart.gov. Download the BART Watch App to report suspicious or criminal activity. For non-emergency needs you can text BART PD at 510-200-0992.
@rust-lang.org
A programming language empowering everyone to build reliable and efficient software.
@stuhood.sh
Working on transactional, Elastic-quality search for Postgres at https://www.paradedb.com/ - 日本語を勉強しています
@mweidner.bsky.social
Collaborative software at Common Curriculum / CMU I write about CRDTs etc: https://mattweidner.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
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@preetumnakkiran.bsky.social
ML Research @ Apple. Understanding deep learning (generalization, calibration, diffusion, etc). preetum.nakkiran.org
@samarchdb.bsky.social
PhD Student in Databases @ CMU-DB Previously a Compiler Engineer @ Apple
@julianhyde.bsky.social
On a mission to tame data. (Ex-Google, always ASF, working on something new.)
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@slimshetty.bsky.social
PhD student @ucberkeley | Projects: Syzygy, R2E, Chatbot-Arena RepoChat | PL Tooling for AI4Code | prev @msftresearch | manishs.org
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.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
@jbaxleyiii.bsky.social
I wish I was a farmer. he/him Current Vice President of Engineering at Homeaglow. Co-creator of Apollo Federation. Prev @apollographql @carbonhealth
@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
@mayli.bsky.social
used to be @mayli in the old place. hello! 👋 maylikhoe.com tin house winter workshop 2025 Interdisciplinary designer writer artist musician dancer inventor. vp of design and former dj. mfa candidate.
@ncweaver.skerry-tech.com
Lecturer, Computer Science, UC Davis Researcher, Computer Security, ICSI Chief Mad Scientest, Skerry Technologies Digital, Explainable, and (usually) Adversarial Systems
@adityagp.bsky.social
Prof @ UC Berkeley. Codirector @ EPIC data lab. Cofounder @ Ponder (Acq. Snowflake). Interested in data, systems, and people. More at: adityagp.net
@parkie-doo.sh
PhD Student at UC Berkeley EECS // Programming Languages • Human-Computer Interaction • Visualization • Cartography // Building alpha.cartokit.dev Software Engineer at @gristnews.bsky.social // Maps • Data • Graphics • Code
@pcwalton.bsky.social
Programming languages and graphics person. Rust compiler developer, Firefox hacker, Bevy contributor.
@sffc.bsky.social
I18n, ECMAScript, board game design, curling, music, photography, travel, and the great outdoors. Staff Software Engineer at Google. sffc.xyz
@techemails.bsky.social
Internal tech industry emails that surface in public records. 🔍 https://techemails.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.
@alip.bsky.social
@rlnsanz.github.io
academic in tech, Arizona State 🔱🏜️ Berkeley EECS PhD, Chicano 🇺🇸🇲🇽 boy dad, yogi. Views my own, unless in SQL. https://rlnsanz.github.io
@antony.bsky.social
SF-based SW dev working at intersection of UI, Programming Languages and Data. Founding Engineer at MotherDuck. Toddler dad.
@yiningkarlli.bsky.social
Rendering Engineer at Disney Animation working on Disney's Hyperion Renderer. Previously at Pixar, Dreamworks, Cornell, Penn. Views here are my own. https://www.yiningkarlli.com https://mastodon.gamedev.place/@yiningkarlli
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@reneeshah.bsky.social
Partner at Amplify Partners focused on databases, developer tools, security, and AI.
@jkuroda.bsky.social
ResearchOps UCBerkeley EECS. Words here are mine, not necc my employer's. He/him/his.
@lakshya.splitticket.org
software + ai engineer. cal alum + instructor. I do elections stuff at Split Ticket (https://www.split-ticket.org) ✉️ lakshya@splitticket.org
@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.)
@crmarsh.com
Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
@kayoyin.bsky.social
PhD student at UC Berkeley. NLP for signed languages and LLM interpretability. kayoyin.github.io 🏂🎹🚵♀️🥋
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/