Caleb Stanford
Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@jeffdean.bsky.social
Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
@infrastructureweak.bsky.social
Renter; bike and transit rider Construction project manager Posts about safe street design and transit projects
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@taliaringer.bsky.social
@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.
@sdumbrava.bsky.social
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app