@rdicosmo.bsky.social @rdicosmo.bsky.social 
Juan Raphael Diaz Simões @guaraqe.com 
Oisín Kidney @doisinkidney.com Functional programming researcher.
doisinkidney.com
(Personal site: doisinkidney.com/personal)
Sjoerd Visscher @sjoerdvisscher.w3future.com #haskell #categorytheory #lumatone
👫 @boekencurator.bsky.social
🏠 https://w3future.com
💼 https://tweag.io
🗣️ https://strijpskamerkoor.nl
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/
Dan Piponi @dpiponi.mathstodon.xyz.ap.brid.gy Disclaimer:
👽 My opinions are not my own. They're beamed to me by aliens
Current life:
🧠 Thinking at high effort
Previous lives:
🍩 PhD in Riemann theta functions […]
🌉 bridged from ⁂ https://mathstodon.xyz/@dpiponi, follow @ap.brid.gy to interact
Games Done Quick @gamesdonequick.com Video game marathons featuring high-level play by speedrunners raising money for charity. #AGDQ2027 January 3-10
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/ ]
Paul Brauner @polux2001.bsky.social 
Suave Morbida @maitre-poulard.bsky.social On veut des chips, tant qu'il y aura des chips.
team @graffitivre
PP par @Grillaum
@suave_morbida@piaille.fr
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Érik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer.
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
Tom Gauld @tomgauld.bsky.social Cartoonist and Illustrator. My book of science cartoons, PHYSICS FOR CATS, is available now! www.tomgauld.com
@carolinefelicity.bsky.social @carolinefelicity.bsky.social 
Facundo Domínguez @facundominguez.bsky.social Software engineer, father, based in Uruguay
Dan Piponi @dpiponi.bsky.social Disclaimer: My opinions are not my own. They're beamed to me by aliens.
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
Anne Lavigne @alavigne.bsky.social Vaguement économiste, résolument velléitaire, plutôt cornucopienne, certifiée 🍇
https://legizmoblog.blogspot.com
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Michaël Zemmour @michaelzemmour.cpesr.fr Enseignant chercheur en économie.
Économie politique des transformations de l'Etat social.
#econsky
Nicolas Hervieu @nicolas.eurosky.social Droit public & droit européen des droits de l'homme | Professeur affilié à l'Ecole de droit de Sciences Po et enseignant à l'Université d'Evry. Entre autres.
=> https://bit.ly/4nWr817
Gro-Tsen @gro-tsen.bsky.social Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.