mu @mu.social A mew social thing by @eurosky.social, try for yourself: mu.social
Come visit us on the information superhighway: hello.mu.social
Feedback https://userinput.app/#/s/did:plc:ooensn4mr5mhznzypvxelfa3/3mnwmwn7sn22u
Quentin Ruyant @qruy.eurosky.social Researcher in Philosophy of Science
Universidad de Sevilla
Working on: representation and models in science, conceptions of scientific theories, scientific realism, modal epistemology, the interpretation of quantum mechanics. #philsci
geraldine woessner @gewoessner.bsky.social Rédactrice en chef au Point.
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
Alex Delo (L'Argumentarium) @largumentarium.bsky.social De la vulga et du journalisme scientifique à l'interface entre science et politique. Surtout en environnement (formation oblige) mais pas que...
https://www.youtube.com/@LArgumentarium- S Fabrice Planchon @snoevpr.cpesr.fr
Olivier Sandre @olivetree33.eurosky.social Chimico-Physicien de la matière molle, de Genniste et Epicurien 🔬🔍🧲olivetree (Olivier Sandre)*🦁🍀🌱 🐝🌸 🍁🐺🐈🦪🍷🚲
https://www.lcpo.fr/people/faculties/olivier-sandre
Yves Clément @yvesclement.bsky.social Assistant Prof @ U-Paris-Cité | Institut Jacques Monod
Molecular evolution and bioinformatics (and some other things, too)
Matheus Gadelha @gadelha.bsky.social Research Scientist at Adobe Research. ML/3D/Graphics. http://mgadelha.me
Gilles Louppe @glouppe.bsky.social AI for Science, deep generative models, inverse problems. Professor of AI and deep learning @universitedeliege.bsky.social. Previously @CERN, @nyuniversity. https://glouppe.github.io
Djamé 🟥 @zehavoc.bsky.social Associate professor in NLP, engaged citizen. Tweeting about work, life and stuffs that I care about. All my tweets can be used freely. @zehavoc@mastodon.social @zehavoc (@twitter)
Fabrizio Montesi @fmontesi.bsky.social Director, FORM | Formal Methods at the Scale the World Needs
Sacha Ayoun @sacha.soteria-tools.com CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Pierre Alquier @pierrealquier.bsky.social Professor of Statistics @ ESSEC Business School Asia-Pacific campus Singapore 🇸🇬
https://pierrealquier.github.io/
Previously: RIKEN AIP 🇯🇵 ENSAE Paris 🇫🇷 🇪🇺 UCD Dublin 🇮🇪 🇪🇺
Random posts about stats/maths/ML/AI, poor jokes & birds photo 🌈
Hugo Mercier @hugoreasoning.bsky.social Evolutionary and cognitive psychologist. Author, Not Born Yesterday (http://tinyurl.com/yyh929ns), The Enigma of Reason (http://tinyurl.com/6hbpn84).
Robin Berjon @robin.berjon.com Political technologist, bringing democracy to the internet. Brussels, 🇪🇺.
• tech, governance, science, politics, philosophy, infrastructure, cats, terrible puns
• https://berjon.com/
• DASL, Eurosky/Mu, Modal
• ex W3C, NYT
• he/him/Ishmael
• Signal robin.77
Philip Ball @philipcball.bsky.social Science writer and author of books including Bright Earth, The Music Instinct, Beyond Weird, How Life Works.
Alexander Doria @dorialexander.bsky.social LLM for the commons.
Kevin Hartnett @kevinhartnett.bsky.social Science journalist and author of "The Proof in the Code," the story of Lean, the interactive theorem prover developed by Leo de Moura at Microsoft Research, which is transforming the way math research is conducted. Coming in Spring 2026 from Quanta Books.
Hannah Ritchie @hannahritchie.bsky.social Deputy Editor, Our World in Data
Senior Researcher, University of Oxford
Climate, energy, environment, all things data.
Alexandre Jubelin @alexjubelin.bsky.social Producteur du Collimateur, le podcast consacré à la Défense et aux conflits armés.
Agrégé-docteur en histoire, prof (en pause).
https://lnk.to/lecollimateur
Le Pavé numérique @lepavenumerique.com Votre nouveau média sur les nouvelles technologies. Chaque semaine dans votre boite aux lettres et sur Twitch/Youtube. Par l'équipe de @canardpc.bsky.social
C'est gratuit: https://lepavenumerique.substack.com/
Youtube: youtube.com/@LePavenumerique
Linnéa Gyllingberg @gyllingberg.bsky.social Fulbright scholar and Wallenberg Postdoctoral fellow @uclamath | PhD in applied math from @uppsalauni | Interested in mathematical biology, collective behaviour and complex systems | linneagyllingberg.github.io
Camille Marchet ⚡ @camillemrcht.bsky.social Researcher in @BonsaiSeqBioinfo
Lille, France. Bioinformatics, data-structures & DNA/RNA.
Ciarán Dunne @zermelo.bsky.social enjoyer of set theory, formalized mathematics.
working on finding mathematical and computational structures to faithfully represent 20th century mathematics and beyond
☸️
Cédric Brun @cedricbrun.bsky.social Maître de conf. en Philosophie des sciences et Vice-Président délégué Sciences et Société & Partenariats @ubmontaigne.bsky.social, chercheur associé @imn-bordeaux.bsky.social (Univ. Bordeaux & CNRS)
#PhiloNeuro #Neuroethics #NeuroAI #HelloESR
Sébastien Boisgérault @boisgera.bsky.social 🦉 Mathematics for Humans 🖥️ Software Engineering 🚀 Technology
🎓 Higher Education 🏦 Mines Paris – PSL
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Camille Stineau @camillestineau.bsky.social 🗞 Journaliste spécialisé investigation. Mes articles dans Blast, Arrêt sur images, Basta et Rapports de force.
Pietro Monticone @pietromonticone.bsky.social AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
Paul Larrouturou @paullarrouturou.bsky.social Reporter politique @tf1info 📚 «Elysée Confidentiel»(Flammarion) -Ex Quotidien & Lab d’E1
Jason Rute @jasonrute.bsky.social AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Arthur Dénouveaux @arthurdvx.bsky.social Vade in pace
Amine Saboni @aminesaboni.bsky.social ML Engineering, code carbon maintainer
Alexander Kustov @akoustov.bsky.social Prof at Notre Dame (alexanderkustov.org). Author of "In Our Interest" (amazon.com/dp/0231218117). Writing at "Popular by Design" (www.popularbydesign.org). Come join me on Substack or LinkedIn!
Nadim Kobeissi @nadim.computer Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. https://nadim.computer
Anne Sinclair @annesinclair.bsky.social
Jean-Marc Lafon @jmlafon.bsky.social Spectateur de moins en moins engagé. J’ai fait des trucs sur et contre les mouvements terroristes alors à la mode. Je photographie et filme des machins plus beaux vus d’en haut.
Pierre Senellart @pierre.senellart.com Professor of computer science at ENS-PSL @normalesup.bsky.social, head of Inria Valda team. VP Digital infrastructure and IT convergence, PSL University @psl-univ.bsky.social.
Stéphane Foucart @sfoucart.bsky.social Journaliste à @lemonde.fr, parfois auteur. Dénigrement, idioties, insultes, mauvaise foi, RT et like de ce qui précède: je bloque sans sommation (NB: les comptes bloqués sur X seront bloqués par défaut sur BS). RT ≠ approbation.
Timnit Gebru @timnitgebru.blacksky.app Personal Account
Founder: The Distributed AI Research Institute @dairinstitute.bsky.social.
Author: The View from Somewhere, a memoir & manifesto arguing for a technological future that serves our communities (to be published by One Signal / Atria
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
David Renshaw @dwrensha.ws Making videos at https://www.youtube.com/@dwrensha.
Acronymizing every word at https://acronymy.net.
Writing code at https://github.com/dwrensha.
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
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Le Monde diplomatique @monde-diplomatique.fr Mensuel critique d'informations et d’analyses créé en 1954
• Offre spéciale d'abonnement --> https://www.monde-diplomatique.fr/t/abo/rentreebs
Aadil Kurji @theomniarch.bsky.social Philosopher of Logic, language, AI/Data at (Durham University)
Photographer
(Ricoh GRX+A12, Sony Alpha III, Pixel 7a)
@daimyo-tcs.bsky.social @daimyo-tcs.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
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Laetitia Mony @laetitiamony.bsky.social Molecular neurobiologist working on glutamate receptors at Ecole normale supérieure, PSL University, CNRS, INSERM.
xav @xavxav.bsky.social @xldenis on the other one
phd in making programs less wrong
@andrejbauer.bsky.social @andrejbauer.bsky.social
Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy Professor of computational mathematics at University of Ljubljana, Slovenia.
[bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]
Johanna Franklin @johannamath.bsky.social Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
John C. Baez @johncarlosbaez.bsky.social Mathematical physicist
Marc Monticelli @marcmonticelli.bsky.social (Actuellement en arrêt maladie)
Ingénieur de recherche Calcul #CNRS #Maths #LJAD
Responsable #CultureScientifique @mathemarium.bsky.social
#AgenticEngineer #DigitalExperiments #ComputerHistory #fablab #Nice06 #Japan
Mes posts n'engagent que moi.
@xenaproject.bsky.social @xenaproject.bsky.social
Romain Brette @romainbrette.bsky.social I think about the biology of cognition in brains and in protozoa.
New book: The Brain, in Theory.
http://romainbrette.fr/
Mathemarium (LJAD) @mathemarium.bsky.social DÉDRAMATISER L'ACCÈS AUX #MATHS PAR L'EXPERIMENTATION
Service de diffusion scientifique du laboratoire de recherche en #mathématiques J.A. Dieudonné (CNRS-UniCA)
#Fablab #DIY #Nice06
@ljad-off.bsky.social @cnrs-insmi.bsky.social @univcotedazur.bsky.social
Professeur Karré @professeurkarre.bsky.social Chaîne Youtube de vulgarisation de l'informatique.
Youtube : https://www.youtube.com/@professeurkarre
Facebook : https://www.facebook.com/ProfesseurKarre/
Tumblr : https://www.tumblr.com/blog/professeurkarre
Mastodon : https://social.sciences.re/@Karre
Anna Tsvetkov @annatsv.bsky.social Postdoc @ Princeton AI
Natural and Artificial Minds
Prev: Philosophy PhD @ Brown, MIT FutureTech
Website: https://annatsv.github.io/
Mathieu Carpentier @mathieucarpentier.bsky.social Professeur de droit public / Professor of Public Law (Université Toulouse Capitole)
Droit, philosophie, philosophie du droit
Law, philosophy, philosophy of law
Jean-Paul Krivine @jpkrivine.bsky.social Rédacteur en chef de Science et pseudosciences (Afis
@afis.bsky.social). Compte personnel. Mes messages n'engagent que moi.
Informatheux @informatheux.bsky.social Info. Maths. Logique. Shitpost.
Sandra D Mitchell @sandradmitchell.bsky.social Philosopher of Science
Clémentine Maurice @bloody-tangerine.bsky.social Researcher at CNRS. Feminist. I work on microarchitectural security.
https://cmaurice.fr
Fabrice Rossi @fabricerossi.eurosky.social Data science professor at Dauphine PSL
http://apiacoa.org/
https://orcid.org/0000-0003-4638-1286
🤿 https://fabrice-rossi.github.io/
🚀 https://fabrice-rossi.r-universe.dev/
Randall Munroe @xkcd.com
Jérémie Naudé @jeremie-n.bsky.social Chercheur en neurobiologie. #neuroscience
Compte personnel. Site perso / blog (en construction) : https://jeremie-naude.fr
Reto Knutti @retoknutti.bsky.social Professor for climate physics at @ethzurich.bsky.social.
Antonin Atger @antoninatger.bsky.social Ecrivain Lyonnais (#Interfeel), chercheur en psycho sociale (Brunel University) sur les théories du complot !
marc rees @reesmarc.bsky.social Journaliste à L’informé (linforme.com) spécialisé droit & tech (LCEN, copie privée Arcom, propriété intellectuelle, rens, CADA, etc.). Ex-RC NextINpact.
Insta http://instagram.com/marcseer
Érik Martin-Dorel @erikmartindorel.bsky.social Software developer, ex-academic.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Solal Nathan @solalnathan.com PhD student @ U. Paris-Saclay / Inria, AI for social good, fairness, RecSys, congestion avoidance, optimal transport. ENS PS 2018.
Free software advocate, linux user, cat owner. asso @ auro.re and crans.org. Bicyle, Bouldering, improv.
solalnathan.com
Sabine Hossenfelder @hossenfelder.bsky.social German Physicist
@betaveros.bsky.social @betaveros.bsky.social be kind; everyone you meet is fighting a hard battle.
puzzler, front-end-ish programmer, part-time dragon
interpretability @ anthropic (opinions are my own)
he/him
https://beta.vero.site/
(challenge: find my alt)
Dr Elodie Chabrol @eloscicomm.bsky.social Ex-researcher turned science communicator #scicomm, cat mom
🧠🧬Neurogenetics PhD
🦄 Director @pintofscience.fr & @pintsworld.bsky.social
🎙️ @souslablouse.bsky.social, Scimple & Under the lab coat
Speaks English & Français
+🐱📷⛰️
🔗 https://www.elodiechabrol.com
David Chavalarias @chavalarias.org CNRS Research Director in Paris. Head of the Complex Systems Institute of Paris IdF Complex systems, cognitive sciences, social dynamics, cultural evolution, text-mining, epistemology, computational social sciences. Posts are my own.
http://chavalarias.org
Julien Narboux @jnarboux.bsky.social Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
Brains @philosophyofbrains.com Since 2005, a leading forum for philosophy and science of mind. Managing ed. Dan Burnston. Partner: Neural Mechanisms Online.
Contributors: http://tinyurl.com/y28fpojb
YouTube Channel: youtube.com/philosophyofbrains
Podcast: philosophyofbrains.com/pod
Uljana Feest @ufeest.bsky.social Philosophy professor at Hannover, Germany. Interested in many things to do with integrated HPS, philosophy of experimentation, psychology (memory, personality, validity, etc.), HOPOS.
https://www.philos.uni-hannover.de/en/about-us/people/feest
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Séverine Erhel @severhel.bsky.social Professeure des universités en Psychologie du numérique, Université Rennes 2 / Queen des IHM
Page pro : https://perso.univ-rennes2.fr/severine.erhel
Membre @csen-officiel.bsky.social
Christophe Papazian @c-papazian.bsky.social Python dev, former academic
Logic Matters @logicmatters.bsky.social Recovering philosopher, but still interested in logic and abstract nonsense (and music). Occasionally blogs at logicmatters.net
Bernard Valeur @bvaleur.bsky.social Prof. hon. Le Cnam, 👨🎓ESPCI
Physicochimiste http://bit.ly/2J5gk2Y
#couleur #lumière #optique #luminescence #fluorescence
Diffusion de la science – ☕ Membre du Café des sciences
Blog “Questions de couleurs" https://questionsdecouleur.wordpress
@thomascabaret84.bsky.social @thomascabaret84.bsky.social
Stanislas Dehaene @standehaene.bsky.social Cognitive neuroscientist.
Professor at College de France in Paris.
Head of the NeuroSpin brain imaging facility in Saclay.
President of the Scientific Council of the French national education ministry (CSEN)
Antoine Pitrou @pitrou.net Logiciel libre / free software (core developer of @arrow.apache.org, #ApacheParquet, #Python #CPython). Engineer at @quantstack.bsky.social. Membre de l'Afis @afis.bsky.social.
(profile picture: Sophie Taeuber's lion)
Marie Treibert @marietreibert.bsky.social 🦋Vulgarisatrice scientifique, naturaliste et vidéaste
🌱Sciences et protection du vivant
🎬 Chaîne YT: La boîte à curiosités
Pierre Kerner @ssaft.com Auteur de L'Odyssée Évolutive, Moi, Parasite, Retour vers le Paléo & du blog Strange Stuff And Funky Things - http://linktr.ee/Taupo
Maître de conf en Bio des Organismes Université Paris Cité, Institut Jacques Monod
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Experimental Philosophy @xphilosopher.bsky.social An account for experimental philosophy - an interdisciplinary field at the intersection of philosophy and psychology https://en.m.wikipedia.org/wiki/Experimental_philosophy#:~:text=Experimental%20philosophy%20is%20an%20emerging,inform%20research%20on%20phi
@nsi.xyz @nsi.xyz Enseignant de mathématiques et d'informatique.
📘 Le guide pour apprendre avec l'intelligence artificielle http://amzn.to/423RKVs
#maths #nsi #numworks #python3 #IA + de liens sur linktr.ee/nsi.xyz
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/
EvoSapiens @evosapiensfr.bsky.social Docteur en sciences cognitives, j’explore le comportement humain de façon interdisciplinaire.
Spécialité : psychologie évolutionnaire.
Livres et soutien à mon travail : https://evosapiens.net/soutien