Postdoc at @lsemethodology.bsky.social. Formal models, ABMs & NLP on newspaper archives. I program gallicagram.com

Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet

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

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

Rédactrice en chef au Point.

Math and programming. Lean, JS, Racket. American. Igalian.

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

Chimico-Physicien de la matière molle, de Genniste et Epicurien 🔬🔍🧲olivetree (Olivier Sandre)*🦁🍀🌱 🐝🌸 🍁🐺🐈🦪🍷🚲 https://www.lcpo.fr/people/faculties/olivier-sandre

Assistant Prof @ U-Paris-Cité | Institut Jacques Monod Molecular evolution and bioinformatics (and some other things, too)

Research Scientist at Adobe Research. ML/3D/Graphics. http://mgadelha.me

AI for Science, deep generative models, inverse problems. Professor of AI and deep learning @universitedeliege.bsky.social. Previously @CERN, @nyuniversity. https://glouppe.github.io

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)

Director, FORM | Formal Methods at the Scale the World Needs

CTO of soteria-tools.com, Scaling Reasoning for the age of AI

Professor of Statistics @ ESSEC Business School, APAC campus Singapore 🇸🇬 https://pierrealquier.github.io/ Previously: RIKEN AIP 🇯🇵 ENSAE Paris 🇫🇷 🇪🇺 UCD Dublin 🇮🇪 🇪🇺 Université Paris Cité 🇫🇷 🇪🇺 Random posts about stats/maths/ML/AI, poor jokes & birds photo 🌈

Evolutionary and cognitive psychologist. Author, Not Born Yesterday (http://tinyurl.com/yyh929ns), The Enigma of Reason (http://tinyurl.com/6hbpn84).

Science writer and author of books including Bright Earth, The Music Instinct, Beyond Weird, How Life Works.

LLM for the commons.

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.

Deputy Editor, Our World in Data Senior Researcher, University of Oxford Climate, energy, environment, all things data.

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

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

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

Researcher in @BonsaiSeqBioinfo Lille, France. Bioinformatics, data-structures & DNA/RNA.

enjoyer of set theory, formalized mathematics. working on finding mathematical and computational structures to faithfully represent 20th century mathematics and beyond ☸️

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

🦉 Mathematics for Humans 🖥️ Software Engineering 🚀 Technology 🎓 Higher Education 🏦 Mines Paris – PSL