Pierre Senellart
pierre.senellart.com
Pierre Senellart
@pierre.senellart.com
Professor of computer science at ENS-PSL @normalesup.bsky.social, head of Inria Valda team. VP Digital infrastructure and IT convergence, PSL University @psl-univ.bsky.social.
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
MPRI - apply
The MPRI (The Parisian Master of Researcher in Computer Science (Master Parisien de Recherche en Informatique, MPRI) is a research-oriented master program in computer science in Paris.
mpri-master.ens.fr
February 13, 2026 at 7:58 PM
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.
pierre.senellart.com
February 6, 2026 at 10:17 PM
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.)
@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...
February 6, 2026 at 8:46 PM
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
January 27, 2026 at 9:32 AM
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 ?
January 23, 2026 at 4:46 PM
Ahem, tu peux expliciter?
January 23, 2026 at 4:24 PM
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.
January 23, 2026 at 4:19 PM
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.
December 29, 2025 at 7:08 AM
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.
December 25, 2025 at 8:03 AM
Oui !
December 25, 2025 at 7:43 AM
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.
December 25, 2025 at 7:41 AM
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.
December 25, 2025 at 7:39 AM
À 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.
December 25, 2025 at 7:01 AM
*part of the chain of thought
December 19, 2025 at 10:04 PM