Muhammad Hassnain @muhammad-hassnain.bsky.social 
@hannelita.bsky.social @hannelita.bsky.social 
Sammy @sammyengineering.bsky.social let's talk about recommendation algorithms, photography, and woodworking.
thoughts at www.sammystraus.com and https://github.com/sstraust
Have I Been Pwned @haveibeenpwned.com Check if you have an email address or password that has been compromised in a data breach. Created and maintained by
@troyhunt.com.
Cong Ma @mc-pony.bsky.social PhD student at University of Waterloo
https://mc-pony.com
Duc-Than Nguyen @ducthan.bsky.social Interested in Programming Languages & Formal Verification (he/him)
https://ducthan.net/
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Samuel Ainsworth @skainswo.bsky.social prev: @BrownUniversity, @uwcse/@uw_wail phd, ex-@cruise, RS @waymo. 0.1x engineer, 10x friend.
spondyloarthritis, cars ruin cities, open source
David Fox @ddssff.bsky.social 50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
Gowtham Kaki @gowthamkaki.bsky.social Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security.
https://gowthamk.github.io
Ally Nisenoff @anisenoff.bsky.social CMU Societal Computing PhD Student.
@nsfgrfp fellow.
@UChicago ‘21 CS and Astrophysics.
she/her
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Predrag Gruevski @predr.ag Querying (Almost) Everything // Frontier Systems @ OpenAI // Author of cargo-semver-checks & Trustfall // https://predr.ag/blog // ex Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
UCD Proposal Development Services @ucdproposaldev.bsky.social UC Davis Proposal Development Services (PDS) Team, supporting UCD Faculty fund their research! #ucdavis
Joe Cutler @alphaconvert.bsky.social cutler.pl
Jeff Dean @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, ...
Infrastructure Weak @infrastructureweak.bsky.social Renter; bike and transit rider
Construction project manager
Posts about safe street design and transit projects
Berkeley, CA
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Talia Ringer @taliaringer.bsky.social 
Shriram Krishnamurthi @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.
Stefania Dumbrava @sdumbrava.bsky.social 
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app