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.)

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

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.

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.

*part of the chain of thought