Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Ces chefs d'établissement au dessus-des lois. @nhabouzite.bsky.social Trois enseignantes pour un travail de lanceur d'alerte désinvisibilisant les violences faites aux salariés des milieux scolaires.
"L'Education nationale ne forme plus des citoyens, elle moule des cons sots mateurs" et quelques professeurs résistent encore.
@momdocava.bsky.social @momdocava.bsky.social 
@wishellieshine.bsky.social @wishellieshine.bsky.social 
Politik-Art! @politik-art.bsky.social ''Si ceux qui disent du mal de moi savaient exactement ce que je pense d'eux, ils en diraient bien davantage''
Zclout @zclout.bsky.social Click Here: Trade Now !!!😃🤑
(Tezos-Tokens)
zcloutswaps coin
https://objkt.com/tokens/KT1Vued9458scmimuBqLwsYCfr38jtxdFTUR/0
(Tezos-Tokens)
zclout-Token
https://objkt.com/tokens/KT1Vued9458scmimuBqLwsYCfr38jtxdFTUR/20
Ripley Guru 🤖💙 @ripleyguru.bsky.social Here you can enjoy a stream of breaking news articles (with linked citations) written by Ripley Guru, an AI platform.
You can also sign up for a free account to chat with Ripley and author your own documents at https://ripley.guru.
Cheers 🚀
Mark Hardman @mark-hardman.bsky.social 32/Paris
Team HERMES @hermes.cx Creators of the Eudoramail app for Windows: https://hermes.cx. Also make a PHP tool for automating BlueSky and a library for people writing text editors. One of us (our social media manager) makes BeamNG mods too. We proudly support Ukraine.
IMTHINKINGSIDEWAYS @imthinkingsideways.bsky.social 🇺🇸 Dispatches from America's 2nd term
COMMENTS TO AMERICA
Written live beside the news
One Minute dispatches
Image & consequence
Published daily
✍️ One voice
🖌 One image
🗞 One moment at a time
@joe-d49.bsky.social @joe-d49.bsky.social 
Edu @peripeciasdotrigo.bsky.social BSB, 35 anos, neurodivertido, engenheiro de software e mestre em computação aplicada. Trabalho com transformação digital de serviços públicos e pesquiso governo digital, mas falo pouco sobre isso aqui e faço muito shitposting para não surtar na vida real.
Becky @limguissavelha.bsky.social I love nature. I often go camping 🏕️, mountain climbing and fishing 🎣. I can get in touch with nature better here. I also like animals. I have two magic buckets. I also like traveling. I have been to many countries.
Rayna 🤓🇪🇺👩💻📚✍️ @maliciarogue.bsky.social 💼CEO RS Strategy
✍Award-winning writer
🧠Practitioner in residence @ CIS-CNRS
ex🧬scientist | Amba @DigitalEU | ❤️🚆 | Polylingual
Uncertainty management, strategy, foresight #Infosec #EU #FLOSS
I contain multitudes
📌Elsewhere: https://linktr.ee/maliciarogue
Rafael Wagner @quantumrw.bsky.social PhD Student in quantum foundations and quantum information
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...😜
minimaliste13 @minimaliste13.cpesr.fr Fabriquées par des opérations minimales
Peter Collins @liberaldreamer93.bsky.social California Living ☀️. Respiratory Therapist. Lifetime Democrat in an all Republican family. Love life, saving lives and coffee. CA-05 volunteer 🇺🇸🏳️🌈
Will work as hard as I can to ensure a blue wave in 2026!
https://buymeacoffee.com/petercollins
Pierre-Yves Beaudouin @pyb75.bsky.social Chargé de projet de valorisation des collections scientifiques, Sorbonne Université
Ancien président Wikimédia France
#OpenData • #OpenGLAM • #ScienceOuverte • #1jour1taxe • Taphophile
https://www.pybeaudouin.fr
Roger Sollenberger @sollenbergerrc.bsky.social Politics reporter, guitar botherer. Luckiest hub and dad to Mr. Bugs aka The Moopus aka Mr. Moops or Mr. Moopus. Former @thedailybeast
Tips: roger.sollenberger@protonmail.com
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
Human Coders News @news.humancoders.com Site d'actualités collaboratif pour développeur·se·s — Un service @humancoders.com
https://news.humancoders.com
John Preskill @preskill.bsky.social Caltech theoretical physicist
Eurosky Social @eurosky.social Building open social web infrastructure and apps in Europe. Public interest non-profit, part of Modal Foundation.
App: mu.social
Accounts: move.eurosky.tech
Discover: portal.eurosky.tech
Web: eurosky.tech
Help: eurosky.tech/help
Fund: fund.eurosky.tech
Camille Roux @camilleroux.com Développeur • Directeur général et fondateur de @humancoders.com • Art: @art.camilleroux.com • il/lui he/him
The Ukrainian Review @theukrainianreview.bsky.social Ukrainian perspective on the media worldwide 🌎
Website: https://theukrainianreview.info/
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Albertine Proust @albertinep.bsky.social "Rags. Petrol. Matches"
Scientifique, féministe, clarinettiste, pianiste, ukuléliste... Humaine de Rustine, la labrador parfaite et mère de l'humain de Terrine, la joyeuse golden retriever. Pas de ALT ? Pas de re-blousque | Elle/she
Anton Gerashchenko @antongerashchenko.bsky.social Ukrainian patriot. Advisor to Internal Affairs Minister (2021-2023). Support my team of volunteer translators: http://patreon.com/TwitterAG
Sébastien Gobert @sebagobert.bsky.social Expert Ukraine & mer Noire | 15+ ans journaliste
📝 Correspondant @la-croix.com
🎥 YouTubeur: https://www.youtube.com/@sebagobert
📕Auteur: L'Ukraine, la République et les oligarques
☕ Soutenir mon travail: https://buymeacoffee.com/sebagobert
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Postscript @postscriptapp.bsky.social Free Instant Socials Post Maker
🖼️ The simplest way to make professional posts
🚫 No AI, no subscription, Canva alternative
Use it FREE (desktop/mobile)!
www.post-script.app
Legal AF @legalafmtn.bsky.social Welcome to Legal AF, as part of the MeidasTouch Network, we curate breaking news stories combined with in-depth analysis and interviews, and package it in an informative yet entertaining way to allow our audience to make sense of it all. 
WarTranslated (Dmitri) @wartranslated.bsky.social 🇪🇪 Estonian blogger focusing on Russia/Ukraine | 18+ version: https://t.me/wartranslated | Glory to #Ukraine!
François True-Faux @noonechomsky.bsky.social Valter Hugo Mãe de Pet. Tio da Swinton. GG McCaw. Claude Lévi-Stronzo. Idris El Barramalho. Brian de Palma pra Maluco Dançar. Billy Brega. Ortega y Pavê. Ja Rule of Law. Orson Welles Actually. Pier Paolo Patolino. Jeca Le Goff. Edward Said Fred. Evelyn Uó.
SMBC comic Bot @smbc-bot.bsky.social A bot for BlueSky that posts SMBC comics and shows the alt text.
By @perevillega.com
FX Coudert @nanoporous.net Senior researcher @CNRS, computational chemist. Professor @ENS_ULM @PSL_Univ. First responder & instructor @CroixRouge. (Opinions are my own.)
Whashington Post @whashingtonpost.bsky.social @whashingtonpost.bsky.social
Rachel Maddow @maddow.bsky.social Mondays at 9pmET on MS NOW
MaddowBlog.com
Bart Blast @bartblast.com Building Hologram, a full-stack Elixir web framework
https://hologram.page
Claire Placial @claireplacial.bsky.social Littérature comparée, traduction, poésie, chats, cuisine, université française. Féministe féliniste. Troll pédagogique de luxe. Je sers la science et c'est ma joie. Membre honoraire du lobby. « I identify as tired ».
Pierre Verschueren @pverschu.eurosky.social Victor Cousin hate account ça change pas.
Shitposting as a liberté académique.
Ex-Taulier de MEEF.
Docteur Doctorat.
Juge des normaliens morts.
En poste à Sorbonne Cancoillotte.
Ne me demandez pas qui est Marie Pasteur.
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
steph @urschrei.eurosky.social Alleged geographer at the ⋂ of cities, technology, and climate adaptation. A reluctant polygon enthusiast, I occasionally work on computational geometry and spatial data algorithms, which I promise almost never to discuss.
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
Alcides Fonseca @alcidesfonseca.com Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Jorge Pinto @jorgepinto.bsky.social Co-Porta Voz do @partidolivre.pt.
Deputado à Assembleia da República.
Engenheiro do Ambiente com doutoramento em filosofia.
Ecologista e Republicano.
Camusiano.
Mais aqui: https://osisifofeliz.wordpress.com/
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
Deathwish the Hun @shab0y.bsky.social Info ∙ Musique ∙ Montagne
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
ChrisO_wiki @chriso-wiki.bsky.social Independent military history author and researcher. If you find my writings interesting or useful, any tips are appreciated: http://ko-fi.com/chrisowiki 
Hypervisible @hypervisible.blacksky.app Every future imagined by a tech company is worse than the previous iteration…or something like that. 
David M. Perry @lollardfish.bsky.social Journalist & historian. Pub musician. Dad. Husband. Fishing obsessed. I also do dishes. Order: #ThePublicScholar - https://tinyurl.com/thepublicscholar.
The New York Times @nytimes.com We seek the truth and help people understand the world. Not a subscriber? Your first month is now free in our app. https://nytimes.onelink.me/Xpht/zbx4nci9
R.E.M. @remhq.bsky.social Band from Athens, GA, 1980-2011, made music, lasts forever.
Olivier Poncet 🦝 @ponceto91.bsky.social Artisan du magiciel et adepte de programmation récréative. Je partage du code, parle de logiciels libres et open-sources, de Linux, BSD et d'infrastructure
Grand Continent @grandcontinent.bsky.social Il faut construire un débat stratégique, politique et intellectuel à l’échelle pertinente. En librairie : Portrait d'un monde cassé et sur le web chaque jour www.legrandcontinent.eu 
jamelle @jamellebouie.net The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group.
Send me your mutual aid requests.
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.
@ocaml.bsky.social @ocaml.bsky.social 
Muriel Shan Sei Fan - OCamlPro @muriel42.bsky.social OCamlPro's CEO w. Fabrice Le Fessant, President & Founder. We are a powerful team of world-class IT experts. 3 business lines: 1/ Programming Languages Optimization & Design 2/ Security & Safety with Formal Methods 3/ Solving Technical Debt challenges.
Angry Donkey News @angrydonkeynews.bsky.social Unfiltered news, independent debate & loud music. Home to ADTV, the Vibestream Radio Network (Rock, Punk, La Cantina, Copperhead) & Dogtuuurd memes.
We build the pipelines. We break the narrative.
Matthew Green @matthewdgreen.bsky.social I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Pete Buttigieg @petebuttigieg.bsky.social Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
Aaron Rupar @atrupar.com Independent journalist, SnapStream brand ambassador, and publisher of the Public Notice newsletter https://www.publicnotice.co/subscribe
Kateryna Stepanenko @katstepanenko.bsky.social Russia Research Fellow @TheStudyofWar.bsky.social | Russian Cognitive Warfare, Kremlin Drama, Drones & Force Generation | opinions my own
https://www.understandingwar.org/press-media/staff-bios/kateryna-stepanenko
Solal Pirelli @solalpirelli.bsky.social Scala compiler engineer @ EPFL. Scientific integrity, and random rants. Previously: PhD in automated software verification.
pianocktailiste @pianocktailiste.bsky.social Shitpost ; très occasionnellement mathématiques appliquées et physique ; souvent avis désastreux sur tout et surtout n'importe quoi.
Kyle Cheney @kyledcheney.bsky.social Senior legal affairs reporter at POLITICO with a focus on democracy, the balance of power and the clash between the Trump administration and courts.
Gabrielius Landsbergis @glandsbergis.bsky.social Former Minister of Foreign Affairs of the Republic of Lithuania
Landsbergis.com Bookings: agent@championsukplc.com
Institute for the Study of War @thestudyofwar.bsky.social ISW is a policy research organization focused on U.S. national security. Email: press@understandingwar.org. For more: https://linktr.ee/understandingwar
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.
Le Canard enchaîné @lecanardenchaine.fr Compte officiel du Canard enchaîné - La liberté de la presse ne s'use que quand on ne s'en sert pas. www.lecanardenchaine.fr
Katie Phang @katiephang.bsky.social Truth-Teller | Independent Journalist and Legal Analyst | Trial Lawyer | @katiephang on Substack, Instagram, Threads, & TikTok
https://linktr.ee/katiephang?utm_source=linktree_admin_share
“Though She Be But Little, She Is Fierce”
Karine Ramondy @kramondy.bsky.social Historienne spécialiste de l’Afrique centrale | UMR SIRICE | Cameroun | RDC | RCA |
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Barry Jay @barryjay.bsky.social A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
Chenyu Zhou @zcysky.bsky.social PL / FM PhD Student@USC
Raymond @isadisplayname.mathstodon.xyz.ap.brid.gy Shitposting, if anything
Fucking around and finding out (mathematical).
Haskeller by trade.
#thonkin
🌉 bridged from ⁂ https://mathstodon.xyz/@isAdisplayName, follow @ap.brid.gy to interact
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
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
Jacqueline @notjack.space rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — works on CI platforms at Google — writes Racket elsewhere — admin of @claude.notjack.space
a sunny day is worth more than all the wisdom of philosophy
Paul Brauner @polux2001.bsky.social 
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
Shakthi Kannan @shakthimaan.bsky.social Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
Andrew K. Hirsch @akhirsch.bsky.social 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Shadaj Laddad @shadaj.me PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com
More at https://shadaj.me!
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. 
Harry Goldstein @harrisongoldste.in (he/him) Postdoc at the University of Maryland
I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI.
Currently on the academic job market, looking for tenure-track positions!
https://harrisongoldste.in
Ignacio Ballesteros @ignacioballesteros.es Madrid.
PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
@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
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University