Érik Martin-Dorel
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
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@editionscdf.bsky.social
Éditer la recherche en train de se faire @collegedefrance.bsky.social https://www.college-de-france.fr/fr/editions-du-college-de-france
@nicoleferroni.bsky.social
@cert-illicium.bsky.social
Centre de veille, d'alerte et de réponse aux attaques informatiques basé à Nantes, Loire-Atlantique. Une question, une urgence immédiate : cert@illicium.io ou 0285523399. Retrouvez la veille cybersécurité https://illicium.io/cert
@lcp.fr
LCP-Assemblée nationale | Compte officiel 🏛️ Info parlementaire, politique et citoyenne 📺 TV #Canal13, Youtube : http://bit.ly/38qiW36, 📲 Twitch : http://bit.ly/LCPTwitch 💻 https://lcp.fr/
@publicsenat.fr
« Regarder la différence » | Public Sénat : la chaîne politique & parlementaire sur le canal 13 et la plateforme publicsenat.fr | Compte officiel
@lalannev.bsky.social
Enseignant-chercheur en Informatique à l'Université de Pau et des Pays de l'Adour - France
@tecmint.bsky.social
Follow us for: - Easy Linux Tips and Tutorials 💡 - The Latest on Open-Source & AI 📰 - Fun Linux & AI 🤣 For more visit - tecmint.com
@9to5linux.bsky.social
Covering latest Linux and Open Source news and releases at https://9to5linux.com Help keep 9to5Linux alive! Buy us a ☕️ https://ko-fi.com/9to5linux
@omgubuntu.co.uk
A blog about Ubuntu – est. 2009 and (somehow 🤭) still going! Follow for news, tips, cool apps, and other content about the world's most popular desktop Linux distro!
@jetbrains.com
The World's Leading Provider of Professional Development Tools. Makers of IntelliJ IDEA, ReSharper, PyCharm, TeamCity, Kotlin, and more.
@kotlinlang.org
Kotlin is a programming language that makes coding concise, cross-platform, and fun — https://kotlinlang.org/ Video tutorials http://kotl.in/video News http://kotl.in/news Community discussions http://kotl.in/slack
@arnaudbos.bsky.social
Clojure as heck. Distributed systems. TLA+. Podcasts. Software developer @MonkeyPatch_io. @ToulouseJUG leader.
@toulousefr.bsky.social
Compte Bluesky officiel de la Mairie de Toulouse et Toulouse Métropole.
@jeanlucmoudenc.bsky.social
Maire de Toulouse Président de Toulouse Métropole 1er Vice-Président de France Urbaine
@caroledelga.bsky.social
Présidente de la Région Occitanie. Présidente de Régions de France. Suivez-moi sur mes autres réseaux sociaux 👉🏻 https://linktr.ee/carole.delga
@laurentchic.bsky.social
Directeur du Quai des Savoirs, #Toulouse, #France #Podcast Détour vers le futur | #ArtScience #FutursDesirables
@pourlascience.bsky.social
La science expliquée par ceux qui la font https://www.pourlascience.fr/
@radiofrance.fr
Radio publique française : France Inter, franceinfo, France Bleu, France Culture, France Musique, FIP, Mouv’
@wikimedia.fr.web.brid.gy
Bienvenue chez Wikimédia France, association agréée par le ministère de l’Éducation nationale dont le but est de promouvoir l’accès libre à la connaissance. [bridged from https://wikimedia.fr/ on the web: https://fed.brid.gy/web/wikimedia.fr ]
@wiki-potd.bsky.social
🤖 posting of the Picture of the Day from Wikipedia every day 🌎 Sibling account at @potd-context.bsky.social I'm open source! Maintained by @drezner.xyz Learn more about how these images are curated at en.wikipedia.org/wiki/Wikipedia:Picture_of_the_day
@cirm-math.bsky.social
CIRM is quite a unique place. At the heart of the Parc des Calanques, it is entirely dedicated to welcome researchers from around the world who meet here. www.cirm-math.fr
@francemusique.fr
Musique classique, jazz, contemporaine, opéra ou musique du monde : fil officiel de France Musique 🎵 https://t.co/um8zerPlK6
@onera.bsky.social
L'ONERA est le premier acteur français de la recherche technologique en : ✈️ Aéronautique 🚀 Espace 🛡️ Défense 🌍 www.onera.fr/fr
@cjuridiques.bsky.social
⚖️ Brèves de droit insolite : incroyable mais vrai depuis 2018 🥑 Aussi en livres 📚 sur facebook, instagram et youtube 🍿
@fabriziobucella.bsky.social
Professeur des universités — Université libre de Bruxelles — Physicien
@tianon.bsky.social
he/him; https://tianon.xyz Setting expectations: I may post tech related things occasionally, but that's not what I'm here for (which is honestly mostly consuming human art and shitposts).
@hlissner.fosstodon.org.ap.brid.gy
I've doomed us all. [bridged from https://fosstodon.org/@hlissner on the fediverse by https://fed.brid.gy/ ]
@insee.fr
Compte officiel de l’Insee. #Statistiques et études sur l'#économie et la #société françaises. https://www.insee.fr/fr/accueil
@debianfrance.bsky.social
@sysxplore.bsky.social
Everything about Linux🐧, DevOps, Networking, Automation, sysadmin🐱💻 & beginner tips💡Newsletter → sysxplore.substack.com
@fr.escape-x.org
Retrouvez toutes les informations sur https://fr.escape-x.org/ #HelloQuitteX #HelloQuitX #EscapeX (Anciennement HelloQuitteX)
@chess.com
The world's largest chess website. With over 180 million players, you'll always find a game! 💚
@bearstech.com
SCOP d'experts du Logiciel Libre Confiez nous la performance de vos applications (hébergement, infogérance, devops, SRE, sécurité, efficacité énergétique)
@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.
@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/ ]
@imagesdesmaths.bsky.social
Images des mathématiques (https://images.math.cnrs.fr/) a pour but de faire découvrir et partager les mathématiques avec le plus grand nombre, en particulier le public général, les étudiants de mathématiques et les professeurs du secondaire.
@nomadiclabs.bsky.social
Tezos blockchain experts. 🐙 Working on the core development, evolution and adoption of the Tezos protocol in France, Luxembourg and Belgium. https://nomadic-labs.com/
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@academiesciences.bsky.social
🏅Soutenir la recherche 👩🔬Transmettre les connaissances scientifiques 💡 Conseiller les pouvoirs publics https://linktr.ee/academiedessciences #helloESR
@maglarecherche.bsky.social
📢 Nouveau ! Le n°581 de notre trimestriel, écrit avec la collaboration des meilleur(e)s scientifiques, est disponible en kiosque, librairie et version numérique
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@paysmaths.bsky.social
Une citation mathématique chaque jour & quelques actualités mathématiques. A mathematical quote every day & some mathematical news. Site : https://paysmaths.net #mathématiques #mathematics #maths #math
@jnarboux.bsky.social
Researcher in Computer Science, IRIF, Université Paris Cité. Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
@sylvestrehuet.bsky.social
Journaliste, sciences, technologies et politiques associées. https://www.lemonde.fr/blog/huet/ membre https://ajspi.com/ https://linktr.ee/leclimatenquestions