David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Ben Shapiro (he/him) @benshapi.ro Prof @ University of Washington
Chiitan🌈ちぃたん☆ @chiitan.love I'm chiitan Japanese crazy mascot
🏳️⚧️Chiitan is a transgender ally🏳️🌈
BL,furry,YURI,Yume LOVE🤍
X https://x.com/chiitan7407/
IG http://instagram.com/chiitan7407/
YouTube https://www.youtube.com/@chiitan
TIKTOK https://www.tiktok.com/@love2chiitan
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Doctor Logic @saraluckelman.bsky.social #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of SFFReviews.com and @EllipsisImprint. Co-president of @ducu. Own views. Robot.
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
Alex Snaps @alex.wcgw.dev When I grow up, I want to be a computer scientist… until then, I write open source code with Red Hat - previously Shopify, Moog Music, Terracotta & others
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Talia Ringer @taliaringer.bsky.social 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Thomas Dickerson @elfprince13.mumak.app Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Foraging & homebrew
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
Lizard Queen @pvineetha.bsky.social Past: CS @Penn. CS @dartmouth. Entrepreneurship Fellow @TuckSchool. Student Leader @GWISEDartmouth. Aerospace @iiscbangalore. Design Engineer @GeneralElectric.
I am also on Mastodon as @pineetha@mastodon.social and on Xhitter as @pvineetha
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
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.
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase
MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn
asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈
I inherited https://types.pl
⍼ https://ionathan.ch
Gerardo Nunez @gerardonunez.bsky.social (Typed) Functional programming enthusiast. Haskell, Purescript.
"We act as though comfort and luxury were the chief requirements of life, when all we need to make us happy is something to be enthusiastic about." -- C. Kingsley
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Haozes @haozes.bsky.social Indie Developer making apps: ❤️🔥YaoYao- Jump Rope 🗺️Tooboo-Hiking🦵
https://yaoyaojumprope.com/about
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Xiangpeng Hao @xiangpeng.systems Database/storage
Flight/DataFusion/Arrow/Parquet
PhD student@UW-Madison
https://xiangpeng.systems
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
Robert (Bob) Kubinec @rmkubinec.bsky.social Political scientist @ Texas A&M Bush School of Government. Interests: business politics/corruption, Middle East, measurement, Bayesian statistics
The Bayesian Hitman: https://a.co/d/e4QmtKo
Website: www.robertkubinec.com
Yiyun Liu @electriclam.com PhD student at Penn
Kartik Chandra @kartikchandra.bsky.social I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
Shadaj Laddad @shadaj.me PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
Omar Khattab @lateinteraction.bsky.social Incoming asst professor at MIT EECS, Fall 2025. Research scientist at Databricks. CS PhD @StanfordNLP.bsky.social. Author of ColBERT.ai & DSPy.ai.
PLRG :: Bristol @plrg-bristol.bsky.social This is the account of the Programming Languages Research Group at the University of Bristol.
https://plrg-bristol.github.io/
Ao Li @aoli.al PhD Student@CMU
If you want deterministic concurrency testing, try Fray (https://github.com/cmu-pasta/fray). 
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
UW Madison Math Department @uwmadisonmath.bsky.social https://linktr.ee/mathdepttest
Yannic Noller @yannicnoller.bsky.social CS Professor at @ruhr-uni-bochum.de
https://yannicnoller.github.io
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Ruijie Meng @ruijiemeng.bsky.social Tenure-track faculty at CISPA | PhD at NUS | Software Security
https://mengrj.github.io/
Jing Matrix @jingmatrix.bsky.social PhD in Mathematics.
I enjoy poetry, philosophy, and programming.
Short profile: https://github.com/JingMatrix
Homepage: https://jingmatrix.github.io
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
ant @antpalmer.bsky.social he/him
trying to learn french
phd student at epfl
<Insert whatever the correct version of "opinions are my own and don't represent my employer" is here>
ari @ari.foo 🐘 mostly https://types.pl/@ari
👩🏽💻 types
👩🏽🎓 neu undergrad
🏳️⚧️ she/her
🌐 https://ari.foo
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Madeline Endres @cellocorgi.bsky.social Assistant Professor, Software Engineering, UMass Amherst! madelineendres.com
Typst @typst.app The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Yisong Yue @yisongyue.bsky.social AI professor at Caltech. General Chair ICLR 2025.
http://www.yisongyue.com
@chenhaotan.bsky.social @chenhaotan.bsky.social Associate professor at the University of Chicago. Working on human-centered AI, NLP, CSS. https://chenhaot.com, https://substack.com/@cichicago
arxiv cs.PL @arxiv-cs-pl.bsky.social Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
oeiuwq @oeiuwq.com SDA. ser feliz es mi color de identidad.
navego en el mar de las cosas exactas.
let this = lib.flip that; in lib.flip this;
Nix/Rust/Go/Scala
vborja at apache.org
github.com/vic
Jardines de agua.
Nenúfares, sal.
Lanif led lanif le atsah!
x.com/oeiuwq
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Jon Gjengset @jonhoo.eu Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
Joe Cutler @alphaconvert.bsky.social cutler.pl
Nutan Limaye @nutanlimaye.bsky.social 
Yuxuan Jiang @yuxuan-jiang.bsky.social CSE Ph.D. student in systems @umich | Life & Computer Systems Enthusiast
https://essoz.github.io
🇨🇦 Joey Eremondi @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.
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Dominic Orchard @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
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Anna Meyer @annapmeyer.bsky.social minneapolis // she/her
@ice1000.bsky.social @ice1000.bsky.social 
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@tchajed.bsky.social @tchajed.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Marco Paviotti @gfixme.bsky.social gfixme : (▷ X -> X) -> X
Lecturer. Category Theory, Semantics and Type Theory.
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app