Coccinelle for Rust progress report
https://www.collabora.com/news-and-blog/blog/2025/06/25/coccinelle-for-rust-progress-report/
#ycombinator #Collabora #Rust #Inria #CoccinelleForRust #Linux #codebases #open_source
#inria
Tendència universal. Tecnologies i militars.
https://mamot.fr/@felix/114703629625009851
Dans un très bon aperçu de la reconfiguration de la #DefTech à la française, avec des liens qui se renforcent entre agences étatiques, fonds de capital-risque, grands groupe et startups du secteur, le journaliste R. Haillard relève que l'#Inria va «renforcer son partenariat avec le ministère des armées». Une 53 % des chercheurs et chercheuses de l'Institut ont signé une pétition contre ces politiques. https://synthmedia.fr/politiques/securite-et-police/tech-et-defense-la-deftech-francaise-en-ordre-de-bataille/
Dans un très bon aperçu de la reconfiguration de la #DefTech à la française, avec des liens qui se renforcent entre agences étatiques, fonds de capital-risque, grands groupe et startups du secteur, le journaliste Romain Haillard relève que l'#Inria va « renforcer son partenariat avec le ministère des armées », à travers une entité dédiée : Inria Défense. 53 % des chercheurs et chercheuses de l'Institut ont signé une pétition contre ces politiques. https://synthmedia.fr/politiques/securite-et-police/tech-et-defense-la-deftech-francaise-en-ordre-de-bataille/
#INRIA #vivatech #informatique
- Clara Chappaz, ministre du Numérique, détentrice de 320 000 € d’actions dans des entreprises du numérique étatsuniennes comme Microsoft, Amazon, Alphabet, Accenture ou Nvidia (https://ouvaton.link/tsdj6Y),
- Gilles Babinet, qui a appelé à la fermeture de la CNIL et l’a qualifiée d’ « ennemi de la Nation » (https://ouvaton.link/UWksJ5),
- Bruno Sportisse, nommé par Macron PDG de l’INRIA, mis en cause pour son mode de gestion, son « autoritarisme », sa stratégie et son délaissement de la recherche fondamentale au profit de créations de start-up (https://ouvaton.link/ZnMEvE).
Beau plateau, bravo @inria !
📢 En direct de la première conférence : "ePoc : Une solution libre pour la formation sur mobile" présentée par Benoit ROSPARS de l'INRIA.
Nous allons en apprendre davantage
sur cette solution complète de mobile learning ouverte, libre et communautaire ! #siivim
#Adullact #FormationMobile #CollTerr #INRIA #epoc #logiciellibre
#JORF - Nominations au conseil d'administration de l’#Inria : https://www.legifrance.gouv.fr/jorf/id/JORFTEXT000051672980
#Guix practitioners, I am planning which direction to prioritise in the next Python and Golang team updates, anything on your list to include?
As I started the MOOC by #Inria I've noted that Singularity is a nice candidate to bring to the containers collection, from the first glance it doesn't have too many dependencies (compared with Kubo...) https://github.com/sylabs/singularity/blob/main/go.mod
For Python, stabilise the chain of #NumPy and try to figure out how to migrate to V2 https://issues.guix.gnu.org/76240
🆕 Le centre #Inria de l' @univbordeaux est sur #LinkedIn ! 🚀
Retrouvez nos actualités sur ce réseau : résultats de recherche, partenariats, innovation, prix, offres d’emploi...
Et pour l'actualité nationale sur #mastodon : @inria !
👉 Rejoignez-nous sur : https://www.linkedin.com/showcase/centre-inria-université-bordeaux
[Recrutement #LastMinuteJobAlert ]
L'équipe @inria #Topal recrute pour un doctorat de 3 ans !
🌐 Domaine : Calcul distribué et #HPC dans le cadre du projet #CUPSELI avec Hivenet.
🗓️ Début : octobre 2025
📍 Lieu : Centre #Inria de l' @univbordeaux et au @labriofficial
📩 Infos : https://jobs.inria.fr/public/classic/en/offres/2025-08839
Power outage in the #Inria datacenter at Rocquencourt since last night, which affects most services (including Inria GitLab and the mailing-lists). According to https://numin.inria.fr/portal/dw/activity?id=6141 (for those who have an account), some services should be back around 14:00 CEST (12:00 UTC).
J'ai eu l'opportunité, cette semaine, de découvrir le jeu de cartes Phone Impact, développé par le Learning Lab d'#INRIA, sous la direction scientifique de Benjamin Ninassi et de Sophie Quinton.
Un jeu vraiment très bien conçu pour prendre conscience de l'étendue des conséquences et risques écologiques de l'extractivisme minier pour construire nos smartphones, tablettes et autres équipements.
https://learninglab.gitlabpages.inria.fr/serious-game/smartphone/index.html
Ressources du jeu diffusées sous Licence Creative Commons CC-BY-SA 4.0.
Conférence de Sophie Dubuisson-Quellier, sociologue, membre du HCC, sur la chaîne excellente de l'équipe STEEP de l'INRIA "Comprendre et Agir", analyse les raisons pour lesquelles cette transition ne se fait pas, au regard des sciences-sociales. Dans un débat public ou les sciences sociales sont peu présentes, sa parole me semble utile/passionnante https://www.youtube.com/watch?v=ckb8ZmM0hUg #sociologie #scienceshumaines #social #climat #réchauffementclimatique #hautconseilpourleclimat #HCC #france #steep #Inria
📢 Potentielle ouverture de poste avec accueil dans l'équipe #STEEP à l'INRIA :
Un poste de Professeur avec un profil “Modélisation pour l’analyse des risques systémiques globaux
et de la soutenabilité socio-environnementale” (intitulé provisoire) est susceptible d’ouvrir en 2026
à l’Université Grenoble Alpes, au Laboratoire Jean Kuntzmann.
Il s’agit a priori d’un poste en section 26, mais qui sera sans doute ouvert à toute candidature avec un profil math-info.
STEEP est une équipe d’accueil potentielle.
Si ce poste et la perspective de travailler avec eux vous intéressent ou si vous souhaitez plus d’informations
sur ce poste, vous pouvez contacter peter.sturm at inria.fr.
#jeRecrute (pas moi)
Un très bon parcours en autoformation accessible à tous les agents de l'État sur le thème de la découverte des #IAG #algorithmes https://mentor.gouv.fr/local/catalog/pages/training.php?trainingid=3189 #mentor #inria #dimun
Open Post-doctoral position at Inria Lyon, Privatics Team, Lab. CITI.
📌 🗺️ 🛡️Privacy protection in geolocalization systems 📌 🗺️ 🛡️
#Job #Postdoc #Privacy #Lyon #France #Inria
https://recrutement.inria.fr/public/classic/en/offres/2025-08784
Merci à Sorbonne Université pour la mise en avant de #TerraNeon, une solution d'aide à la décision à base d' #IA soutenue par le #LIP6, le #CNRS et l' #INRIA.
➡️ Études d'impacts systémiques des politiques, réglementations et plans stratégiques des entreprises et institutions.
➡️ Mesure et comparaison des effets de mesures sur l'économie, l'emploi, l'environnement, le climat, la biodiversité et la société en général (notion d'acceptabilité).
Pour précision, l'INRIA est l'Institut national de recherche en informatique et en automatique.
Autrement dit un organisme d'état, ce qui implique pas mal de contraintes.
Les chercheurs ont besoin de pouvoir communiquer leurs travaux au delà des articles.
Par ailleurs si vous connaissez des labos de recherche qui ont de très bonnes stratégies de communication dont ils pourraient s'inspirer, ça les intéresse aussi 👍
Scientifiques du fediverse, j'ai une question pour vous 👀
Un de mes proches travaille à l'INRIA et aimerait les inciter à communiquer sur des réseaux plus éthiques que X.
Il connait un peu mastodon et le fediverse de nom, mais il a besoin d'arguments pour convaincre.
Quel est le mieux :
- créer leur propre instance ? Comment, combien ça coûte, etc ?
- ou bien rejoindre une déjà existante dédiée au domaine scientifique ? Et laquelle ?
Repouet apprécié !
Client Info
Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst