Cat Manning @catacalypto.bsky.social narrative director at Firaxis. emergent/systemic storytelling. nominated for awards and things. lit PhD. awful at Greek. cannot overstate the degree to which this is a personal account
theangryepicbanana @theangryepicbanana.bsky.social 23 y/o chronically ill & disabled programmer interested in programming language design, rhythm games, and genshin / star rail / zenless, sometimes ๐
๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐๐ต๐ธ
Fuck generative ai
Currently developing https://github.com/ALANVF/star
John Green @johngreensbluesky.bsky.social Author (The Fault in Our Stars, The Anthropocene Reviewed, etc.)
YouTuber (vlogbrothers, Crash Course, etc.)
Football Fan (co-owner of AFC Wimbledon, longtime Liverpool fan)
Opposed to Tuberculosis
Amy J. Ko @amyko.phd Professor @ University of Washington Information School. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her ๐ณ๏ธโโง๏ธ coworkers DNI
https://linktr.ee/gabriella439
๐ @ember.pet
Martyn Littlewood @inthelittlewood.bsky.social Game World Wanderer ~ ๐จ #ITLWArt
๐ง biz@inthelittlewood.com
๐ http://linktr.ee/InTheLittleWood
zimbatm @zimbatm.com I like to build things.
Helping companies adopt #Nix and #NixOS at https://numtide.com
Pirate Software @piratesoftware.live Game Dev - Streamer ๐ Go Make Games - https://develop.games ๐ Ferret Rescue - https://ferrets.live ๐ Business: Pirate@sidequestmedia.com
:( @reddcinemax.bsky.social 
George Takei @georgetakei.bsky.social Husband, Actor, Activist, Uncle George to the Internet ๐
jenny tightpants @jtp.bsky.social engineer at anthropic
Rebecca @rlmark.bsky.social Reader of poems, Ada Developers Academy alumna, amateur potter. Eternal learner @unison-lang.org
Opinions are my own. Pronouns = she/her.
nolen @itseieio.bsky.social the internet can still be fun!
https://onemillioncheckboxes.com โข http://eieio.games โข https://everyuuid.com โข https://onemillionchessboards.com
Sebastian Lague @sebastianlague.bsky.social Currently debugging...
Eduardo Rafael @eduardorfs.com 27yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
Evan Boehs @boehs.org The idea is to die young as late as possible
๐ https://social.coop/@eb
๐ https://boehs.org
Angela Collier @acollierastro.bsky.social Theoretical Physicist.
(She/her/hers)
From Eastern KY.
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.
Michael (compiler-errors) Goulet @errs.io https://errs.io
David Tolnay @dtolnay.bsky.social 
FerrousSystems @ferroussystems.bsky.social Ferrous Systems builds stable software in and around Rust. We focus on development, tooling and training for embedded systems and network services. https://ferrous-systems.com
Lukas Wirth @lukaswirth.dev Rust Engineer at @zed.dev
rust-analyzer team lead
Sponsor my rust-analyzer work here https://github.com/sponsors/Veykril
Andy Wingo @wingolog.org wingolog.org / haute-savoie / iterating to a fixed-point
Joyee Cheung @joyeecheung.bsky.social She/her. I contribute to Node.js and V8. I post about museums, food, plants and other stuff too. Blog: https://joyeecheung.github.io/blog/
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
A. H. Zakai @kripken.com Software engineer (compilers: WebAssembly, Emscripten, Binaryen). Used to study neural networks. Loves fantasy novels and Agatha Christie. he/they
All opinions here are my own, not my employer's (Google).
More in: http://kripken.github.io/blog/about/
Shu-yu Guo @rfrn.org he/him
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
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Jessica Paquette @barrelshifter.bsky.social compiler engineer from hell
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Luke Wagner @lukewagner.name Fastly, formerly Firefox / Mozilla
Wasmburgers, all the way up
Constellation @yusukesuzuki.bsky.social ใใใ ใปใผใโญ๏ธ
https://constellation.slowstart.org
Mike Sperber @sperbsen.bsky.social Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. โ Compilers, WebAssembly, Java, Rust, Go โ prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit โ organizer Papers We Love Milano
evacchi.dev
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/
Thomas Wuerthinger @thomaswue.dev Passionate about compilers & programming languages. GraalVM founder & project lead. VP at Oracle. Expressed opinions are my own. For DM: contact@thomaswue.dev
JF Bastien @jfbastien.com Build & scale platform โ working on humanoid robotics ๐ค
๐ https://jfbastien.com
๐ https://tlbh.it
๐ ๆฑไบฌใๆฅๆฌ
Thomas Lively @tlively.bsky.social Software engineer working on WebAssembly tools and specification @Google. he/him. @tlively on GitHub.
Deepti Gandluri @deepti.bsky.social Compiler engineer, making the web fast at Google Chrome. Bit twiddler and ๐ WebAssembly. I love snacks and tiny projects. She/her
Max @bernsteinbear.com Baking bread and compilers are kinda similar if you think about it
@tekknolagi elsewhere
bernsteinbear.com
John McCall @pathofshrines.bsky.social Language and compiler developer at Apple (Swift, Objective-C, C++, C, security mitigations). Queens resident, 49ers fan, strongly leftish.
Samuel Groร @saelo.bsky.social Working on Project Zero, Big Sleep, and V8 Security. Personal account.
Savannah Ostrowski @savannah.dev Python 3.16 & 3.17 Release Manager. Python Steering Council. Python Core Developer. Building @fastapicloud.com. Likes compilers, open source, film, physical computing + cats.
savannah.dev
github.com/savannahostrowski
@coredispatch.xyz
Pablo Galindo Salgado @pablogsal.com I program the programming program that other programmers use to program programs. Python Steering Council and core developer. Python 3.10/3.11 release manager. Deals with black holes and parsers. Attracts linker problems.
Alexander Bandukwala @bandukwala.me ๐ป Pursuing the Future of Computing
๐ฌ PhD Student @ University of Michigan (Future of Programming Lab)
๐ช Building Hazel: Live Functional Programming & Malleable Systems
๐พ Dog Parent
๐ ๏ธ Ex-Software Engineer
๐ Computing Maximalist 
Gleam Programming Language @gleam.run Sponsor Gleam development and support the project!: https://gleam.run/sponsor/
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Mihai Maruseac @mihai.page Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
France traversรฉe @clementd.wtf Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Leftover woman @rosactrl.bsky.social Resented ๐จ๐ฑ โ๏ธ ๐ณ๐ด immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
โข Anler @anler.me Psycho-framed into void
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
Linus Tech Tips @linusmediagroup.com The official Bluesky of the Linus Tech Tips YouTube channel.
Ritvik @bitvik.bsky.social ๐ป Hardware & Software
๐ง EDM
๐ฎ FPS
๐ฟ Sci Fi
โญ JoJo
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.
Gergely Orosz @gergely.pragmaticengineer.com Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
Jane Manchun Wong @wongmjane.com 
Mark Hamill @markhamillofficial.bsky.social Believe in yourself! Work hard, never give up & anything's possible! OR: Kick back, relax & aim low: You'll never be disappointed...๐
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
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. 
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.
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
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
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
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
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.- O Owen Arden @owenarden.bsky.social CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems
he/him
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Ross Tate @rosstate.bsky.social Programming Languages Researcher and Consultant
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
Rachit Nigam @notypes.bsky.social incoming MIT prof. & director of FLAME lab (https://flame.csail.mit.edu/).
building new languages and compilers to make hardware design fast, fun, and correct
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/
Max Willsey @mwillsey.com https://mwillsey.com
asst prof @ uc berkeley eecs
mastodon: @mwillsey@discuss.systems
Guy Van den Broeck @guyvdb.bsky.social ๐ CS Prof at UCLA
๐ง Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Crista ๐ถ @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the Universityโs.
I like light and clarity.
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Swarat Chaudhuri @swarat.bsky.social Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)- M Martin Bravenboer @mbravenboer.bsky.social Computer Scientist, Hiker, Photographer
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
Vinod Grover @vinodg.bsky.social Sr. Distinguished Engineer @nvidia
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
Josรฉ Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) ๐จ๐ท in ATL. www.josecambronero.com
Caterina Urban @caterinaurban.bsky.social 
Eric Smith @ewsmith.bsky.social formal methods researcher, CEO of Kestrel Institute
@tonypan123.bsky.social @tonypan123.bsky.social 
@spailoor.bsky.social @spailoor.bsky.social 
Robert Zhang @robertzhang.bsky.social CS PhD student @ UT Austin
robertzhang.vercel.app
Functional, Valid Wooof. @ruijief.bsky.social Just a happy doggo. Fan of asiago cheese.
@formallyjon.bsky.social @formallyjon.bsky.social 
Aslan Askarov @aslanix.bsky.social