Joanna Rutkowska @rootkovska.bsky.social https://tracesofhumanity.org
Previously: Golem Foundation/Wildland, Qubes OS, hardware/virtualization/OS security research.
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Michael Weiss @michaeldweiss.bsky.social Editor @insidereng, host @foreignoffpod, https://substack.com/@macspaunday, ISIS: Inside the Army of Terror: http://goo.gl/Jb6uEA. Next book on the GRU for @vikingbooks. macspaunday@protonmail.com
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute 
Pete Buttigieg @petebuttigieg.bsky.social Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
The Bulwark @thebulwark.com Political analysis and reporting free of tribal prejudices. Sign up for our newsletters here: https://thebulwark.com/subscribe
Scott Galloway @profgalloway.com Professor of Marketing at NYU Stern School of Business, serial entrepreneur, and host of the Prof G and Pivot Podcasts.
Brian Floyd @brianmfloyd.bsky.social here to yell about sports and raise money for charity
Rachel Maddow @maddow.bsky.social Mondays at 9pmET on MS NOW
MaddowBlog.com
Ben Stiller @benstiller.redhour.com Artist whose mediums include film, tv, and soda. www.StillersSoda.com
Dan Grossman @dangrossmanseattle.bsky.social 
Timothy Snyder @timothysnyder.bsky.social Temerty Professor of Modern European History, Munk School, University of Toronto; Permanent Fellow, IWM Vienna; Emeritus Levin Professor, Yale. Author of "On Freedom," "On Tyranny," "Our Malady," "Road to Unfreedom," "Black Earth," and "Bloodlands"
Abby Cohen @silverari23.bsky.social I want to dance through life experiencing interesting things.
Panic! at the Disco Elysium @comradeamerica.bsky.social I don't debate fascists. Eat dick.
Ебать на хуй лёд.
Jonathan V. Last @jvl.bsky.social Editor of The Bulwark
https://www.thebulwark.com/
Host of a Secret Podcast.
Also a super double-secret podcast you can't find.
Department of Computer Science, Aarhus University @csaudk.bsky.social We are taking a break from Bluesky. Maybe we will come back...
For now check out our profiles on LinkedIn, Instagram and Facebook.
Jon Ullman @thejonullman.bsky.social Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
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__
Molly White @molly.wiki writes citationneeded.news • runs @web3isgoinggreat.com and @influence.citationneeded.news • tech researcher and cryptocurrency industry critic • software engineer • wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
💗💜💙
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
Jay 🦋 @jay.bsky.team Founder & Chief Innovation Officer @ Bluesky
Working on @attie.ai
🌱 🪴 🌳
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
<deprecated profile> Leo Alekseyev @fuckelonmusk.social <going back to the original account on bsky PDS>
Vatnik Soup @vatniksoup.bsky.social Fighting Disinformation since 2022.
All soups: https://vatniksoup.com/
Debunk of the Day: https://vatniksoup.com/en/topics/debunk-of-the-day/
Why we soup: https://vatniksoup.com/en/soups/vs2/
Support our work: https://vatniksoup.com/en/support-our-work/
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. 
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
Joe Cutler @alphaconvert.bsky.social cutler.pl
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
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/
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Talia Ringer @taliaringer.bsky.social 
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.
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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.
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
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
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 
@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
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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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.
Eva Darulova @malyzajko.bsky.social Assoc. prof. at Uppsala University, working in programming languages and verification
Tom Magrino, PhD @tommagrino.com My day job is making arbitrary sequences of bits others told a computer reappear on command, quickly and at scale.
@tmagrino@discuss.systems
https://threads.net/t.magrino
Mark Cuban @mcuban.bsky.social Entrepreneur
Costplusdrugs.com
MeidasTouch @meidastouch.com The fastest growing independent news network in the world. We cover breaking news, politics, law and more. We are unapologetically pro-democracy.
July Likethemonth @julylikethemonth.bsky.social grumpy genX nerd
Kat Tenbarge @kattenbarge.bsky.social Independent journalist covering tech, culture, and politics @spitfirenews.com. Buy me a coffee: https://ko-fi.com/kattenbarge
Inequality Media Civic Action @imcivicaction.bsky.social We use the power of storytelling to inform the public about the realities and impacts of inequality and imbalance of power in America. Co-founded by @RBreich.bsky.social
Linktree: www.linktr.ee/inequalitymediacivicaction | Website: www.imcivicaction.org
Robert Reich @rbreich.bsky.social Berkeley professor, former Secretary of Labor. Co-founder of @inequalitymedia.bsky.social and @imcivicaction.bsky.social.
Substack: http://robertreich.substack.com
Buy my new book: https://sites.prh.com/reich
Visit my website: https://rbreich.com/
Bellingcat @bellingcat.com Bellingcat is a global collective uncovering facts to hold power to account. Our work is independent. Our methods are public. Our community is global.
Want to support our charity? bellingcat.com/donate
Anne Applebaum @anneapplebaum.wsocial.eu staff writer @theatlantic.com and senior fellow @snfagora.bsky.social. author of GULAG, IRON CURTAIN, RED FAMINE, TWILIGHT OF DEMOCRACY and AUTOCRACY INC
https://linktr.ee/anneapplebaum
Electronic Frontier Foundation @eff.org We're the Electronic Frontier Foundation. We're a nonprofit that fights for your privacy and free speech online. Find all of EFF's social media accounts at eff.org/social.
404 Media @404media.co it's a website (and a podcast, and a newsletter) about humans and technology, made by four journalists you might already know. like and subscribe: 404media.co
Tom Nichols @radiofreetom.bsky.social Staff writer at The Atlantic. Cat guy, Jeopardy champ. New Englander and curmudgeon. Speaker info: https://www.leighbureau.com/speakers/tnichols
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
Diego F. Aranha @dfaranha.bsky.social Associate Professor of Cryptographic Engineering at Aarhus University. https://dfaranha.github.io/
Emiliano De Cristofaro @emilianodc.com Professor at UC Riverside, head of SPALab
Home: emilianodc.com
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Brian Tyler Cohen @briantylercohen.bsky.social Political commentary. Over 3 billion views on YouTube. #1 NYT bestselling author. Past: MSNBC
https://linktr.ee/briantylercohen
Kara Swisher @karaswisher.bsky.social Amanda Katz said this was the cool kids table.
Mehdi Hasan @mehdirhasan.bsky.social Editor and CEO, Zeteo
Author, ‘Win Every Argument’
British-American
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app