Il a fallu que j'attende le 23 et le 24, mais j'ai pu faire l'AoC de cette année. Pour le 10-2 et le 12-1, avez-vous trouvé des solutions qui ne reposent pas sur du SAT ou de la programmation linéaire en nombres entiers ?

Hommage au professeur Dominique Bernard. En ce 13 octobre, nous rendons hommage à Dominique Bernard, professeur de lettres, assassiné dans l’exercice de son métier il y a deux ans, pour les valeurs qu’il incarnait : le savoir, la transmission et la liberté d’enseigner.

Évolution de l'épreuve pratique NSI, des sujets zéros sont disponibles sur éduscol : eduscol.education.fr/2068/program...

Recrutement de 14 inspecteurs généraux à l'IGESR au 1er janvier avec, entre autres, un poste à profil expertise disciplinaire et pédagogique en mathématiques. www.legifrance.gouv.fr/jorf/id/JORF...

Je cherche des archives de 92 à 95 de certains newsgroups de discussion Usenet, j'arrive à avoir des archives de 81 à 91 ou après 2010 mais pas sur cette période. Quelqu'un aurait ça ?

Au BO de ce jour, le nouveau format de l'épreuve pratique de NSI : La partie pratique consiste à programmer sur ordinateur une application informatique à partir d’un document fourni au candidat. L’épreuve a pour objectif d’évaluer le niveau de maîtrise des compétences pratiques du candidat.

Il y a un de cela se tenaient les #JOP de Paris. Des moments partagés à suivre les performances sportives ... et maintenant, quel héritage au plan éducatif ? Un rapport de #IGÉSR analyse les différentes modalités permettant d'en pérenniser l'héritage éducatif.

Pour suivre l'idée LLM = générateur aléatoire biaisé. Je vous recommande cette vidéo qui montre comment on peut utiliser un LLM pour générer des constructions intermédiaires afin de résoudre des problèmes de géométrie d'olympiades avec un système formel déductif. www.youtube.com/watch?v=4Nlr...

Snake-in-the-Box Problem xkcd.com/3125/

Ni Photoshop, ni IA, Martin Gregus photographe slovaque,multi-récompensé a pris cette photo d'un ours polaire dormant paisiblement au milieu d'épilobes. L'épilobe est une espèce survivante, qui surgit là où la banquise recule et chevauche parfois les territoires de chasse de l'ours polaire.ALT

Difficile de parler d'IA générative sans savoir vraiment e qu'il y a sous le capot. Je profite de mes vacances pour programmer et entrainer des VAE. Derrière ce nom, il s'agit d'un générateur pseudo-aléatoire contrôlé par un germe et qui reproduit une distribution supposée gaussienne des données.

On arrive à un moment charnière de la commercialisation de très gros modèles. Analogie très grossière l'IA propose actuellement des jets privés quasi gratuit pour aller à la boulangerie (avec proba 0.7) et on va se rendre compte que continuer à apprendre à faire du vélo est quand même plus efficace.

Qui croit en l'AGI devrait essayer de demander à une IA de faire une figure précise en Tikz...

J'ai eu la chance de pouvoir participer aux deux missions sur l'IA et de pouvoir présenter avec les équipes de mission des éléments à la ministre d'État Ellisabeth Borne et au ministre Philippe Baptiste le 10 juillet. www.education.gouv.fr/education-et...

Félicitations aux 22 reçus à l'agrégation d'informatique 2025 ! resultats.examens-concours.gouv.fr/CE2/admis?co...

Publication du rapport de l'IGÉSR sur l'intelligence artificelle dans les établissements scolaires. www.education.gouv.fr/l-intelligen...

Le cadre d'usage de l'IA en éducation a été publié aujourd'hui. www.education.gouv.fr/cadre-d-usag...

Indispensable rapport #IGÉSR au sujet des chargés d'enseignement vacataires dans les établissements du supérieur. #ESR

Qu'affiche ce programme et pourquoi ? l = [] for x in [1, 2]: def f(): return x l.append(f) g, h = l print(g(), h())

Publication de la liste des admissibles à l'agrégation d'informatique resultats.examens-concours.gouv.fr#/CE2/admis?c... Félicitations aux admissibles et bon courage pour la dernière ligne droite avant les oraux.

Je viens de passer de 30 tok/s à 1600 tok/s en utilisant Mistral Small sur une A100 en parallelisant comme il faut 😁 Ce week-end commence bien !

Après quatre ans de travail, l'association et ses partenaires sont parvenus à faire inscrire la demoscene française à l’Inventaire national du patrimoine culturel immatériel du ministère de la culture... mag.mo5.com/268476/la-de...

Je viens de découvrir qu'on peut trier sémantiquement une liste de phrases très simplement en faisant un plongement textuel suivi d'un parcours du plus proche en premier (best-first). Ici, sur un exemple jouet de réponse à « qu'avez-vous mangé à midi ? Mais, ça marche très bien sur des cas réels.

