@aaup.bsky.social
The American Association of University Professors champions academic freedom, advances shared governance, and organizes faculty to ensure higher education's contribution to the common good. aaup.org
@seancribbs.bsky.social
Husband, Cat Daddy, BBQueueing theorist, distsys geek, KC soccer fan, foodie, musician, holder of things. he/him/his “3 Seans make a right” 🐘 https://hachyderm.io/seancribbs 📹 https://youtube.com/@seancribbs
@peterfneronha.bsky.social
Team Neronha - Shelly/Zach/Josh | RI Attorney General | Former US Attorney | BC Law | BC | NKHS | THE …. Jamestown Elementary School
@cellocorgi.bsky.social
Assistant Professor, Software Engineering, UMass Amherst! madelineendres.com
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions · she/they/e wendigotyp.es
@zackbach.bsky.social
Undergraduate programming languages researcher @ Northeastern PRL Logic, types, compilers, categories Incoming intern @ Apple, Jane Street
@joeyeremondi.bsky.social
PL Researcher. Assistant Prof at University of Regina 🇨🇦 Trying to make dependent types a bit easier to use. Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@milessabin.com
Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
@reifyreflect.bsky.social
@hauswirth.bsky.social
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
@pelenitsyn.top
Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@jakebailey.dev
According to git blame, I wrote the TypeScript compiler, don't fact check that Senior Software Engineer at Microsoft working on TypeScript Underground gopher, finally revealed https://jakebailey.dev/ https://github.com/jakebailey arch btw
@chronicles.org
Husband, Father, Developer, Gamer. Software engineer for TypeScript at Microsoft. Delegate to TC39. All opinions are my own. he/him
@andrewbran.ch
Working on TypeScript at Microsoft. I appear when someone says “module resolution” three times in the dark. He/him
@typescriptlang.org
TypeScript is JavaScript with types and type-checking. Compiles down to JavaScript, runs where JavaScript runs.
@danr.bsky.social
TypeScript Product Manager and TC39 rep working on JavaScript standards. Enthusiast of compilers, dev tools, language VMs/runtimes.
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@xkcd.com
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@dabeaz.com
Free-range computer scientist living in Evanston, Illinois. I wrote some Python books. If you want to talk code, take a CS course https://www.dabeaz.com/courses.html. I'm mainly here for dogs, bikes, trombones, and other random stuff.
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@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
@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/
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: https://stringdiagram.com/