Page de garde du rapport

Le rapport 2025 du Comité éthique et scientifique de Parcoursup et Mon Master, auquel j'ai modestement contribué, est disponible :
www.enseignementsup-recherche.gouv.fr/fr/remise-du...

#Distinction 🏆 | Pour ses travaux sur des modèles d' #IA expressifs, Margot Herin a été récompensée par les prix de thèse 2025 Gilles Kahn et du GDR ROD.
➡️ www.ins2i.cnrs.fr/fr/cnrsinfo/lia-explicable-lepreuve-des-preferences-humaines 🤝 @sorbonne-universite.fr @cnrs-paris.bsky.social @lip6.fr

mpri-master.ens.fr/doku.php?id=...

Il y a en particulier les bourses de la FSMP, mais la deadline vient de passer pour cette année.
sciencesmaths-paris.fr/en/pgsm-master

I've described in pierre.senellart.com/talks/tsingh... how we tried to do it for the CNRS competitions I was presiding over. Within PSL, I agree we may need concrete action plans now the commitment is officially made. This can be something you can help with at the Senate level.

This is exactly the meaning of what we just committed to, at the university level:

bsky.app/profile/pier...

(and we are far from the first to do that.)

Signatory of DORA We support CoARA

@psl-univ.bsky.social s'engage pour l'évaluation qualitative de la recherche, en signant @dorassessment.bsky.social et en rejoignant @coarassessment.bsky.social

psl.eu/engagement-d...

🚀 « #IA à Paris. Un an après le sommet, construire l’avenir »
En amont du prochain rdv international en Inde, PSL et @ipparis.bsky.social, avec HEC Paris, unissent leurs forces pour un après-midi de réflexion de haut niveau, le 9 février au @college-de-france.fr.
Infos 👉 psl.eu/agenda/lia-p...

#Distinction 🏆 | La #SociétéInformatiquedeFrance a publié le palmarès du prix de thèse Gilles Kahn 2025. Félicitations à Margot Hérin, lauréate du prix de thèse Gilles Kahn et Corentin Jeudy pour son accessit.
➡️ www.ins2i.cnrs.fr/fr/palmares-...

🏆 Palmarès du prix de thèse Gilles Kahn 2025

La SOCIETE INFORMATIQUE DE FRANCE est ravie d’annoncer les récipiendaires 2025 du prix de thèse Gilles Kahn. Ce prix met en lumière de jeunes scientifiques dont les travaux de thèse constituent une avancée remarquable pour la discipline informatique.

Félicitations à :
- Margot Hérin, @lip6.fr @sorbonne-universite.fr @cnrsinformatics.bsky.social lauréate du prix
- Son Ho, Inria Paris @psl-univ.bsky.social, accessit
- Corentin Jeudy, @irisa-lab.bsky.social @cnrsinformatics.bsky.social @rennesuniv.bsky.social & Orange, accessit

Palmarès du prix de thèse Gilles Kahn 2025 - Société Informatique de France La Société Informatique de France (SIF) est ravie d’annoncer les récipiendaires 2025 du prix de thèse Gilles Kahn. Ce prix, placé sous le patronage de l’Académie des Sciences, attribué chaque année de...

Le Palmarès du prix de thèse Gilles Kahn 2025 de la Société Informatique de France, est annoncé :
www.socinfo.fr/palmares-du-...

Je trouve ça catastrophique en Lean mais j'avais l'espoir que Rocq ayant été fait par des informaticiens, ce soit mieux géré, ce n'est pas le cas ?

Ahem, tu peux expliciter?

This reached maths as well: when you write a theorem in lean you have to specify the versions of the lean engine and the mathlib library that you target. And when you get an update to math(lib), no guarantee that your proofs still hold.

Parallel Context-of-Experts Decoding for Retrieval Augmented Generation Retrieval Augmented Generation faces a trade-off: concatenating documents in a long prompt enables multi-document reasoning but creates prefill bottlenecks, while encoding document KV caches separatel...

🛑 𝐒𝐭𝐨𝐩 𝐭𝐡𝐫𝐨𝐰𝐢𝐧𝐠 𝐚𝐰𝐚𝐲 𝐲𝐨𝐮𝐫 𝐫𝐞𝐭𝐫𝐢𝐞𝐯𝐚𝐥 𝐬𝐜𝐨𝐫𝐞𝐬.
RAG uses embedding scores to pick Top-K, then treat all retrieved chunks as equal.
Parallel Context-of-Experts Decoding (PCED) uses retrieval scores to move evidence aggregation from attention to decoding.
🚀 180× faster time-to-first-token!

Welcome to PSAI - Paris School of Artificial Intelligence I 4K I Université PSL YouTube video by Université PSL

