Mais avant ils devaient faire un classement AVANT. Des mois plus tôt ! C'est pas parce que la fenêtre où tu valides tes choix est plus courte que t'as moins de temps pour réfléchir. Ils ont DES MOIS EN PLUS pour réfléchir maintenant.

Show Post

L'intelligence artificielle résout des problèmes importants mais en même temps Google Scholar continue de penser que je m'occupe d'hormones chez la génisse et la brebis.

Show Post

Ne pas confondre "elle déteste entendre parler d'IA" et "elle a des réactions prompt-critiques" #humour

Show Post

En termes intuitifs, cette "largeur" est le nombre de lemmes qu'il faut avoir simultanément sous la main même en s'organisant au mieux. Autrement dit, le cas général c'est que les théorèmes vrais sont touffus à prouver. Il faudrait que je retrouve l'article. J'ai dû voir cet exposé il y a ~25 ans…

Show Post

Ne pas confondre compiler du Rust le soir et Cargo de nuit #humour

Show Post