Théo Winterhalter
INRIA researcher, dependent types and proof assistants.
https://theowinterhalter.github.io/
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@lorenz.leutgeb.xyz
PhD student in Automation of Logic at Max Planck Institute for Informatics
@lambdaxdotx.bsky.social
@bouletcorp.bsky.social
Artist, "Lourd est le Parpaing de la Réalité sur la Tartelette aux Fraises de nos Illusions"
@mediapart.fr
Journal d'information numérique, indépendant et participatif. Seul·es nos lecteurs et lectrices peuvent nous acheter ! https://www.mediapart.fr 🖋️ Suivez aussi @mediapartblogs.bsky.social, l'espace d'expression libre des abonné·es de Mediapart.
@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.
@cnrs.fr
Organisme public 🇫🇷 de recherche pluridisciplinaire, le Centre national de la recherche scientifique c'est 33 000 personnes qui font avancer la connaissance. #HelloESR
@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 ➕
@patriciabouyer.bsky.social
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
@collegedefrance.bsky.social
"Docet (omnes) omnia" 😊 Enseigner (à tous) le savoir en train de se constituer dans les #Sciences, les #Arts & #Lettres | Université PSL | www.college-de-france.fr
@sncs-inria.bsky.social
Compte de la section Inria du SNCS-FSU. Également présents sur mastodon : https://social.sciences.re/@sncs_inria Les partages n'expriment pas forcément la position du SNCS, mais des messages que nous trouvons intéressants.
@monniauxd.bsky.social
"Uncultured researcher in computer science, completely banal and mainstream." he/him/whatever https://social.sciences.re/@MonniauxD https://cv.hal.science/david-monniaux
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app