Pierce Darragh
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI.
Mastodon: https://types.pl/@pdarragh
@wired.com
At wired.com where tomorrow is realized || Sign up for our newsletters: https://wrd.cm/newsletters Find our WIRED journalists here: https://bsky.app/starter-pack/couts.bsky.social/3l6vez3xaus27
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@brendanzab.bsky.social
World Builder, Artist, Programmer. Thinking about programming languages and imaginary landscapes. he/him - https://types.pl/@brendan (preferred) - https://github.com/brendanzab
@janiczek.cz
Frontend FP developer (spending a lot of time in Elm the past few years). NuAshworld MMORPG. Programming language design (cara-lang.com). Property based testing!! Music making. Drive for teaching and unblocking others, writing little experiments. He/him
@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.
@jeffreybigham.com
Professor of HCII and LTI at Carnegie Mellon School of Computer Science. jeffreybigham.com
@brettevans.me
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
@nihil2501.bsky.social
@boogalooh.bsky.social
Former game dev now working as a Rust developer in finance. Love functional programming and making terrible games in my free time!
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@dherman.dev
Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). he/him
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@jben3634.bsky.social
I like trains, transit, languages, linguistics, religion, foreign policy, and international politics. Both UT & DC area are home. (she/they)
@ghostrights.bsky.social
CS PhD student at UMD (part of @plumlab). Previously at Epic, Northwestern University.
@xkcd.com
@aubpayne.bsky.social
@taylorjsmith.bsky.social
🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
@matociquala.bsky.social
Multiple award winning science fiction author. Cat furniture. Horse patsy. Almost certainly two ornimegalonyxes in a trenchcoat. Newsletter: https://buttondown.email/matociquala Next book: THE FOLDED SKY June 2025 https://books2read.com/u/mBB0QZ
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@pinkhairedcyn.bsky.social
Associate Professor of Computer Science at Oberlin College.
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@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.
@tijanaminic.bsky.social
cs/psyc interested in pl/hci/cs ed | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸 tijanaminic1.github.io
@echou1.bsky.social
undergrad at @umdcs (currently doing randomized testing stuff). i like to make videos and take photos.
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@paulbib.bsky.social
Present: Pursuing PL at Penn (PhD) Before: Browsing bytes at Brown (Bachelor's) paulbiberstein.me
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@geoffreylitt.com
Malleable software @inkandswitch.com prev PhD @csail.mit.edu geoffreylitt.com 🇯🇵🇺🇸
@elfprince13.mumak.app
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist Bluesky open-source contributor Decentralizing systems (human & digital) Opinions are my own 📍Vermont
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@dieworkwear.bsky.social
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter. If you have a style question, search: https://dieworkwear.com/ | https://putthison.com/start-here/
@tonofcrates.bsky.social
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN