@jhemann.bsky.social @jhemann.bsky.social 
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Adam Conover @adamconover.net "Unlikable woke comedian" - the Daily Mail
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Josiah @iijosii.bsky.social Doomscrolling
Politics, fitness, and more
Killed by Google @killedbygoogle.com Disappointment as a Service by @codyogden.com (they/he)
👋🔪💀
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
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
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
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.
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
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/
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. 
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
PHD Comics @phdcomics.com Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, ScienceStuff and PHD Comics
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Jacqueline @notjack.space rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — works on CI platforms at Google — writes Racket elsewhere — admin of @claude.notjack.space
a sunny day is worth more than all the wisdom of philosophy
Leif Andersen @leif.pl Interested in visual and interactive syntax (hybrid textual-visual languages). Pronouns she/her, they/them, or ask. Mostly blind #girlslikeus #exmormon #blacklivesmatter
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Jesse Alama @handle.invalid https://github.com/jessealama
Math & theorem proving. Lean, Racket, JS. American. Igalian.
Ilya Sergey @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
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Greg Hendershott @greghendershott.com Maker of things for Emacs and Racket.
Founder of Cakewalk and Extramaze.
Alum of Recurse Center (née Hacker School).
https://www.greghendershott.com/
https://mastodon.social/@greghendershott
https://www.racket-mode.com/
Max S. New @maxsnew.com Professional computer scientist, unprofessional mathematician
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
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Joe Cutler @alphaconvert.bsky.social cutler.pl
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
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
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Pierce Darragh @pdarragh.bsky.social 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
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Edwin Brady @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/
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
CF Bolz-Tereick @cfbolz.bsky.social PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy Professor of computational mathematics at University of Ljubljana, Slovenia.
[bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]
Paul Stansifer @paulstansifer.bsky.social Keep humanity weird. He/him. Lurking here, posting (such as it is) at https://types.pl/@paul_stansifer
Brian Tyler Cohen @briantylercohen.bsky.social Political commentary. Over 3 billion views on YouTube. #1 NYT bestselling author. Past: MSNBC
https://linktr.ee/briantylercohen
Matt Might @matt.might.net A private citizen
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Tikhon Jelvis @jelv.is I like programming languages. A lot. Especially Haskell.
Tools, types and functions.
Based in Berkeley, CA
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
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.
Phillip Carter @phillipcarter.dev my dumb blog https://www.phillipcarter.dev/
work: agent platform @github.com
play: computers, backpacking, snowboarding, hiking, kayaking
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Talia Ringer @taliaringer.bsky.social 
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 
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Bruno Gavranović @bgavran.bsky.social I'm building neural networks that generate provably correct code, and the software infrastructure for training them.
Recently experimenting with TensorType: https://github.com/bgavran/TensorType
www.brunogavranovic.com
Petar Veličković @petar-v.bsky.social Senior Staff Research Scientist, Google DeepMind
Affiliated Lecturer, University of Cambridge
Associate, Clare Hall
GDL Scholar, ELLIS @ellis.eu
🇷🇸🇲🇪🇧🇦
Satan @thedevil.bsky.social It's really cute that you're gonna "defeat me with the power of friendship and all," but again, I am the devil from the Bible
fascists not welcome
Better than the one on twitter.
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
@idris-lang.org @idris-lang.org 
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app