Create accountLogin

Recent searches

No recent searches

Search options

Not available on lingo.lol.
lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Administered by:

Server stats:

65
active users

lingo.lol: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#inria

0 posts0 participants0 posts today
Public
GTnum Forges

Le #GTnumForges à Grenoble 🏔️ !!!

Nous avons le plaisir de participer à une réunion du #PFF (Programme de Formation de la Forge) organisée par la #DNE et #INRIA :inria:.

✊ C'est l'occasion de présenter le #GTnumForges, mais surtout, pour la première fois publiquement (!), un aperçu des premiers résultats de nos travaux :

- 💡 état de l'art des fonctionnalités des forges
- ⚖️ enjeux juridiques des forges (question très débattue)
- 🧑‍🔬 étude quantitative et qualitative des pratiques de partage et collaboration

👀 En exclu pour Mastodon🐘, et attendant la MAJ sur notre site web, le diaporama : <nuage05.apps.education.fr/inde>

Avec @bmarne @eyssette @framaka @bertrandchartier @franckbodin et bien d’autres !

Diapo d’ouverture de la présentation : # Présentation du GTnum Forges *journée de travail PFF — février 2025 — Grenoble* bertrand.marne@univ-lemans.fr — <https://gtnum.forge.apps.education.fr/> + image montrant plusieurs Komit collaborant autour de commits d’une forge
Une des diapos de la présentation : # 🧩 Complémentarité du<br>duo PFF — GTnum Forges — 3/3 L’appropriation des forges est difficile pour les enseignant⋅es - PFF : **Transformer les enseignant⋅es** pour favoriser l’appropriation des forges - GTnum Forges : **Transformer les forges** pour favoriser l’appropriation + image montrant Komit la mascotte du GTnum Forges au pied d'un escalier en haut duquel il y a une enclume symbolisant la forge. Une flèche orange va de Komit à la forge, elle est étiquetée Plan de Formation de la Forge. Une autre va de l'enclume à Komit, intitulée GTnum Forges.
Public
Conseil national du numérique

#Revuedepresse

"L’idée que certaines choses comme la vérité mathématique sont communes à toute l’humanité. Nous étions attachés à les voir comme des communs."

Dans un nouvel entretien #BlogBinaire s'est entretenu avec #GillesDowek, chercheur #Inria.

👉lemonde.fr/blog/binaire/2024/0

@sergeabiteboul

binaire · L’universalité de la vérification des démonstrations mathématiquesUn nouvel « Entretien autour de l’informatique ». Gilles Dowek est chercheur en informatique chez Inria et enseignant à l'ENS de Paris-Saclay. Il est lauréat du Grand prix de philosophie 2007 de l'Académie française pour son ouvrage Les métamorphoses du calcul, une étonnante histoire de mathématiques (éditions Le Pommier) et du Grand prix Inria - … <p class="link-more"><a href="https://www.lemonde.fr/blog/binaire/2024/01/26/luniversalite-de-la-verification-des-demonstrations-mathematiques/" class="more-link">Continuer la lecture<span class="screen-reader-text"> de « L’universalité de la vérification des démonstrations mathématiques »</span></a></p>
Public *
Martin Clavey

Tiens, les personnels de l'#Inria seront content·e·s d'apprendre qu'on reçoit l'info de la publication du rapport annuel 2022 de leur institution via l'entreprise de communication Havas.

Ce n'est pas le service de com' qui le fait.

(Le lien envoie d'ailleurs vers urldefense avant de renvoyer vers le rapport)

Public
Léo Varnet

Petit rappel pour les chercheur.euse.s : vous connaissez très certainement #HAL, mais êtes-vous au courant de l'existence de nombreux outils développés localement pour aider au dépôt (e.g. par liste BibTeX) ou réutiliser les données: wiki.ccsd.cnrs.fr/wikis/hal/in ? Par exemple, j'utilise les #HalTools (haltools.archives-ouvertes.fr/) de l'#Inria pour générer automatiquement ma liste de publications sur mon site : dbao.leo-varnet.fr/publication

wiki.ccsd.cnrs.frOutils et services développés localement pour améliorer ou faciliter l'utilisation de HAL — HAL
Continued thread
Public *
Nicolas Le Gland

Les #abeilles ont bénéficié de 6 mois de répit, mais cet été, les frelons étaient de retour.

Faute de poule noire de #Janzé, l’aîné des frères a mis à profit son expérience de chasseur de #guêpes estival, son expertise de directeur de recherche en mathématiques et son temps libre de jeune retraité de l’#INRIA pour écumer le #Youtube game à la recherche d’un modèle éprouvé.

13/16 @marechalboulon

‪On remerciera jamais assez les Thierry 54 ans avec leurs chaînes youtube à 18 abonnés qui se filment avec leur téléphone et un son dégueu pour t'expliquer bénévolement comment changer le mécanisme de ton volet roulant, force à eux‬ ‪https://twitter.com/marechalboulon/status/1671928719307423762‬
Public *
Pierre

L'INRIA (Institut national de recherche en informatique et en automatique) traverse une grave crise. Les scientifiques qui y travaillent dénoncent l'autoritarisme, l'opacité et la maltraitance déployées par la direction. On y apprend des choses édifiantes, notamment sur le déploiement et l'entretien de l'application TousAntiCovid. Une pétition "Sauver l'INRIA" a d'ores et déjà recueilli plus de 400 signatures de chercheurs, chercheuses et personnels membres de l'INRIA.
framaforms.org/petition-sauver
#INRIA #informatique #France #politique #maltraitance #SouffranceAuTravail #TousAntiCovid

framaforms.orgPetition Sauver l'INRIA | Framaforms.org
ExploreLive feeds
About