@dfeldman.org

@lambda-calcul.us

Prof at UMD CS.

@rg9119.bsky.social

Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science

@valeriadepaiva.bsky.social

Logician, category theorist, semanticist. Likes to understand life mathematically, please.

@azhenley.bsky.social

Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft https://austinhenley.com/

@earlence.bsky.social

(Assistant) Professor at @UCSanDiego. I hacked a Stop sign once, and it is now in a museum. Also hacked a bicycle. I mostly spend my time building stuff though.

@rsnikhil.bsky.social

@clegoues.bsky.social

Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her

@arminbiere.bsky.social

SAT Solver Hacker, Professor, University of Freiburg

@mounialalmas.bsky.social

Research @ Spotify https://mounia-lalmas.blog/mounia-lalmas/

@tlh20.bsky.social

@antonyhosking.bsky.social

Garbage collector. Professor.

@poorvagarg.bsky.social

Working on Probabilistic Programming Languages https://web.cs.ucla.edu/~poorvagarg/

@natefoster.bsky.social

Husband, dad, cyclist, OCaml h4x0r, CS professor (in that order)

@edwin.type-driven.org.uk

Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/

@rupakmajumdar.bsky.social

New blue sky. Same old troll.

@designresearch.works

Advocate for using Design Research to explore emerging perspectives on AI, more-than-human matters, and… pretty much anything. Watch a film about it here: https://designresearch.works/permission-to-muck-about Was @joegalen on ‘ex’ platform

@dangrossmanseattle.bsky.social

@ilyasergey.bsky.social

Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net

@nikolajbjorner.bsky.social

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]