How dare you, #philomag ? Donnez plutôt de la visibilité aux gens qui ont compris les limites de l'IA, comme Anne Alombert ou Damasio. Laissez les technobéats se toucher entre eux sans prétendre que c'est dla philosophie.

Sérieux, le style de ce texte est dans l'évocation creuse sans jamais convaincre. On dirait le Comité Invisible, en moins drôle. C'est pas digne de vous. (et oui, j'ai lu la postface, et ça ne fait que renforcer mon impression de m'être fait scam)

And now, our software boots up on our hardware prototype of the #SmolPhone The keyboard kinda works, too. More work in the future but OK for now.

The substrate is able to display a "modern" UI with buttons, text areas, labels, checkbox and such under the RP2040 constraints (about 200k of RAM but rather OK compute power).

The goal is to allow users to build apps with lua scripts, as in #Scrappy https://jrcpl.us/contrib/2025/Scrappy Maybe before the end of the year, if we're lucky.

#LowNum #FrugalComputing

First prototype of the #SmolPhone, with a screen, a keyboard and a RP2040 as main compute unit. The 4G and wifi modems will be for a future iteration.

Don't expect it to be functional yet. It's assembled in a rush since 2 days: the keyboard is connected but not recognized by the program loaded on the 2040. Only the screen is used for now, to move a little black square and its friend the white triangle around the screen.

More to come :)

Ajd, c'est IA, classification et apprentissage supervisé.

L'équipe Moex a un jeu complet et bien fait sur la classif https://moex.inria.fr/mediation/class/index.html#French

La MMI propose +ieurs activités sur comment l'IA "apprend" une classification par apprentissage supervisé:
https://mmi-lyon.fr/?site_ressource_peda=entrez-dans-la-tete-dune-ia

Ces activités sont bien expliquées en ligne et trop longues pour un pouet.

Des élèves de rennes ont commencé (sans finir) une activité où l'on classifie des champignons :
https://github.com/InfoSansOrdi/pedago-rennes/tree/trunk/pedago2/2018-Classif-champi

Ajd on parle model checking.

Dans le Chateau Pas Très Fort de @MarieKremer3. On explore un château représenté par un graphe, et on teste des formules de logique temporelle.
https://members.loria.fr/MDuflot/files/med/chateau.html

Trois élèves de Rennes ont fait une activité similaire où il faut trouver l'île sur laquelle le pirate a caché son trésor: c'est celle qui vérifie la formule temporelle donnée.
https://github.com/InfoSansOrdi/pedago-rennes/tree/trunk/LeJournalDuPirate

Activités + dures (pour collège/lycée), mais des notions de niveau M2...

Ajd on parle IA et apprentissage par renforcement, avec le jeu de de Nim et des gobelets contenant des pions colorés.

Quand il reste 12 pions, la machine tire un jeton du gobelet n°12. Bleu => elle prend 3 pions sur la table. Jaune => 2 pions. Rouge => 1. En fin de partie, on double tous les jetons tirés SI la machine a gagné. À la fin elle gagne à coup sûr. Des variantes convergent + ou - vite.

https://mmi-lyon.fr/?site_ressource_peda=jeu-de-nim-et-ia
https://members.loria.fr/MDuflot/files/med/IAnim.html
https://github.com/InfoSansOrdi/pedago-rennes/tree/trunk/Nim/Extensions