Ted Kaminski @tedinski.com 🦀🥳 tedinski.com
Previously: Kani Rust Verifier, AWS, PL/compilers PhD
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
Kevin Menard @nirvdrum.bsky.social Optimizing Ruby via ZJIT and TruffleRuby.
QCon @qconferences.com Uncover emerging trends and practices from the world’s most innovative software professionals to help you validate your software roadmap. Celebrating 20+ years. Learn more about our conferences at QConferences.com and InfoQ.com.
🔗 linktr.ee/qconferences
Royal Academy of Engineering @raeng.org.uk We create and lead a community of outstanding experts and innovators to engineer better lives. Find out more: raeng.org.uk
Martin R. Albrecht @malb.bsky.social Cryptography Professor at King's College London and Principal Research Scientist at SandboxAQ. Erdős–Bacon Number: 6. He/him or they/them.
https://malb.io
Jake Hughes @jakehughes.uk 
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Armin Ronacher @mitsuhiko.at Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
Erik Corry @erik.arbat.com Builder of bits.
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
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
@halvarflake.bsky.social @halvarflake.bsky.social 
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.
Adam Leventhal @ahl.bsky.social Podcast editor (as long as quality and urgency aren’t important)
🌎👩🚀🔫🧑🚀
@douglea.bsky.social @douglea.bsky.social 
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
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
Tony Sloane @inkytonik.bsky.social Computer Scientist, programming addict, music lover, sports tragic.
Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle.
Opinions here are my own.
Also https://mastodon.acm.org/@inkytonik.
Sebastien Marie @semarie.kapouay.eu.org OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.- K Stefan Karpinski @karpinski.org #JuliaLang co-creator, https://JuliaHub.com co-founder
@ccadar.bsky.social @ccadar.bsky.social 
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
@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
stefan brunthaler @sbrunthaler.bsky.social Language-based security is the continuation of compiler construction by other means.
PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
Daniel Lemire @lemire.bsky.social Daniel Lemire is a Computer Science Professor at the University of Quebec (TELUQ). Daniel Lemire ranks in the top 2% of scientists worldwide according to Stanford University/Elsevier's 2024 ranking. 
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
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
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/
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Mark Hansen @markhansen.co.nz Busy dad. Sydney. Making software fast and smooth. Keen on urban transport. We need to build more homes
Jimmy Miller @jimmyhmiller.bsky.social Compiler engineer and co-host of the feeling of computing podcast
https://jimmyhmiller.com
https://feelingof.com/episodes/
Samuel Groß @saelo.bsky.social Working on Project Zero, Big Sleep, and V8 Security. Personal account.
Bob Nystrom @stuffwithstuff.com Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
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.
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Jonathan Edwards @jonathoda.bsky.social Dissident computer scientist 
@yanniss.bsky.social @yanniss.bsky.social 
Antony Hosking @antonyhosking.bsky.social Garbage collector.
Professor.
Arjun Guha @arjunguha.bsky.social hacker / CS professor https://www.khoury.northeastern.edu/~arjunguha/
@tlh20.bsky.social @tlh20.bsky.social 
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Eric Van Wyk @ericvanwyk.bsky.social Professor, Computer Science, University of Minnesota, Extensible Programming Languages, https://cs.umn.edu/~evw, He/His.
J. Ryan Stinnett @jryans.bsky.social Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
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.
Fabio Niephaus @fniephaus.com Research Manager on the @graalvm.org team at Oracle. Graal Languages, Native Image, developer tools, GraalVM developer experience. Previously at @hpi.bsky.social, @googlecolab.bsky.social, and @matonguitars.bsky.social. Views are my own.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Patrick Dubroy @dubroy.com Programmer & researcher, co-creator of https://ohmjs.org. 🇨🇦 🇩🇪 🇪🇺
Co-author of https://wasmgroundup.com — learn Wasm by building a simple compiler in JavaScript.
Prev: CDG/HARC, Google, BumpTop
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
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Martin Maas @martinmaas.bsky.social Staff Research Scientist at Google DeepMind. All opinions are my own.
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Thorsten Ball @thorstenball.com Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
Sam Rose @samwho.dev That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com
He/him.- O @odersky.bsky.social @odersky.bsky.social
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
Chris Krycho @chriskrycho.com Anglican Christian. Software engineer, composer, theologian, writer, runner, photographer. Platform engineering at Vanta. Co-author of the Rust book. Previously front-end platform at LinkedIn; Ember TS & Framework teams alum.
→ chriskrycho.com
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
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. 
Sarah Mount @snim2.org Service Lead at dxw | author | Software Sustainability Institute Fellow | recovering academic
Christian Humer @chumer.dev PL/VM/Compilers at Oracle. Working on Truffle/Graal.
ME/CFS Caretaker and Activist (https://ooe-mecfs.at).
Austrian expat in Zurich.
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
Hugo Venturini @monsieurv.bsky.social Software Engineering @ SkipLabs
Father of one. Piano and bouldering when I find the time.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Benno Stein @bennoste.in bennostein.org
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
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
Oscar Nierstrasz @onierstrasz.bsky.social OO Evangelist since 1981.
Soul polisher at feenk.com.
Emeritus professor at www.oscar.nierstrasz.org
Éric Tanter @etanter.bsky.social 
Mario Wolczko @mwolczko.bsky.social Retired computer scientist, ex Sun and Oracle Labs, U of Manchester. Of Ukrainian (Вовчко) and Italian descent. Hobby woodworker, DIYer, astronomer, pilot.
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
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. - L Luc Moreau @lucmoreau.bsky.social Professor of Computer Science. Executive Dean of the Faculty of Science, Engineering and Medicine. University of Sussex.
- D Dan Luu @danluu.com danluu.com / www.patreon.com/danluu/
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
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.
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.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Steve Prentice @steveprentice.uk Somerset Whisky Blog | http://somersetwhisky.com | Enterprise Architect, Somerset Council | Twitter/Hive/Facebook/Instagram: @steveprentice