thoasm a écrit 10343 commentaires

C'est à pétaouchnok mais surtout c'est a une tétrachiée de km

Oulala mais ça nécessiterai de repenser … environ toute la société qui s'oriente pareil avec l'indicateur financier ça ! Le nombre de papiers / brevets c'est juste parce qu'on ne peut pas mesurer directement l'apport financier de la recherche.

et pour quand même répondre à ta question, c'est pensé comme une offre de transport cohérente et complète à l'échelle de la métropole, d'où l'intérêt que ce soit parapublic, ca n'exclue pas forcément le privé d'ailleurs.

Àles services d'auto partage aussi. Nantes a Marguerite depuis des années, portées par la commune il me semble. Équivalent de velib' et co. (2008 en fait, quasi 20 ans … Maintenant c'est rattaché à la TAN, transports publics de l'Agglo)

Le problème c'est que ce n' est jamais la bonne période. Même si effectivement c'est tendu sur les prix de l'essence … Mais justement, c'est parce qu'on n'a pas réussi à financer le changement de motorisation des particuliers qu'ils sont coincés. Question justification, c'est pile la bonne période, et la mobilisation des jeunes pourrait appuyer ça, il s'agit de leur avenir. Je truc c'est que Lecornu/Macron c'est pas la bonne équipe question motivation pour emporter le pays dans l'aventure.

Ahah ça c'est parce que vous n'avez pas mon pré-prompt personnel (appliqué à moi même) "fais des fautes pour paraître humain"

Je me trompe si c'est toi qui ne voulait pas contribuer à Wikidta à cause de la licence Il semble bien loin ce temps en tout cas !

On en aurait entendu parler si Wikipédia avait migré !

Le suicide collectif, c'est marrant c'est comme ça qu'est marketté l'IA.

En attendant le Népal s'effondre et ça fait des morts, et l'inflation alimentaire va piquer par ici.

Pardon je me suis trompé de commentaire, voir celui là

C'est épuisant de discuter avec toi. Je me contenterai de lier cet article. Note ce dont il ne parle pas.

Et si on regardait les ordres de grandeurs … financiers aussi. Le haut conseil pour le climat note que quand il y a besoin de sous, pour des questions de déficit )ou d'investissement dans des nouveaux trucs, spareil) on … sacrifie la question climatique : https://mu.social/profile/hc-climat.bsky.social/post/3mxvysni46226 . J'en conclue que l'IA fait beaucoup pour les +4 degrés en freinant encore plus la décarbonation.

On voit des graffiti 13 12 partout ces temps-ci. Renseignement pris ce n'est initialement pas une date mais un code ou il faut prendre chaque chiffre comme sa place dans l'alphabet A->1 B->2 … et au final ce jour ci on fête aussi le jour d'un certain désamour pour les forces de l'ordre.

Question subsidiaire, l'IA va nous sauver de l'apocalypse, nous y précipiter ? Comment, pourquoi ?

Ça fait au moins 42 fois qu'on le lui dit mais ça sert pas à grand chose d'argumenter, il ne cesse de le répéter un peu partout.

Le V/I est une vraie religion, et je pense qu'elle va el rester pour les siècles des siècles. Roulons.

Utopie : Mad Max.

Par exemple, la permaculture ou l'agroécologie moderne ? C'est possible techniquement. C'est pas pour ça que ça se répand au système entier massivement en 4 coups de cuiller à pot. Il faut un soutien politique pour ça.

Il n'y a aucune raison non plus de le rendre obligatoire. Mon pari c'est que ce ne sera pas fait. Au pire t'auras un truc genre "vendu avec de la pub pour être moins cher à l'achat", la pub en question nécessitant une connexion.

C'est pas très convaincant et cohérent de mon de point de vue. "Je comprend que ça puisse être perçu comme une attaque, mais je ne comprend pas qu'on m'attaque en retour" c'est bizarre à mon avis. Si tu peux l'entendre et le comprendre, tu comprend l'attaque en retour. Je pense que son commentaire n'efface pas le malaise, une impression de double langage. Ce n'est pas très sain. Si j'en reste sur un ressenti, j'évoquerai une forme de gaslighting. Tu t'excuses sans t'excuser, tu attends presque des excuses de la personne qui t'insulte en disant qu'elle s'est fait insulter dans sa tête mais qu'elle peut comprendre … Perso ça me met dans le malaise, je sais plus trop sur quel pied danser après un commentaire pareil.

Et encore, si la théorie "It for bit" est vraie et si l'univers est infini, évidemment comme l'univers est Turing complet il l'est peut-être au sens fort ! Non ? Bon en tout cas on est les transistors d'un ordinateur planétaire, c'est déjà pas mal. En attendant que l'IA découvre comment se cloner dans le vide quantique.

En tout cas pour les maths, ça ne suffit pas : Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Pour des raisons fondamentale, la formalisation de preuve en langage naturelle et ses ambiguïtés dépends de la résolution de problèmes indécidables en terme algorithmique, parfois …

Plein de jeux sont probablement "bêtement" NP-complets. Le sudoku par exemple : https://www.cs.ox.ac.uk/people/paul.goldberg/FCS/sudoku.html Je pense que beaucoup de "puzzle-game" sont dans ce cas.

Pour de la Turing-completeness il faut un mécanisme de mémoire qui peut devenir arbitrairement grand. Ou un sous-espace continu comme dans l'implémentation d'une machine de Turing dans un billard tordu et à trou, comme j'avais posté : https://linuxfr.org/users/thoasm/liens/le-billard-est-turing-complet (l'astuce est de caser une infinité d'état possibles dans un espace fini pour coder la bande et la position de la tête de lecture…)

C'est normal dans ce type d'analyses, sinon souvent tout se réduit à un jeu fini. Si on prend le sudoku par exemple en principe on peut générer toutes les grilles par avance, et on arrive à un algo en O(1). Il faut étudier des généralisations pour que ça devienne intéressant. D'ailleurs il y a le peché originel de la machine de Turing avec une mémoire infinie, qui n'a rien à voir avec nos machines qui ont certes beaucoup de mémoire mais certainement pas infinie :) Pourtant on dit que la MT est un modèle d'ordi mathématique !

Dans Mario c'est ces limites sipprimpesqui permettent d'avoir une mémoire, sinon comme pour le sudoku on n'a qu'un niveau fini (la partie "automate fini" d'une machine de Turing, en gros)

En fin d'article :

For me, that was definitely the case on long car journeys—even if the version of Super Mario that I played is not among the most complex games.

Qui n'a de sens que si on prend en compte qu'il s'agit de considérer tous les niveaux possibles, dont les niveaux du jeu originel n'est qu'un sous-ensemble bien évidemment.

Mais c'est vrai qu'il y a des maladresses dans l'expression, notamment le fait qu'il parle de "niveaux", de "jeu" et de "plusieurs jeux"

Cette partie aussi n'a de sens que dans l'interprétation qu'on fabrique un niveau à partir d'une machine à compteur :

The team broke down Mario’s possible path through a level into individual sections, each corresponding to a calculation instruction of the counting machine. For example, the counter is “incremented,” or increased, meaning an enemy spawns when Mario traverses a specific path. This corresponds to the increment function. Other paths, however, decrease the number of enemies (decrement), and still other areas can open a passage when there are no more enemies (jump-if-zero). If, at some point, the path to the goal opens for Mario in this way, the simulated computer model has entered a halt state.

Aussi dans l'émission de France Culture "La Science, CQFD" en diffusion au moment ou j'écris ces lignes Sommes-nous tous accros aux mythes sur le cerveau ?