Michael Vollmer @vollmerm.bsky.social Lecturer in the School of Computing at University of Kent. Compilers and programming languages.
@noelwelsh.bsky.social @noelwelsh.bsky.social I'm writing a book, online at https://functionalprogrammingstrategies.com/
My personal site is https://noelwelsh.com/
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@dslyecxi.bsky.social @dslyecxi.bsky.social 
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Dr. Tom 7 Murphy VII Ph.D. ! @tomvii.bsky.social http://tom7.org
Matt Godbolt @matt.godbolt.org Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
(Sundara (Vishnu)) (Satish) @svishnus.bsky.social PhD student in Parallel PL & Systems @nyucourant.bsky.social
CS, Math, & Music @umich.edu ‘25- M @mhicks.bsky.social @mhicks.bsky.social
Alex Wellerstein @wellerstein.bsky.social Nuclear historian. Professor at Stevens Institute of Technology. Visiting researcher at Nuclear Knowledges program, Sciences Po (Paris). Author of THE MOST AWFUL RESPONSIBILITY (2025). Creator of NUKEMAP. Blogging at https://doomsdaymachines.net.
@rtjoa.bsky.social @rtjoa.bsky.social 
Amanda @amanda.systems I’m usually on @amanda@social.spejset.org (Mastodon).
PhD student of programming languages working on the Polonius borrow checker for Rust. Terrible philosopher. Mid Marxist. Technically a librarian.
One Happy Fellow @onehappyfellow.bsky.social Head of The Institute for Type-Safe Memetic Research typememetics.institute
I have a blog: blog.happyfellow.dev
I like OCaml.
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Nick Rioux @nickrioux.bsky.social Programming will get better.
Nicholas Yang @nicholasyang.bsky.social Programmer, obsessive cook, film nerd
Bram Geron @bram.xyz Rust, product. Nushell&jujutsu fanboi. Live in 🐻 Berlin, building an API for APIs at @directus.io . Opinions my own.
Used to do research on programming languages. Genocide is wrong.
@bgeron on other networks.
Wan Shen Lim @wslim.bsky.social databases @ CMU-DB | capybara enthusiast | Pittsburgh | Brunei
Caleb Stanford @calebstanford.bsky.social Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
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
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Miles Sabin @milessabin.com Partner at Underscore, Typelevel cofounder, Scala SIP committee alumnus. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Brighton, UK. Internationalist.
Annie Ulichney @annieulichney.bsky.social Statistics PhD student @UCBerkeley
http://aulichney.github.io/
Jared Mitovich @jaredmitovich.bsky.social Reporter at The Wall Street Journal. jared.mitovich@wsj.com. 201-250-3524. Reach me on Signal at jaredmitovich.02.
Bastian Hagedorn @bastianhagedorn.bsky.social Compiler Engineer @ NVIDIA
Nikki Hiltz @nikkihiltz.bsky.social 2024 Olympian 🇺🇸
Advocate 🏳️⚧️
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
@andreymokhov.bsky.social @andreymokhov.bsky.social 
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Kevin Collier @kevincollier.bsky.social I cover digital threats for NBC News. Tip me! @kevincollier.01 on signal, kevin.collier@nbcuni.com. NYC, from West Virginia.
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Preetum Nakkiran @preetumnakkiran.bsky.social ML Research @ Apple.
Understanding deep learning (generalization, calibration, diffusion, etc).
preetum.nakkiran.org
Kartik Chandra @kartikchandra.bsky.social I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
@matteocarrabba.bsky.social @matteocarrabba.bsky.social 
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Noa Kaplan @noakaplan.bsky.social PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
Frank McSherry @frankmcsherry.bsky.social http://github.com/frankmcsherry/blog
Nikhil Benesch @benesch.bsky.social Systems engineer @turbopuffer.bsky.social. Former CTO @materialize.com.
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
JiaLi 嘉力 @jia-li.bsky.social A CS PhD candidate @UPenn.
Distributed Systems, Datacenter Sustainability, Economics.
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Itai Sher @itaisher.bsky.social Economics and Ethics, UMass Amherst 
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Yiyun Liu @electriclam.com PhD student at Penn
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
AJR @ajroot.bsky.social PhD student at Stanford working on compilers and graphics
https://ajroot.pl
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Talia Ringer @taliaringer.bsky.social 
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Sadiq Jaffer @sadiq.toao.com Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
David Bindel @dbindel.bsky.social Professing computing and applied math at Cornell. Numerical methods for data science, plasma physics, other stuff depending on the day. Director, Cornell Center for Applied Mathematics; Director, Simons Collaboration on Hidden Symmetries and Fusion Energy.
@trishume.bsky.social @trishume.bsky.social 
Sarah Lawsky @sarahlawsky.bsky.social Law professor at UIUC, Catala team at Inria. Tax law, computational law. https://www.sarahlawsky.org/
Remy Goldschmidt @taktoa.bsky.social Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
Simon Gregersen @simongregersen.com Tenure-track faculty @ CISPA
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
Avishree Khare @avishree.bsky.social CS PhD student @ UPenn.
Previously @ Microsoft, Google, BITS Pilani.
AndreasPK @andreaspk.bsky.social Compiler enthusiast, GHC Maintainer, working with Well-Typed.
@xenaproject.bsky.social @xenaproject.bsky.social 
Michael Kearns @mkearnsphilly.bsky.social CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Anil Madhavapeddy @anil.recoil.org Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
David Andersen @daveandersen.bsky.social Computer Science Professor, CMU;
co-founder and CTO, Enriched Ag
Energy-efficient computing, a dash of security, and a pinch of databases.
Also on Mastodon (https://hachyderm.io/@dave_andersen )
signal: dga.48
he/him
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
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
Shengwu Li @shengwuli.bsky.social Econ prof at Harvard. (Mechanism design, market design, behavioral theory.) www.shengwu.li
nolen @itseieio.bsky.social the internet can still be fun!
https://onemillioncheckboxes.com • http://eieio.games • https://everyuuid.com • https://onemillionchessboards.com
Jonathan Protzenko @protz.bsky.social I talk about Rust, verification, cryptography, programming languages… and pets 
Emily @emilymode.bsky.social high-frequency transsexual (@mxemilymode on twitter)
union square greenmarket enjoyer
nyc she/her
Vol Merchant @volslammer.bsky.social Quant
@jhemann.bsky.social @jhemann.bsky.social 
Josh Sunshine @joshsunshine.bsky.social Assistant Professor at Carnegie Mellon. I help people understand the software they create. 
🌶 David Gray Widder @davidthewid.bsky.social Assistant Prof at UT Austin's iSchool.
Big Tech, political economy, AI hype, AI in War
trying to help computer ppl think more critically about computer, including me
exCornell/CMU/NASA/MSR/IntelLabs.
davidwidder.me
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Natalie Collina @ncollina.bsky.social CS PhD student at UPenn studying strategic human-AI interaction. Nataliecollina.com
Jocelyn Chen @jqchen.bsky.social 
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "Oblivion" by Mastodon
@benjamincpierce.bsky.social @benjamincpierce.bsky.social 
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Ian Henry @ianthehenry.bsky.social i work at the intersection of set theory and figurative language
http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
jordan @jordan.matelsky.com making computers better using brains and making brains better using computers. computational neuro and dumb little web apps
sticking a steam wand directly into my brain and frothing it like a cappuccino at @kordinglab. senior research scientist at JHU/APL
Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
__femb0t @femb0t.bsky.social ✨ sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have distractingly many interests✨⋇⋆✦⋆⋇ ✨
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
andrew! @ancheung.bsky.social he/him
i study programming languages @ ucsd cse.
trans rights forever! 🏳️⚧️
ninehusky.github.io
Dan Grossman @dangrossmanseattle.bsky.social 
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org