C'est décrit dans cet article récent ! C'est un article qui démontre qu'il n'y a pas besoin de se moucher plusieurs fois, donc le trou dans le mouchoir n'est pas trop gênant.
Plus sérieusement, ça démontre qu'on peut faire un système de tuyau dans lequel passe un fluide qui permet de calculer n'importe quelle fonction partielle récursive, d'ou la référence à Stephen Cole Kleene. Le tout en encodant dans la topologie du système de tuyaux la table de transition de l'automate des états d'une machine de Turing.
On voit d'ailleurs dans les deux figures des papiers que la correspondance automate <-> topologie est claire.
Le flot débute dans un état initial, un disque, sur lequel chaque nombre entier a un point. En entrant dans la machine, ce flot va être modifié jusqu'à atteindre l'état final, si le calcul termine, avec la trajectoire qui arrive à l'endroit ou est codé le nombre résultat sur le disque.
Le codage implique l'ensemble de Cantor, codage des états de la machine de Turing (dont la bande), dans lequel on peut par exemple coder les entiers en base 3 [[Ensemble_de_Cantor#%C3%89criture_en_base_3]]. Et donc d'autres trucs, comme l'état d'une machine de Turing dont sa bande.
Dans les deux cas donc, il y a des "portes logiques" si on peut dire, qui vont modifier le flot pour aller d'un point de l'ensemble de cantor un l'autre, qui va coder pour un état de calcul. Il peut y avoir des boucles ou le flot peut repasser plusieurs fois au même endroit.
Et c'est intéressant en particulier pour montrer que des problèmes fondamentaux de système dynamiques, l'existence ou pas de boucle périodiques, sont tout aussi non calculables que le problème de l'arrêt en informatique !
We show that two-dimensional billiard systems are Turing complete by encoding their dynamics within the framework of Topological Kleene Field Theory. Billiards serve as idealized models of particle motion with elastic reflections and arise naturally as limits of smooth Hamiltonian systems under steep confining potentials. Our results establish the existence of undecidable trajectories in physically natural billiard-type models, including billiard-type models arising in hard-sphere gases and in collision-chain limits of celestial mechanics.
(je ne met pas directement le lien parce que peu de gens savent ce qu'est la théorie topologique des champs de Kleene. Il y en a ici d'ailleurs ?)
Tu éludes quand même la question de l'incitation économique. Tu parles des Rolling Stones, groupe qui a connu un succès immense à une ère ou la musique de masse émergeait, c'était bien plus compliqué de faire des succès planétaires avant. Ça a été porté entre autre par ce qu'on a appelé les "majors" de la production musicale.
Aujourd'hui, si ces majors peuvent faire plein de thune sans artistes, elles ne vont pas s'en priver et l'incitation à produire des vrais artistes avec une démarche … va complètement s'effondrer. La thune va aller à qui ? À Elon Musk et ses amis, de grands artistes s'il en est (let that sink in, meilleure blague drôle)
Peut être qu'une manière moins bête de s'en servir est dans l'esprit "dis moi ce dont tu as besoin, je te dirai comment t'en passer".
Au préalable de faire une demande technique précise (ou à la place de) tu t'en sers comme une base de connaissance et tu demande "quelles seraient les bonnes pratiques et les moyens techniques appropriés pour faire [mon besoin]" et là tu risques d'avoir une palette de possibles plus large.
Au lieu de demander "fais moi une regex qui valide X", plutôt "quels sont les techniques possibles pour valider X, et à quoi il faut faire attention", quoi.
_PS: il est évident que cet article peut paraître un peu brutal mais il a le mérite d'être honnête.
Bof, si on fait le bilan de ton commentaire, soit tu fais du slop et tu fais vendre et ça va, tu fais vendre. C'est utile. Soit tu es un "vrai artiste" et tu es saura connu après ta mort, tu fais pas vendre et tu survis ? Je vois pas ou est le bénéfice.
Finalement tout ça pour quoi ? Une philosophie utilitariste, si tu es utile au marché tu ne disparaît pas, parce que le marché est supposé être utile à tous. Tant pis pour les wannabee artistes qui n'auront pas passé l'épreuve de la rentabilité et qui seront trop crevés après leur job alimentaire de merde pour prendre les pinceaux le soir.
Ah bah à l'époque c'était pas l'abondance de RAM ! C'était pas comme l'époque pré OpenAI on nageait pas dans les 10aines de Go de RAM à pas cher dans nos machines ! L'histoire se répète, là la RAM flambe. Cherchez moi pas trop, je suis loin.
C'est de l'apprentissage par renforcement ça, pas vraiment des TRM si je ne m'abuse. Les TRM c'est une optimisation de l'apprentissage.
Il y a une réponse attendue et il y plusieurs passe ou le réseau essaye d'améliorer sa réponse, puis modifie les poids des neurones de manière plus maligne que habituellement ou tu calcules juste un gradient pour aller davantage vers la bonne réponse avec une seule passe dans le réseau.
Il y a une histoire de calcul de point fixe dans l'histoire, à priori l'algo d'apprentissage fait modifier les poids des neurones de manière optimale (ou quasi) étant donné l'exemple, là ou la descente de gradient classique ne fait qu'un tout petit pas : https://github.com/SamsungSAILMontreal/TinyRecursiveModels
Là on sait pas grand chose de si des TRM sont utilisés ou comment ils ont appris. C'est pas des LLMs certes, mais c'est plus qu'au lieux de connaître à l'avance tout le jeu d'apprentissage, une solution est générée, est évaluée pour savoir si elle est physiquement correct, et en fonction de l'évaluation soit tu tires les poids des neurones pour générer plus des solutions qui ressemblent, soit tu pénalises (?) ou truc du genre. Et tu répètes. Le fait d'avoir une fonction d'évaluation des solutions permet de ne pas forcément avoir besoin d'un gros jeu d'apprentissage, c'est la différence avec les LLMs. Et c'est indépendant de l'algorithme utilisé pour la modification des poids du réseau : descente de gradient stochastique "classique" pour les LLMs et minimiser les erreurs de prédiction sur le jeu d'apprentissage, a priori pareil pour les TRMs on minimise les erreurs de prédiction mais ce n'est pas du tout une bête descente de gradient, et les réseaux sont utilisés différemment (ils ont une phase de "raisonnement" "récursive" pendant l'apprentissage).
Le Michael E. Mann de la courbe de Mann, tu le qualifies pas de militant ? Personne ne peut douter qu'il est un scientifique. Il est aussi très engagé … avec un coauteur dans son dernier livre Science under siege ils appellent à "se battre" contre les forces qui désinforment et empoisonnent la planète. Dichotomie avec une forme de militantisme ? Pas vraiment.
Si la presse est le quatrième pouvoir, l'économie est le 5ème ? La démocratie pense l'indépendance de l'exécutif, législatif et judiciaire (et c'est déjà pas simple) pour le reste … (c'est encore moins simple)
Mais si ça se trouve la distribution des lettres des mots sans "e" est relativement différente de celle des ceux avec ?
Et pour le fun, en comptant les lettres dans /usr/share/dict/french il y a quand même des variations intéressantes ! Très peu de mots avec "z" et sans "e" par exemple, évidemment pour les autres voyelles ça change aussi beaucoup, et pas de manière uniforme j'ai l'impression :
(Évidemment c'est sous réserve que les calculs soient corrects)
Et ben pas tant que ça (quoi que) si tu cherches "information négative" il y a plusieurs concepts qui existent, dont un en physique quantique. (et là tu me dis, rien à voir avec un stockage à antimatière)
Ça rappelle l'Énergie négative en physique. On prend pas les fichiers de taille négative au sérieux mais … il y a de quoi spéculer ! Si on stocke un fichier sur un stockage à antimatière il devient un antifichier ?
Du coup pour le code golf ça deviendrait complètement non borné comme problème ! On va devoir prendre une métrique quadratique.
Tu as testé d'appliquer les programmes du projet pédagogique sur les statistiques des lettres sur "La disparition" ? Ça serait drôle que ce soit pris pour une autre langue !
En parler ? À quoi bon, il suffit de voir votre réaction pour se dire que ça n'en vaut pas la peine, là où il faudrait s'entraider, tout ça ne fait que nous séparer un peu plus, je vois pas l'intérêt…
C'est étrange comme phrase, les médias comme Basta ne sont pas les derniers à dénoncer les exactions policières, quelles qu'elles soient ? https://basta.media/violences-policieres
Ce n'est par ailleurs pas antinomique avec dénoncer des discriminations systémiques, ça ne s'oppose pas.
[^] # Re: Le lien ArXiv direct « Classical billiards can compute »
Posté par thoasm . En réponse au lien Le billard est Turing complet. Évalué à 4 (+1/-0).
C'est décrit dans cet article récent ! C'est un article qui démontre qu'il n'y a pas besoin de se moucher plusieurs fois, donc le trou dans le mouchoir n'est pas trop gênant.
https://arxiv.org/pdf/2503.16100
Plus sérieusement, ça démontre qu'on peut faire un système de tuyau dans lequel passe un fluide qui permet de calculer n'importe quelle fonction partielle récursive, d'ou la référence à Stephen Cole Kleene. Le tout en encodant dans la topologie du système de tuyaux la table de transition de l'automate des états d'une machine de Turing.
On voit d'ailleurs dans les deux figures des papiers que la correspondance automate <-> topologie est claire.
Le flot débute dans un état initial, un disque, sur lequel chaque nombre entier a un point. En entrant dans la machine, ce flot va être modifié jusqu'à atteindre l'état final, si le calcul termine, avec la trajectoire qui arrive à l'endroit ou est codé le nombre résultat sur le disque.
Le codage implique l'ensemble de Cantor, codage des états de la machine de Turing (dont la bande), dans lequel on peut par exemple coder les entiers en base 3 [[Ensemble_de_Cantor#%C3%89criture_en_base_3]]. Et donc d'autres trucs, comme l'état d'une machine de Turing dont sa bande.
Dans les deux cas donc, il y a des "portes logiques" si on peut dire, qui vont modifier le flot pour aller d'un point de l'ensemble de cantor un l'autre, qui va coder pour un état de calcul. Il peut y avoir des boucles ou le flot peut repasser plusieurs fois au même endroit.
Et c'est intéressant en particulier pour montrer que des problèmes fondamentaux de système dynamiques, l'existence ou pas de boucle périodiques, sont tout aussi non calculables que le problème de l'arrêt en informatique !
# Le lien ArXiv direct « Classical billiards can compute »
Posté par thoasm . En réponse au lien Le billard est Turing complet. Évalué à 5 (+3/-1).
https://arxiv.org/abs/2512.19156
Abstract
(je ne met pas directement le lien parce que peu de gens savent ce qu'est la théorie topologique des champs de Kleene. Il y en a ici d'ailleurs ?)
[^] # Re: Une cathédrale devenue un bazar
Posté par thoasm . En réponse au lien Publications scientifiques : une surproduction fatale ?. Évalué à 5 (+2/-0).
J'ai trouvé je sais plus comment mais avec un moteur de recherche généraliste ça marche, par exemple "site:smbc-comics.com captcha" sur ddg : https://duckduckgo.com/?q=site%3Asmbc-comics.com+captcha
[^] # Re: Une cathédrale devenue un bazar
Posté par thoasm . En réponse au lien Publications scientifiques : une surproduction fatale ?. Évalué à 4 (+1/-0).
C'est SMBC, autant lier direct sur leur site : https://www.smbc-comics.com/comic/captcha :)
[^] # Re: et qui possède linuxfr?
Posté par thoasm . En réponse au lien Cartographie : Médias français, qui possède quoi ? (Monde diplomatique). Évalué à 5 (+2/-0).
Les ignorants ils pense qu'on ne fait pas l'opinion.
[^] # Re: Résumé de cet excellent article
Posté par thoasm . En réponse au lien L'IA n'est pas en train de remplacer les métiers, elle expose ceux qui n'en ont jamais vraiment eu. Évalué à 4 (+1/-0).
Tu éludes quand même la question de l'incitation économique. Tu parles des Rolling Stones, groupe qui a connu un succès immense à une ère ou la musique de masse émergeait, c'était bien plus compliqué de faire des succès planétaires avant. Ça a été porté entre autre par ce qu'on a appelé les "majors" de la production musicale.
Aujourd'hui, si ces majors peuvent faire plein de thune sans artistes, elles ne vont pas s'en priver et l'incitation à produire des vrais artistes avec une démarche … va complètement s'effondrer. La thune va aller à qui ? À Elon Musk et ses amis, de grands artistes s'il en est (let that sink in, meilleure blague drôle)
[^] # Re: ia routeur
Posté par thoasm . En réponse au lien Une IA conçoit un ordinateur Linux fonctionnel en une semaine. Évalué à 5 (+2/-0).
Peut être qu'une manière moins bête de s'en servir est dans l'esprit "dis moi ce dont tu as besoin, je te dirai comment t'en passer".
Au préalable de faire une demande technique précise (ou à la place de) tu t'en sers comme une base de connaissance et tu demande "quelles seraient les bonnes pratiques et les moyens techniques appropriés pour faire [mon besoin]" et là tu risques d'avoir une palette de possibles plus large.
Au lieu de demander "fais moi une regex qui valide X", plutôt "quels sont les techniques possibles pour valider X, et à quoi il faut faire attention", quoi.
[^] # Re: Résumé de cet excellent article
Posté par thoasm . En réponse au lien L'IA n'est pas en train de remplacer les métiers, elle expose ceux qui n'en ont jamais vraiment eu. Évalué à 3 (+1/-1).
Bof, si on fait le bilan de ton commentaire, soit tu fais du slop et tu fais vendre et ça va, tu fais vendre. C'est utile. Soit tu es un "vrai artiste" et tu es saura connu après ta mort, tu fais pas vendre et tu survis ? Je vois pas ou est le bénéfice.
Finalement tout ça pour quoi ? Une philosophie utilitariste, si tu es utile au marché tu ne disparaît pas, parce que le marché est supposé être utile à tous. Tant pis pour les wannabee artistes qui n'auront pas passé l'épreuve de la rentabilité et qui seront trop crevés après leur job alimentaire de merde pour prendre les pinceaux le soir.
[^] # Re: J'avoue
Posté par thoasm . En réponse au lien "OpenAI est le prochain Netscape, condamné et en pleine hémorragie de cash". Évalué à 5 (+2/-0).
"Avoir des couilles" => c'est bizarre c'est plutôt positif.
"être un con" => oh bah c'est l'inverse.
Cqfd ?
[^] # Re: J'avoue
Posté par thoasm . En réponse au lien "OpenAI est le prochain Netscape, condamné et en pleine hémorragie de cash". Évalué à 3 (+0/-0).
Non, en dehors de la pure insulte, pour un homme on dit plutôt :wikt:gigolo généralement. "Pute" désigne généralement une femme prostituée.
[^] # Re: Ah bon
Posté par thoasm . En réponse au lien "OpenAI est le prochain Netscape, condamné et en pleine hémorragie de cash". Évalué à 3 (+0/-0).
Faut les attacher à ses jambes pour en faire des palmes ! Ça fait watercooling naturel, quoi.
[^] # Re: J'avoue
Posté par thoasm . En réponse au lien "OpenAI est le prochain Netscape, condamné et en pleine hémorragie de cash". Évalué à 6 (+3/-0).
c'est "putaclick" que tu trouves racoleur ?
[^] # Re: Ah bon
Posté par thoasm . En réponse au lien "OpenAI est le prochain Netscape, condamné et en pleine hémorragie de cash". Évalué à 3 (+0/-0).
Ah bah à l'époque c'était pas l'abondance de RAM ! C'était pas comme l'époque pré OpenAI on nageait pas dans les 10aines de Go de RAM à pas cher dans nos machines ! L'histoire se répète, là la RAM flambe. Cherchez moi pas trop, je suis loin.
[^] # Re: ia routeur
Posté par thoasm . En réponse au lien Une IA conçoit un ordinateur Linux fonctionnel en une semaine. Évalué à 4 (+1/-0).
C'est de l'apprentissage par renforcement ça, pas vraiment des TRM si je ne m'abuse. Les TRM c'est une optimisation de l'apprentissage.
Il y a une réponse attendue et il y plusieurs passe ou le réseau essaye d'améliorer sa réponse, puis modifie les poids des neurones de manière plus maligne que habituellement ou tu calcules juste un gradient pour aller davantage vers la bonne réponse avec une seule passe dans le réseau.
Il y a une histoire de calcul de point fixe dans l'histoire, à priori l'algo d'apprentissage fait modifier les poids des neurones de manière optimale (ou quasi) étant donné l'exemple, là ou la descente de gradient classique ne fait qu'un tout petit pas : https://github.com/SamsungSAILMontreal/TinyRecursiveModels
Là on sait pas grand chose de si des TRM sont utilisés ou comment ils ont appris. C'est pas des LLMs certes, mais c'est plus qu'au lieux de connaître à l'avance tout le jeu d'apprentissage, une solution est générée, est évaluée pour savoir si elle est physiquement correct, et en fonction de l'évaluation soit tu tires les poids des neurones pour générer plus des solutions qui ressemblent, soit tu pénalises (?) ou truc du genre. Et tu répètes. Le fait d'avoir une fonction d'évaluation des solutions permet de ne pas forcément avoir besoin d'un gros jeu d'apprentissage, c'est la différence avec les LLMs. Et c'est indépendant de l'algorithme utilisé pour la modification des poids du réseau : descente de gradient stochastique "classique" pour les LLMs et minimiser les erreurs de prédiction sur le jeu d'apprentissage, a priori pareil pour les TRMs on minimise les erreurs de prédiction mais ce n'est pas du tout une bête descente de gradient, et les réseaux sont utilisés différemment (ils ont une phase de "raisonnement" "récursive" pendant l'apprentissage).
# À la préhistoire du libre …
Posté par thoasm . En réponse au lien Une IA conçoit un ordinateur Linux fonctionnel en une semaine. Évalué à 7 (+4/-0).
Anecdote : Richard Stallman a bossé sur l'analyse de circuits électroniques avant 1980 dans son labo d'IA …
[^] # Re: On s'en fout ici sur Linuxfr.
Posté par thoasm . En réponse au journal Mais qui a éteint les Lumières ?. Évalué à 5 (+2/-0).
Le Michael E. Mann de la courbe de Mann, tu le qualifies pas de militant ? Personne ne peut douter qu'il est un scientifique. Il est aussi très engagé … avec un coauteur dans son dernier livre Science under siege ils appellent à "se battre" contre les forces qui désinforment et empoisonnent la planète. Dichotomie avec une forme de militantisme ? Pas vraiment.
Figure du combat pour l'information sur le changement climatique, et l'action. Dernièrement encore, il s'adresse à Bill Gates en s'engageant dans le débat public : https://thebulletin.org/2025/10/you-cant-reboot-the-planet-if-you-crash-it/
[^] # Re: Plutôt rapide
Posté par thoasm . En réponse au lien A Lisp Interpreter Implemented in Conway's Game of Life. Évalué à 3 (+0/-0).
Personne n'a réussi à se retrouver dans les parenthèses de la question de Deep Thought, code trop complexe.
[^] # Re: C'était facile
Posté par thoasm . En réponse au lien Quand le « philosophe » Michel Onfray se fait reprendre par l’astrophysicien Eric Lagadec. . Évalué à 3 (+0/-0).
Si la presse est le quatrième pouvoir, l'économie est le 5ème ? La démocratie pense l'indépendance de l'exécutif, législatif et judiciaire (et c'est déjà pas simple) pour le reste … (c'est encore moins simple)
# Écho
Posté par thoasm . En réponse au lien Estimates – a necessary evil?. Évalué à 3 (+0/-0).
2 liens plus haut, les IAs génératives ne comptent pas leur temps : https://linuxfr.org/users/thoasm/liens/on-artificial-time-rapport-au-temps-des-ias-temps-de-calcul
[^] # Re: Question connexe : La disparition est-elle française ?
Posté par thoasm . En réponse au journal C sans accolades, IA un problème. Évalué à 7 (+4/-0).
Mais si ça se trouve la distribution des lettres des mots sans "e" est relativement différente de celle des ceux avec ?
Et pour le fun, en comptant les lettres dans /usr/share/dict/french il y a quand même des variations intéressantes ! Très peu de mots avec "z" et sans "e" par exemple, évidemment pour les autres voyelles ça change aussi beaucoup, et pas de manière uniforme j'ai l'impression :
(Évidemment c'est sous réserve que les calculs soient corrects)
[^] # Re: Trop facile
Posté par thoasm . En réponse au journal C sans accolades, IA un problème. Évalué à 6 (+3/-0).
Et ben pas tant que ça (quoi que) si tu cherches "information négative" il y a plusieurs concepts qui existent, dont un en physique quantique. (et là tu me dis, rien à voir avec un stockage à antimatière)
Il me semble que la question de savoir si la physique quantique a besoin d'imaginaire a été (re)discutée récemment, cela dit.
En tout cas, l'imagination ne manque pas dans le monde scientifique.
[^] # Re: Trop facile
Posté par thoasm . En réponse au journal C sans accolades, IA un problème. Évalué à 4 (+1/-0).
Ça rappelle l'Énergie négative en physique. On prend pas les fichiers de taille négative au sérieux mais … il y a de quoi spéculer ! Si on stocke un fichier sur un stockage à antimatière il devient un antifichier ?
Du coup pour le code golf ça deviendrait complètement non borné comme problème ! On va devoir prendre une métrique quadratique.
# Question connexe : La disparition est-elle française ?
Posté par thoasm . En réponse au journal C sans accolades, IA un problème. Évalué à 7 (+4/-0).
Tu as testé d'appliquer les programmes du projet pédagogique sur les statistiques des lettres sur "La disparition" ? Ça serait drôle que ce soit pris pour une autre langue !
[^] # Re: ouah
Posté par thoasm . En réponse au lien Des violences policières insidieuses : les amendes pour se débarrasser des "indésirables". Évalué à 7 (+4/-0).
C'est étrange comme phrase, les médias comme Basta ne sont pas les derniers à dénoncer les exactions policières, quelles qu'elles soient ? https://basta.media/violences-policieres
Ce n'est par ailleurs pas antinomique avec dénoncer des discriminations systémiques, ça ne s'oppose pas.
[^] # Re: HowTo ?
Posté par thoasm . En réponse au journal Réanimation des tuxeries. Évalué à 4 (+1/-0).
C'est bien le cas, tldp est archivé : https://web.archive.org/web/20250617213910/https://tldp.org/HOWTO/HOWTO-INDEX/howtos.html