A video presentation of @psl-univ.bsky.social's Paris School of AI, which in particular includes @psl-univ.bsky.social's International Bachelor of Science in Artificial Intelligence. psl.eu/formation/in...

www.youtube.com/watch?v=B_SR...

✨ L’Université PSL vous souhaite une excellente année 2026.
✨ Université PSL whishes you an excellent year 2026.

Si Macron ou d'autres responsables français expriment une opinion défavorable de l'action américaine au Vénézuela, et que leurs déclarations vexent Trump qui les met (eux ou organismes / entreprises) sur une liste non grata, qui de notre dépendance numérique ?

Screenshot of the README # utool — simple Unicode operations in command-line utool is a command-line tool to perform simple Unicode operations on text streams. ## Usage ``` utool [filters] [input] ``` utool follows the standard Unix convention: input from files given as argument or from standard input, output to standard output. The filters are applied in the order they are given. The character encoding is determined by the `LC_CTYPE` locale cateogry. ## Filters ### `--lowercase` Convert to lowercase. ### `--uppercase` Convert to uppercase. ### `--nfd` Convert to Normalization Form D (decomposed), i.e. convert codepoints corresponding to characters with diacritics into a base codepoint and the diacritics as combining codepoint. ### `--nfd` Convert to Normalization Form C (composed), i.e. merge combining codepoints with the base codepoint if possible. ### `--nfkd` Convert to Normalization Form KD (compatibility decomposed). ### `--nfkd` Convert to Normalization Form C (compatibility composed). ### `--decomb` or `--remove-combining` Remove combining codepoints. Useful along with `--nfd` to remove diacritics. ### `--char-names` Replace each char by its official name, each on a line.

I needed a tool to make a few Unicode transformations on a small text, so I wrote one.
nsup.org/phare/gitweb...

J'ai eu le même ! Et effectivement c'était assez formateur.

Maintenant, Scratch (qui, il me semble, est souvent utilisé au collège) peut jouer un rôle similaire.

On comprend bien ce qu'il faut faire pour passer pas l'échelle, ça n'est pas techniquement compliqué (depuis que Google a montré justement que le calcul distribué sur une grappe de machines standard était viable). Mais il faut les ressources, donc un subventionnement ou un business model.

Oui !

Ce qui est plus compliqué c'est d'avoir suffisamment de ressources pour crawler en continu un très grand volume de pages, garder l'index à jour, répondre a un volume important de requêtes... Et surtout, réussir à avoir suffisamment d'utilisateurs pour pouvoir exploiter leur feedback.

Oui bien sûr, mais chacun de ces aspects n'est pas particulièrement difficile à implémenter. Les combiner en un système complet est plus délicat, mais c'est faisable. J'ai vu plusieurs fois des moteurs de recherche très complets produits.

À la fin des années 2000, je faisais faire un moteur de recherche complet (crawl, indexation, ranking en utilisant la structure de graphe, calcul distribué, interface) en une semaine intensive de cours/TP. Évidemment à plus petite échelle et moins raffiné, mais la complexité est souvent surestimée.

David Monniaux, directeur de recherche au CNRS : « Que se passerait-il si Trump ordonnait aux Gafam de cesser leurs services cloud à l’égard de nos gouvernements ? » TRIBUNE. Dans une tribune au « Monde », le chercheur souligne les dangers de la dépendance numérique européenne à l’égard des géants du Web, soumis à la législation américaine.

à l'heure où les USA sanctionnent Thierry Breton.. pardonnez l'autopromo, mais si vous ne l'avez pas lue, lisez ma tribune d'il y a deux mois

www.lemonde.fr/idees/articl...

*part of the chain of thought

Chain of thought for a multiplication of two big integers using ChatGPT.

Yes. With the “thinking” models, it's sometimes possible to have access to pay of the chain of thought, which shows them using calculators or Python.

📢 #Nomination | Meltem Öztürk Escoffier devient vice-présidente déléguée vie étudiante et vie de campus auprès d’Alexandre Allauzen, vice-président affaires académiques formation et attractivité de l’Université PSL.
+ d'infos 👉 psl.eu/actualites/m...

Stéphane Mallat, bâtisseur de ponts mathématiques et informatiques | Talents CNRS YouTube video by CNRS

Du format de compression d’images JPEG 2000 aux fondements mathématiques de l’IA, Stéphane Mallat a façonné des outils devenus incontournables. Pour ses travaux exceptionnels, il reçoit la médaille d'or 2025 du CNRS. #TalentsCNRS 🏅

Son portrait vidéo 👉 youtu.be/m3zNvnGSjjk