@thetofu.bsky.social @thetofu.bsky.social 
Julien Coupier @ju1i3nc.bsky.social · Developer, Data Scientist, Committed to Open Science
· Member of the R Community @univlorraine
· Research Support @univlorraine.bsky.social
📍 Nancy, Lorraine, France
Rebecca brou @angebardot59.bsky.social Dieu est amour 🙏
Cyprien Hallé @cyphalle.bsky.social CPTO at https://darwindata.ai
Nature Risk Platform | Biodiversity | B2B SaaS
"I have no special talent, I am only passionately curious"
Github: https://github.com/cyphalle
Linkedin: https://www.linkedin.com/in/cyprien-halle/
Julie Digne @jdigne.bsky.social CNRS Researcher in Geometry Processing at Liris, Lyon
(views are my own)
https://perso.liris.cnrs.fr/julie.digne/- A Anatole Dedecker @anatolededecker.bsky.social PhD student interested in Operator Algebras, Geometric Group Theory, Topology, and Proof Assistants. Proud contributor and maintainer of https://leanprover-community.github.io/
@joe-d49.bsky.social @joe-d49.bsky.social 
@streamlight.bsky.social @streamlight.bsky.social 
Sylvie Meyer @meyersyl12.bsky.social I am frank and I prefer to shock with my frankness than to deceive. I like reading, music, sports, animals, cinema, walking, traveling, restaurants, harmony, complicity, love, family, nature...
Scientific Today @scitoday.bsky.social Scientific content aggregator with custom content feeds. Science news, jobs, events and more. Sign up at https://www.scientific.today.
ll @ll-info.bsky.social Informatique, et enseignement de l'informatique. #NSI
Aussi intéressé par les sciences cognitives.
Swen Jacobs @swenjacobs.bsky.social Faculty member at CISPA Helmholtz Center for Information Security, leading the Rigorous Analysis & Design group
Research interests: formal verification, synthesis and learning
Thomas🪴 @lipsum.dev Maths et applications, avec les mains et avec du code 💻
https://blog.lipsum.dev
Nathan Le Bris @nathan-lb.bsky.social #science & #art #culture #communication
Médiation-conception scientifique au Vaisseau, Strasbourg- R Riccardo Brasca @riccardobrasca.bsky.social
Matt Keenan @negabinary.bsky.social 
@florianclume.bsky.social @florianclume.bsky.social 
Resston @resston.bsky.social Brazilian photographer living in São Paulo.
Portfolio: bit.ly/3pz9cRK (look and download) or buy high-resolution, watermark-free photos directly from me at better prices via PIX or PayPal. Send me a message.
Instagram : @resston X : @RobResstonFo
Sylvie Alayrangues @sylvieamds.bsky.social Enseignante-chercheuse en informatique
👉 directrice du département informatique de la fac de sciences de @univpoitiers.bsky.social,
👉 coordinatrice com de la Société informatique de France
👉 correspondante régionale de la Fondation Blaise Pascal
Julien Gossa @juliengossa.cpesr.fr Veille et recherche sur les politiques publiques de l'éducation, de l'enseignement supérieur et de la recherche
#ESR #DataESR #VeilleESR
Maître de conférences à l'Université de Strasbourg, laboratoire SAGE.
Membre de la CPESR.
Paul Arnheim-Projekt @paula-projekt.bsky.social nd author, Darknet premium member, they/them
#SharingIsTheNewLearning
Von nichts zu viel (Nothing in excess) => A little bit of everything
a²+b²=c²=>a²+2ad+d²=(a+d)²
1st & 2nd Shalan theorem: (0.5d(m²-1))²+d²m²=(a+d)²
(0.5d(((4m³-1)/3)⁰·⁵-1))³+d³m³=(a+d)³
🏴☠️ MC Pablo ∴ @p4bl0.net 🔴⚫ Maître de conférences en informatique #LicenceIV #openaccess #sécu #privacy #blockchains
Marseillo-Dionysien, patronus capybara, team🧄, óai e libertat
Site: pablo.rauzy.name 🏠
Blog: p4bl0.net 🏴☠️
Médiation: pablockchain.fr 🚫⛓️
Plus: pablo.plus ➕
@thomascolcombet.bsky.social @thomascolcombet.bsky.social 
N.Eduardo @niconecio.bsky.social ¡Hola! Literatura, mar, ensayo, economía, naturaleza y etcétera. Estudiante en mis ratos libres.
Da-max @da-max.bsky.social 
Nicolas Garrel @garrel.me Algébriste aventurier. Tolère l'ananas sur les pizzas.
https://nicolas.garrel.me
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
Simon Thompson @simonjthompson.bsky.social Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
Mathieu Acher @macher.bsky.social Chess-loving professor and researcher who champion the integration of software engineering and AI for reproducible science.
Diving deep into software variability spaces, from Airbus to Linux.
@rennesuniv.bsky.social #INSA #IUF @InstUnivFr @Inria #IRISA
Captain Obvious @me-only.bsky.social Just another boat skipper
@bluemeniscus.bsky.social @bluemeniscus.bsky.social 
Formally proved nerd @lostcrab.bsky.social Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
É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
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Ulrich Junker @ulrichjunker.bsky.social Scientist in Artificial Intelligence and the Decision Sciences.
https://uli-research.com/About_Me.html
Chelsea Edmonds @cledmonds.bsky.social Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
Moa Johansson @moajohansson.bsky.social Professor in AI at Chalmers University of Technology. Neuro-symbolic AI, AI for maths, a bit of NLP and a dash of cognitive science.
Étienne André @etienneandre.bsky.social Professeur des Universités
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)
#FlyLess (no plane travel within Europe)
(he/him)
www.etienne-andre.fr
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
Ajitesh Shukla @ajitesh1.bsky.social Mathematical Research ( Algebraic Geometry, Geometric Topology, Differential Geometry), Quant, Large Language Models, Natural Language Processing, Quantum Computing, Cryptography, LORD KRISHNA IS GOD OF MATH
Rod2ik 🇪🇺 🇨🇵 🇪🇸 🇨🇱 🇺🇦 🇨🇦 🇬🇱 ☮🕊️ @rod2ik.bsky.social Teacher in #Maths & #ComputerScience
Team NSI.
Posts on #Politics #Tech #Science #Education #AI #crypto #infosec & any stuff.
#OpenSource #foss #dev #AI #IA.
☮🕊️ World Citizen ☮🕊️
#free as in #f..cking #free (software, mind & world)
Let's follow ! 🤘🤙
Foundational Thoughts @druidorbital.bsky.social 🇺🇸🇨🇦🇬🇧🌈🛰️✈️🚆⚓️🛳️⛴️
RockallSeaBird @rockallseabird.bsky.social Sciences Nature et poesie
#Livres #EspritDeDefense #Nature #Sciences
⛵️🇨🇵
📎🐸🕊️ΩZhSigma@332ppm≅Σx,x∈S{🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom 🇫🇷🇪🇸🇪🇨🇲🇽🇮🇹🇵🇹🇧🇷GalCat🇷🇴
Germ 🇬🇧🇨🇦🇳🇱🇧🇪🇿🇦🇩🇪🇸🇪🇩🇰🇳🇴Nno;🇫🇴🇮🇸
Slv 🇵🇱🇺🇦🇷🇺🇨🇿🇸🇰;🇧🇬🇭🇷🇷🇸/🇧🇦🇲🇪🇧🇾🇸🇮
IE 🇬🇷🇮🇷 HanZ 🇨🇳🇹🇼🇭🇰🇯🇵 Aggl Eo🇹🇷🇫🇮;🇪🇪🇭🇺🇰🇷🇲🇳
Poly 🇬🇱 Aus 🇮🇩🇲🇾🇵🇭🇲🇬 Sem 🇮🇱🇱🇧🇲🇦 Cel 🏴🇮🇪Gd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro🌟🌒🌕🌘Calligraphy🪶
Linux
St Louis Atheists @stlouisatheists.bsky.social "If you wish to make apple pie from scratch, you must first create the universe" Carl Sagan @rsslmo.bsky.social @atheists.org @ffrf.org @nickfish.me @ethicalstl.org @riatheists.bsky.social ⚛️ 📚💙🐕 🚭 Team Site
sarah @rat-deco.bsky.social back in the day you could just get into fights with Nobel laureates in the comments section of obscure forums
ML research person
🚬🐀🌌
Jeff @gardinersbay.lol 🧑💻🚀🎧♟️⚜️
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
@stuxneat.bsky.social @stuxneat.bsky.social 
Olivier Bournez @bournez.bsky.social Prof @Polytechnique
Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
TypeHoles @typeholes.bsky.social Interested in all things programming, cooking, hard metal, cats.
Love to explore new programming languages and build dev tools. Really love a good pit
He/him or they/them
mhverlhac.bsky.social @mhverlhac.bsky.social Cell & Developmentalist. Oocyte lover.
Group leader in the Cirb at the Collège de France.
Head of Cirb.
Jean-David Génevaux - TFC @jdgenevaux.bsky.social R&D Engineer at Circle. Cycling activist. Hold a PhD on procedural terrain modeling; worked on InstantTerra ; tried dev games, cited in idriss aberkane's phd
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
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
Jesse Alama @jessealama.net Math and programming. Lean, JS, Racket. American. Igalian.
IRIF @irif-paris.bsky.social IRIF is a research laboratory of CNRS and Université Paris Cité, also hosting one Inria project-team.
The research conducted at IRIF is based on the study and understanding of the foundations of all computer science. 
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Alexandre Hainaut @alexandrehainaut.bsky.social Prof d'informatique et de maths #NSI #SNT #python #edtech #iA #Profs #education
Ancien de l'Adtech #web #tracking #privacy #RGPD
http://nsi.marcbloch.free.fr/