Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
anjali @anj.bsky.social 🏳️🌈
she/her
PhD student @ uw cse
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
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social https://arewesafetycriticalyet.org/
@miren.dev @miren.dev 🌟 Enjoy the Deploy 🌟
The open source deployment platform for small teams who'd rather ship than babysit infrastructure
https://miren.dev
Paul Ford @ftrain.bsky.social Aboard.com and Ftrain.com. Not steadily here. If you need me: ford@ftrain.com.
Popehat @kenwhite.bsky.social Defunct account of Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Opinions here are my own. Decent people fight evil.
Signal: KenWhite.1969
@horsejs.com @horsejs.com 
@goodney.bsky.social @goodney.bsky.social 
Abby Phoenix (she/her) @aphoenix.bsky.social COO at @miren.dev, event planner, project manager: the voice saying, “sure, but how, and… why?”
Enthusiastic about LA, food, helping the vulnerable, puzzles, the power of women, and the Oxford comma.
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
Kumail Nanjiani @kumail.bsky.social My new special Night Thoughts is out NOW on Hulu.
linktr.ee/kumailnanjiani
Full-Stack AI Builder @multd.bsky.social Building a Micro Farm Game where you earn 🌱SEEDS, grow crops and harvest 💸REAL CASH. Complete Jobs: Game trials, surveys & more to get 🌱.
🚀Public Beta in May
Evan Phoenix @evanphx.dev Startup CEO at @miren.dev
Organic bio-electric pattern matching grid.
Sam Pollard @sdpoll.bsky.social Computer scientist researching formal methods. I enjoy TTRPGs and staying inside.
eliza🌻 @elizas.website e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
JF Bastien @jfbastien.com Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
Mat “Wilto” Marquis @wil.to Melee DPS.
I’m https://wil.to
I wrote https://piccalil.li/javascript-for-everyone
I wrote https://web.dev/learn/javascript and https://web.dev/learn/images too, way back when.
I make https://multipa.ge, y'know, when I get a chance.
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
Scott Hanselman 🌮 @scott.hanselman.com I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
kyla scanlon @kyla.bsky.social wrote a book called "in this economy?" | chair of the federal reserve | writing and youtube @ http://kyla.substack.com
derek guy @dieworkwear.bsky.social Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
Hannah Kim @thisishannahkim.bsky.social Philosophy professor, Univ of Arizona 🌵 executive team at SEP 👩💻 thinking about fiction, poetry, music, movies, time, VR, AI & East Asian thought 🇰🇷🇰🇵 freelancer for philosophy, arts & culture ✌️
www.hannahkimphilosophy.com
jenn schiffer 🙂↔️ @jennschiffer.com middle-aged dirtbag & analog pixel artist
jennschiffer.com / livelaugh.blog / bugsrock.online
🚫EMAILING MY WIFE
Leo Lampropoulos @leo-lambro.bsky.social Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
brianloveswords @brianloveswords.com I used to do computers. I still do, but I used to, too.
https://bjb.photo
Sarah Drasner @sarahedo.bsky.social Opinions my own. https://sarah.dev
Distinguished Engineer @ Google, Chrome
Formerly Core Google Infrastructure
Formerly Vue Core •
Frontend Masters teacher •
O'Reilly Author •
https://www.engmanagement.dev/
https://github.com/sdras
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
Nobbel @nobbel87.bsky.social 
Naguura @naguura.bsky.social Partnered Streamer - business@naguura.com
Megasett @megasett.bsky.social Mistweaver enjoyer • Warcraft Partner • Author of wayofthecrane.io
linktr.ee/megasett
Meeix (pronounced "makes") @meeix.bsky.social internet idiot - i talk about things in video games for a living - partnered dumbass on the purple page - otters - vibes - metal - cats
she/her
https://meeix.carrd.co/
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.
Jennifer Hu @jennhu.bsky.social Asst Prof at Johns Hopkins Cognitive Science • Director of the Group for Language and Intelligence (glint) ✨• Interested in all things language, cognition, and AI
jennhu.github.io
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
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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Dan Roy @roydanroy.bsky.social Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst.
Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org
I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
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.
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
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
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
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
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Santosh Nagarakatte @santosh-nagarak.bsky.social Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
eigenform @reflexive.space he/him (John), near-30, looking for work!
🌙 your nonlocal hacker friend
🦀 hw/fw/sw, μarch security, rust, etc
🐬 hacks on gc/wii/melee stuff sometimes
🐘 @eigenform@treehouse.systems
🐦 @eigenform
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
Ethan Marcotte @ethanmarcotte.com designer, writer, roommate to two kittens. here’s my website: https://ethanmarcotte.com/
I think you deserve a union, and I wrote a book about that: https://youdeserveatechunion.com/
hi friend
(headshot by @elaina.bsky.social)
Patty Toland @pattytoland.bsky.social Partner at Filament Group | film watcher | beach walker
Brian Demsky @bdemsky.bsky.social CS professor. PL/Model Checking/Concurrency.
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/
Scott Jehl @scottjehl.com Web Designer/Dev. Accessibility & Performance Fan. Mediocre surfer.
Engineer: Squarespace Performance & Accessibility
My Web components course: $25 if you use the code TWENTYFIVE https://scottjehl.com/learn/webcomponentsdemystified/
scottjehl.com
Bob Ippolito @bob.ippoli.to @etrepum on most of the other places
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.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
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
Eddie Kohler @xexd.bsky.social 
Yehuda Katz (he/him) @wycats.bsky.social Open Sourcerer. Co-author of the Extensible Web Manifesto. Creator of Bundler, Cargo and Ember.js. Father of wykittens and wifelette's husband. he/him
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Jeff Lembeck @jefflembeck.com Seattle sports fan, sneaker collector, punches keys for a living, enjoys bread and making dad jokes
Matthew Yglesias @mattyglesias.bsky.social 
Joe Cutler @alphaconvert.bsky.social cutler.pl
Miguel de Icaza @migueldeicaza.bsky.social 🍉Fun Stack Vibing at @xogot.bsky.social
Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Adriana Porter Felt @apf.bsky.social I like writing silly skeets, but that doesn't pay so I also make Google Chrome. mamá, Eng Director, volunteer at Second Harvest. 🇺🇲🇨🇷
Twitter: @__apf__
Dev @sincerely.dev I mostly post about birds, food, and fun.
I am helping Microsoft build the new storage stack for Azure.
If you’re in systems I recommend checking out discuss.systems! The cooler social network
Washed up, has been systems grad student
sincerely.dev
Clare Malone @claremalone.bsky.social Staff writer at The New Yorker. (Currently on leave working on a book about MAHA.)
https://www.instagram.com/clarekmalone/
Clare_malone@newyorker.com
Shu-yu Guo @rfrn.org he/him
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
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
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/
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/
Celeste @cahollenbeck.bsky.social Nontraditional computer science PhD candidate at the University of Edinburgh ❤️🏴
Former technical and creative writer
Brendan Dolan-Gavitt @moyix.net AI researcher at XBOW. Security, RE, ML. PGP http://keybase.io/moyix/
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. 
Peter Alvaro @palvaro.bsky.social Crackpot, nincompoop, magpie, pedant
mostly @palvaro@discuss.systems
Joe Gibbs Politz @joepolitz.bsky.social https://jpolitz.github.io
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
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.
Talia Ringer @taliaringer.bsky.social 
Hillel is on Social Media Break @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/
Dave Herman @dherman.dev Likes people & computers. Work: AWS/LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). 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