@rtjoa.bsky.social @rtjoa.bsky.social 
@karima-ma.bsky.social @karima-ma.bsky.social 
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Charlie Marsh @crmarsh.com Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Jocelyn Chen @jqchen.bsky.social 
Ray Myers @raymyers.bsky.social Software Revivalist.
Founder of The Coding Agency, promoting public literacy and better tools. Working with programming language maintainers to enable formal methods and model correctness.
jan Pana Suno li toki pona
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Zack Eisbach @zackbach.bsky.social Undergraduate programming languages researcher @ Northeastern PRL
Logic, types, compilers, categories
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Adam Leventhal @ahl.bsky.social Podcast editor (as long as quality and urgency aren’t important)
🌎👩🚀🔫🧑🚀
asker the gauche, glycojohn destroyer of carbs @johnbender.bsky.social Formal verification researcher at Sandia National Labs. Much too excited about bikes. Bread is my loaf language.
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Sam Lindley @reifyreflect.bsky.social 
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Michael 🅱️ James @michaelbjames.bsky.social AI research scientist @ Sailplane. He/him
Usability of AI-based Programming Tools.
PL/HCI
🏳️🌈🏺
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
Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.
@titzerbl.bsky.social @titzerbl.bsky.social 
Daniel Litt @littmath.bsky.social Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. 
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Shrutarshi Basu @basus.me Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
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
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.
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
George Porter @georgemporter.bsky.social AWS S3 & UC San Diego professor
Building networks and systems that enable high-performance, scalable, and sustainable computing and storage.
https://www.cs.ucsd.edu/~gmporter
Bill Pugh @bill-pugh.bsky.social Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications.
Active maker, burner, traveler, husband, father.
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
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
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
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.
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
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.
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Soham Sankaran @soh.am I run @popvax.com (https://popvax.com). We develop mRNA vaccines using computational protein design, including a broadly-protective COVID-19 vax to preempt new variants. I write at https://infinitesunrise.com, and I used to build robots (https://soh.am).
Clash Language @clash-lang.bsky.social A modern functional hardware description language
https://clash-lang.org/
https://github.com/clash-lang/clash-compiler
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
@mflatt.bsky.social @mflatt.bsky.social 
Caleb Stanford @calebstanford.bsky.social Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
TheZoq2 @thezoq2.bsky.social Developing http://spade-lang.org and the Surfer waveform viewer. Post doc at Hochschule München
Usually at https://mastodon.social/@thezoq2
swyx @swyx.io i want everyone to aspire to integrity, intensity, and intentionality. see also @latent.space
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
@ccadar.bsky.social @ccadar.bsky.social 
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/
@haoranxu510.bsky.social @haoranxu510.bsky.social 
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
AJR @ajroot.bsky.social PhD student at Stanford working on compilers and graphics
https://ajroot.pl
Tzu-Mao Li @tzumaoli.bsky.social https://cseweb.ucsd.edu/~tzli/
computer graphics, programming systems, machine learning, differentiable graphics
Tom Duff @tomduff.bsky.social Retired computer graphics researcher
Grandparent
Musical tinkerer
Pen plotter enthusiast
@TomDuff.mastodon.social
Aaron Hertzmann @aaronhertzmann.com www.dgp.toronto.edu/~hertzman
Maneesh Agrawala @magrawala.bsky.social Forest Baskett Professor of Computer Science and Director of the Brown Institute for Media Innovation at Stanford.
http://graphics.stanford.edu/~maneesh
Kartik Chandra @kartikchandra.bsky.social I'm a PhD student at MIT CSAIL.
More about me: https://cs.stanford.edu/~kach
Unison @unison-lang.org Friendly programming language from the future
Open source http://github.com/unisonweb/unison
Cloud platform: https://unison.cloud
Community: https://unison-lang.org/discord
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
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.
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
Yann Herklotz @yannherklotz.com Postdoc at EPFL working with interactive theorem provers for hardware design.
@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
Sammy Thomas @sgt-pl.com 
Dr. Claire Le Goues @clegoues.bsky.social Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Dan Grossman @dangrossmanseattle.bsky.social 
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
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. 
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Michael Carbin @mcarbin.bsky.social Associate Professor in EECS at
@MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing- R @rsnikhil.bsky.social @rsnikhil.bsky.social
- D Dan Luu @danluu.com danluu.com / www.patreon.com/danluu/
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
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
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Jan Gray @jangray.bsky.social Kilocore RISC-V FPGA accelerators; former Microsoft dev tools architect; RISC-V SoftCPU SIG & Composable Custom Extensions Task Group; blog: https://fpga.org. Cyclist. Let's try kindness. 🇨🇦-🇺🇸
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.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Kirshanthan (Krish) Sundararajah @kirshanthans.bsky.social Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
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
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
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!
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM