@murderedbybluesky.bsky.social @murderedbybluesky.bsky.social -Field: IT Systems Engineering (16+ yrs)
-Financial/Culture/Class Equality Advocate.
-Not selling, buying or advertising anything.
-I do this shit for free because I want change.
-I don't trust DMs.
-We're at war, let's work on fixing things by any means.
Knowing Better @knowingbetter.nebula.tv Professional Father Figure
Youtuber working on a trilogy about Hawaii
Conor Shakory @codereport.bsky.social Research Scientist NVIDIA • YouTube Content Creator • Host of ADSP, ArrayCast, Tacit Talk, The R4 Running Podcast • https://conorshakory.com
Technology Connections @techconnectify.bsky.social I'm that YouTuber who taught you how dishwashers work. Guess I'm tryin' out the whole Bluesky thing now.
he/him
https://www.youtube.com/technologyconnections
Amanda Ferry @alinastra.bsky.social Aspiring animal trainer. Fear-free, R+, PPG member. Guardian of 7 cats and 1 dog.
Paul Krugman @pkrugman.bsky.social Ex NY Times, now author of Substack Paul Krugman. Nobel laureate and, according to Donald Trump, "Deranged BUM". Also Research Professor at the City University of New York Graduate Center and senior scholar at the GC-CUNY Stone Center.
Shay Kelly @shaykellymsc.bsky.social Author and canine welfare activist
Jenna Cruz @jennacruz.bsky.social Mathematician from MN who drinks too much coffee. First-gen college student. Mental health warrior. Sober. Atheist. 🚫420. Neuro-spicy. Former OURFA2M2 organizer. Novia of @skeetalicea.bsky.social She/her. 🏳️🌈🇵🇷
John Scalzi @scalzi.com I enjoy pie.
Social Media FAQ: https://whatever.scalzi.com/2025/04/16/the-official-john-scalzi-social-media-faq/
Mike Nellis @mikenellis.bsky.social Chicago's 32nd Ward Committeeman. Host of Endless Urgency. Exposing MAGA and defending democracy. Entrepreneur, husband, dad, semi-happy Cubs fan.
Typofonderie: fonts & typography @typofonderie.com https://typofonderie.com/links
Join any graphic designer, art director, web designer who use our fonts! Buy the best quality typefaces you need. Est. 1994.
👋 Annual graphic & typography design conference + learn type design @typeparis.com
JoJoFromJerz @jojofromjerz.bsky.social Hey, it’s me… JoJoFromJerz! (My real name is Jo Carducci btw). I’m a mom, a podcaster, a writer, a lover of politics and puns and a true Jersey girl through and through. Check out my Substack (my baby) on my Linktree
https://linktr.ee/jojofromjerz https://
Boyer @boyer-speaks.bsky.social Center left. I don't recognize my country anymore. 🇺🇸
I follow back for insightful replies and reposts.
Glenn Dufke @b1t5murf.bsky.social Resident Delphi wizard, advocating for the Modern Object Pascal programming language. Compiler engineer - Working on the next-gen Modern Object Pascal compiler and formal language specification.
Good engineering starts with true native compiled apps.
₊˚⊹ ཐི ཋྀ ₊˚⊹ @jamieasmr.bsky.social ཐིཋྀ The ASMR Girlie ཐིཋྀ
🐸🧚♂️🍄🟫🌲🌿
she/her | cozy posts
my socials: https://linktr.ee/frogsfaeries
second acc: @frogsnfaeries.bsky.social
subscribe: https://youtube.com/c/jamieasmr
insta: https://www.instagram.com/jamieelleturner
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Honey Sukesan (she/her) @hsukesan.bsky.social Embedded software engineer programming in C / C++ for a living. Mom. Lord Krishna eternal devotee. All humans are my brothers and sisters except my husband and parents. Resilient spirit.
Mark Haselgrove @markhaselgrove.bsky.social Professor of Experimental Psychology at the University of Nottingham. Interested in associative learning, and its application to all manner of stuff. Not really interested in brains. He/him.
https://scholar.google.co.uk/citations?user=fObPQPsAAAAJ&hl=en
Casey Muratori @cmuratori.bsky.social Programming: computerenhance.com
Comics: meowtheinfinite.com
Alice Winterhold @alicewinterhold.bsky.social I don’t know, I just got here
Serenity Forge @serenityforge.com Creating meaningful & emotionally impactful experiences that challenge the way you think.
#DDLC Plus, LISA, To the Moon, NEEDY STREAMER OVERLOAD, Fractured Blooms, Gone Home, Tiny Bunny (Зайчик)
Discord: http://bit.ly/3a9Oy2O
https://serenityforge.com/
Bitch.io: Don't Play WIth Me @nanicoolj.blacksky.app Writer. Big nerd.
Me (nanicoolj.carrd.co)
My podcast (nerdgasmnoire.carrd.co)
My Twitch show (thereclaimers.carrd.co)
TheMaxus @purelysymbolic.bsky.social 🇫🇮 Black metal and black coffee enjoyer, BSc in software engineering, ham radio operator (OH5COB) and armchair philosopher.
he/him
https://purelysymbolic.fi/
God @thegodshow.com Creator of the Universe.
thegodshow.com
https://youtube.com/@thegodshowlive
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Maddy Bowers @mlbowers.bsky.social PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
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 
@rakamaric.bsky.social @rakamaric.bsky.social 
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Rupak Majumdar @rupakmajumdar.bsky.social New blue sky. Same old troll.
Anirudh Khatry @anirudhkhatry.bsky.social CS PhD @utaustin.bsky.social
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
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.
Vineeth Kashyap @vineethk.bsky.social Software Engineer, Programming Languages at Aptos Labs. Working on the Move compiler.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
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
@gckeller.bsky.social @gckeller.bsky.social Professor, Software Technology, Utrecht University
@jeremysiek.bsky.social @jeremysiek.bsky.social 
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.
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Ben Liblit @liblit.bsky.social 
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
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. 
Steven Holtzen @sholtzen.bsky.social I like computers.
assistant prof at northeastern https://www.khoury.northeastern.edu/home/sholtzen/
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.