Un scientifique utilise la chimie pour créer des œuvres d'art visuelles époustouflantes. En combinant différents éléments et réactions chimiques, il produit des images fascinantes dans une goutte d'eau 💧!

La justification en gras de o3-mini-high de son erreur par le fait que la tâche est trop complexe est représentative des limites en informatique quand on voit que le modèle a produit du code sans aucune réserve sur sa qualité, et que ce n'est qu'à la 4e présentation d'un contre-ex que c'est fait.

En me disant que le bon terme pourrait être la SAO : sérendipité assistée par ordinateur, je vois qu'il y a est articles parlant de computer-aided serendipity dès 95-00, avec un article très intéressant de James Arvo graphicsinterface.org/wp-content/u...

Il y a au moins dix ans, les mêmes articles portaient sur les circuits de filtre obtenus par les algorithmes génétiques. En fait, on redécouvre éternellement les vertus d'une recherche probabiliste pour sortir de puits de potentiels technologiques. www.journaldugeek.com/2025/02/25/u...

DeepSeek a été entraîné sur des H800, version bridée des H100 en raison des restrictions à l'exportation. Trois conséquences du bridage : faible perf en haute précision, faible communication intergpu et consommation plus basse. Apport principaux de DeepSeek : modèle FP8 et com optimisée entre GPU.

Ça ns demande bcp de travail svt invisible, ms pr une seule de ces phrases, ça en vaut la peine (bilan2024 filles&maths974) "Que de nbreuses femmes se cachent derrière de multiples progrès mathématiques tels que Emmy Noether!" "Les maths c'est cool" "finalement j'ai envie de continuer les maths"

Bios innatendu...

Fin de la dixième édition de l'advent of code. Merci a @was.tl ! L'émergence de l'utilisation éhontée de l'IA cette année m'a fait prendre conscience de la situation complexe dans laquelle on va être sur le marché de l'emploi en informatique.

Rencontre insolite dans la montagne au nord ouest de Nagano avec quatre quinquagénaires australiens retapant un chalet pour ouvrir un bar-restaurant, et avec qui mes enfants ont fait la course en luge.

Échantillonnage géographique

Triste d'observer le profil des personnes utilisant l'IA pour l'advent of code afin d'être dans les premiers. Ce sont souvent des personnes avec une faible formation initiale en info, sur des postes de frontend. Pile, ceux qui monteraient en compétence en le faisant normalement.

Pas de temps à perdre ! Le Secours Populaire lance dès ce soir un appel aux dons. #Chido #Mayotte

Le problème de l'advent of code ce matin était dans le sujet du concours général NSI 2024. Mais, au CGL, c'était en trois dimensions et ici en deux.

If you're curious what it takes to build and run #AdventOfCode every year, you might enjoy this talk: www.youtube.com/watch?v=uZ8D...

Appel à testeurs. Je débute une série de 24 tutos #Python/#Pyxel pour la @nuitducode. Voir #ForgeEdu: nuit-du-code.forge.apps.education.fr/24-jours-de-.... Jour 1 seulement. @cahiernum + @pyxel_studio + dépôt (www.nuitducode.net/24jdpp-depos...) + galerie (www.nuitducode.net/24jdpp/1)

Intéressant de voir la différence avec des temps semblables à l'#AdventOfCode entre hier et aujourd'hui, alors que les problèmes étaient je pense de mêmes difficultés :

Publication du rapport de l'IGÉSR sur « La préparation aux formations et aux métiers du numérique et de l’informatique au lycée ». www.education.gouv.fr/la-preparati...

305e sur la partie 2 de l'#AdventOfCode ce matin... Ça va être difficile de passer sous les 100 au moins une fois.

A few days ago Lawrence Hollom posted a preprint that solves a problem about posets, informally known as the fishbone conjecture, which I am told was extremely central in the area. 🧵 arxiv.org/abs/2411.16844

Appel à bénévoles pour les Olympiades Internationales de Physique #ipho2025 sfpnet.fr/appel-a-bene...

Beaucoup de comptes arrivent ici, bienvenue 🖖 C'est bientôt l'advent of code 🎄

Félicitations aux 22 admises et admis à l'agrégation d'informatique 2024 ! Niveau élevé et de nombreux candidats (483 inscrits). La France dispose d'un vivier important et de qualité de passionnés sur lesquels s'appuyer pour enseigner l'informatique ! cyclades.education.gouv.fr/candidat/pub...

⚠️ Si vous écrivez un parcours en profondeur en itératif avec une pile et que vous avez un test d'ajout de la forme : pour chaque voisin x non marqué : marquer x puis empiler x alors, vous ne faites pas un parcours en profondeur ! Mais, avec une file, le même code donne un parcours en largeur.