Steam n'est pas tenu de garder une copie justement sur ce genre de cas éventuels en tant que distributeur ?
Après pour la justice, il est possible que l'intention soit juste une donnée comme une autre, mais que si c'est illégal que ce soit un troll ou pas ça ne passe pas. Tu peux pas tuer quelqu'un et t'en tirer en disant "troll, perché".
Là ou c'est intéressant c'est quand on fait de la preuve de programme, ça élimine carrément (presque) certaines classes de failles, ce que Rust fait en partie.
La preuve formelle de programme c'est traditionnellement un gros effort et c'est très peu fait. Là quelqu'un de compétent peut faire ce qui aurait pris énormément de temps pour un programme non trivial, un compilateur, et prouver formellement une partie significative, en étant aussi assistant de l'IA que l'inverse. C'est assez remarquable et ça va bien plus loin que la chasse aux failles.
Rust on doit être pas loin d'en parler autant qu'au pic de la "hype". L'IA … on risque de n'en plus entendre parler parce que c'est devenu naturel et très facile de causer avec ses appareils. C'est déjà le cas pour plein de gens.
Mais c'est tellement une étiquette qui recouvre des réalités très différentes que c'est dur d'en parler comme ça en gros, et c'est dommageable d'ailleurs. Le malheur est qu'on a des modèles à "tout" faire qui en pratique sont hyper couteux pour certaines tâches, très mauvais pour d'autres, et appropriés à quelques trucs si on les utilisait avec parcimonie.
(suffit de regarder les tags respectifs. Pour intelligence_artificielle on en est à de l'ordre de plusieurs contenus … par jour. Ce n'est probablement jamais arrivé pour Rust ou on en est à plusieurs contenus par mois au mieux à l'heure actuelle)
Ah oui ! Alors quelques commentaires sporadique ici … comment dire, c'est des ordres de grandeurs moins importants que les contenus principaux sur les IAgen qu'on a eu ici. Je pense même que les détracteurs de Rust ont été plus vocaux et trolleurs ici que la "hype", d'une manière générale. Après certains aiment se titiller, c'est sûr.
Le moment de se rappeler que dans la SF il n'y a pas que des rêves de futur utopiques mais aussi des tonnes de dystopies cyberpunk avec des mégacorporations qui pillent la planète.
Pour ma part, je pense qu'il y a assez sur notre planète pour en prendre plein les yeux et s'épargner un voyage probablement pas très confortable vers des mondes lointains et très probablement morts. Il y a aussi de la SF pour une Terre pleine de vie et d'harmonie cela dit …
Elon Musk aussi a lu de la SF. Il en a tiré la conclusion qu'il devait construire le Torment Nexus, faut croire.
C'était supposé être un "argument de vente" "Rewrite it in Rust" ? J'y vois plus une tentative de montrer que c'est un langage viable et utile dans un monde ou certains dev systèmes sont accrochés au C comme les moules< à la tribune.
(En tout cas il est pas trop question de capitalisation boursière à 1000 milliards pour Rust … de ce point de vue là c'est vraiment incomparable vu que pas de valorisation boursière du tout)
L'IPBES essaye d'exister mais effectivement c'est beaucoup plus dur de faire passer le message que la biodiversité, c'est important aussi voir vital.
Mais quand même, question extractivisme, la décarbonation ça a un impact positif. Certes on a besoin de lithium ou de cobalt ou de je ne sais quoi … mais globalement on va moins en extraire que de pétrole. Le pétrole c'est une course qui n'a de fin que quand il n'y a plus de pétrole, et on en a besoin et on en crâme plein à chaque kilomètre. Un plein à chaque pleins de cramé … c'est gigantesque. C'est une part énorme du trafic maritime, tu enlèves tous les pétroliers des océans ça fait de l'air.
Le lithium … Il tient de l'ordre de la décennie ou plus. Il reste là, et il est plus simple de le récupérer dans les batteries pour en fabriquer de nouvelles que d'aller creuser de nouveaux gisements. C'est pas du tout la même histoire.
Et les gens ont jugés que c'était pas du tout idéal voire l'enfer. Les mots clés permettent d'écrire des fonctions comme en procédural en plus lisible et d'applatir le truc sans profusion de callback explicite ou de fonction anonyme.
J'ai posté un lien sur une vidéo yt à l'origine, lui même HS. La note est en positif pour l'instant. J'ai pris un proxy web individious pour encapsuler ça, ça apporte aussi son lot de problèmes aussi, cf. les commentaires. Ça partait pas gagnant sur un ensemble de critères d'ici pourtant … Je serai bien en peine de dire à quel point chacun des critères joue ou pas, bien que postant ici depuis longtemps, c'est parfois un peu la loterie en apparence.
J'en doute pas et j'ai moi même probablement relayé des vidéos de sa chaîne ici avant, c'était juste pour rebondir sur le "et personne n'en parle" un peu légèrement.
Ah oui c'est ce que je voulais mettre pardon. (On peut mettre un exposant sans tex, ex avec la même syntaxe. Ça à l'avantage d'être accessible pour les lecteurs d'écrans)
Une fonction linéaire à une(dé) croissance constante. (2x)'=2 c'est la pente de la droite.
Pour une parabole, x2 par exemple, la dérivée est 2x et est donc une droite croissante tout le temps … Ca croit de plus en plus vite.
Exponentiel, ca (dé)croit plus vite que n'importe quel polynôme. Pour ex la dérivée est égale à x en tout point. À un milliard de milliard la pente de la fonction carrée est 2 milliards de milliards. Pour la fonction exp … La pente est gigantesque ment plus importante que ce nombre gigantesque.
Si les animaux prennent soin de leur terrier comme on fait le ménage dans nos maisons, c'est que c'est pas uniquement une question de confort et qu'effectivement c'est lié à la survie. Éviter de choper des maladies en ne laissant pas de la bouffe ou des restes putréfier n'importe comment par exemple. Donc … c'est utile pour subsister.
Le barkverse va conquérir le monde à une vitesse exponentielle, quand il existera, envoyez les milliards ! On va commencer par les salons de toilettages.
[^] # Re: Dommage pour la préservation du JV
Posté par thoasm . En réponse au lien un dev troll les joueurs racistes, les joueurs anti-racistes et Steam. Évalué à 4 (+1/-0). Dernière modification le 10 juin 2026 à 20:32.
Steam n'est pas tenu de garder une copie justement sur ce genre de cas éventuels en tant que distributeur ?
Après pour la justice, il est possible que l'intention soit juste une donnée comme une autre, mais que si c'est illégal que ce soit un troll ou pas ça ne passe pas. Tu peux pas tuer quelqu'un et t'en tirer en disant "troll, perché".
[^] # Re: Faut t'habituer
Posté par thoasm . En réponse au journal Les LLM: Langueur, Lassitude et Morosité. Évalué à 1 (+0/-2).
Là ou c'est intéressant c'est quand on fait de la preuve de programme, ça élimine carrément (presque) certaines classes de failles, ce que Rust fait en partie.
C'est peut être passé un peu inaperçu mais, voir ce lien … https://linuxfr.org/users/thoasm/liens/creation-supervisee-d-un-compilateur-prouve-formellement-par-de-l-iagen
La preuve formelle de programme c'est traditionnellement un gros effort et c'est très peu fait. Là quelqu'un de compétent peut faire ce qui aurait pris énormément de temps pour un programme non trivial, un compilateur, et prouver formellement une partie significative, en étant aussi assistant de l'IA que l'inverse. C'est assez remarquable et ça va bien plus loin que la chasse aux failles.
[^] # Re: 🤪
Posté par thoasm . En réponse au journal Les LLM: Langueur, Lassitude et Morosité. Évalué à 3 (+0/-0).
Rust on doit être pas loin d'en parler autant qu'au pic de la "hype". L'IA … on risque de n'en plus entendre parler parce que c'est devenu naturel et très facile de causer avec ses appareils. C'est déjà le cas pour plein de gens.
Mais c'est tellement une étiquette qui recouvre des réalités très différentes que c'est dur d'en parler comme ça en gros, et c'est dommageable d'ailleurs. Le malheur est qu'on a des modèles à "tout" faire qui en pratique sont hyper couteux pour certaines tâches, très mauvais pour d'autres, et appropriés à quelques trucs si on les utilisait avec parcimonie.
[^] # Re: 🤪
Posté par thoasm . En réponse au journal Les LLM: Langueur, Lassitude et Morosité. Évalué à 6 (+3/-0).
(suffit de regarder les tags respectifs. Pour intelligence_artificielle on en est à de l'ordre de plusieurs contenus … par jour. Ce n'est probablement jamais arrivé pour Rust ou on en est à plusieurs contenus par mois au mieux à l'heure actuelle)
[^] # Re: 🤪
Posté par thoasm . En réponse au journal Les LLM: Langueur, Lassitude et Morosité. Évalué à 3 (+0/-0).
Ah oui ! Alors quelques commentaires sporadique ici … comment dire, c'est des ordres de grandeurs moins importants que les contenus principaux sur les IAgen qu'on a eu ici. Je pense même que les détracteurs de Rust ont été plus vocaux et trolleurs ici que la "hype", d'une manière générale. Après certains aiment se titiller, c'est sûr.
[^] # Re: inutile, OK, mais c'est un peu court, en somme.
Posté par thoasm . En réponse au lien RapidDestroyer (Thales) : Cette arme française détruit 80 drones en un seul tir pour seulement 10 centimes; et ça pourrait tout changer. Évalué à 4 (+2/-1).
Problème relayé sur la tribune de rédaction : https://linuxfr.org/redaction
[^] # Re: Pour le gratin dauphinois
Posté par thoasm . En réponse au journal Les LLM: Langueur, Lassitude et Morosité. Évalué à 6 (+3/-0).
Pourquoi vous parlez au passé ? Elon le promet toujours : https://linuxfr.org/users/alimentaire/liens/les-douze-commandements-d-elon-musk
Le moment de se rappeler que dans la SF il n'y a pas que des rêves de futur utopiques mais aussi des tonnes de dystopies cyberpunk avec des mégacorporations qui pillent la planète.
Pour ma part, je pense qu'il y a assez sur notre planète pour en prendre plein les yeux et s'épargner un voyage probablement pas très confortable vers des mondes lointains et très probablement morts. Il y a aussi de la SF pour une Terre pleine de vie et d'harmonie cela dit …
Elon Musk aussi a lu de la SF. Il en a tiré la conclusion qu'il devait construire le Torment Nexus, faut croire.
[^] # Re: 🤪
Posté par thoasm . En réponse au journal Les LLM: Langueur, Lassitude et Morosité. Évalué à 5 (+2/-0). Dernière modification le 09 juin 2026 à 18:32.
C'était supposé être un "argument de vente" "Rewrite it in Rust" ? J'y vois plus une tentative de montrer que c'est un langage viable et utile dans un monde ou certains dev systèmes sont accrochés au C comme les moules< à la tribune.
(En tout cas il est pas trop question de capitalisation boursière à 1000 milliards pour Rust … de ce point de vue là c'est vraiment incomparable vu que pas de valorisation boursière du tout)
[^] # Re: Oh mince alors il m'a eu...
Posté par thoasm . En réponse au journal CPU Ex0243 lost + found (mai 2026). Évalué à 5 (+2/-0).
SamWang< c'est toi ? Si c'est toi, frappe trois coups.
[^] # Re: Ah si ici on a relayé (on=je)
Posté par thoasm . En réponse au lien Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) [YT][@MonsieurPhi]. Évalué à 3 (+0/-0).
Oui j'ai mis le lien dans mon commentaire précédent. Et c'est l'article annoncé dans le lien du fil de mon premier commentaire, je crois ;)
[^] # Re: Et c’est là que…
Posté par thoasm . En réponse au lien Pourquoi la transition explose dans les pays émergents ?. Évalué à 5 (+2/-0).
L'IPBES essaye d'exister mais effectivement c'est beaucoup plus dur de faire passer le message que la biodiversité, c'est important aussi voir vital.
Mais quand même, question extractivisme, la décarbonation ça a un impact positif. Certes on a besoin de lithium ou de cobalt ou de je ne sais quoi … mais globalement on va moins en extraire que de pétrole. Le pétrole c'est une course qui n'a de fin que quand il n'y a plus de pétrole, et on en a besoin et on en crâme plein à chaque kilomètre. Un plein à chaque pleins de cramé … c'est gigantesque. C'est une part énorme du trafic maritime, tu enlèves tous les pétroliers des océans ça fait de l'air.
Le lithium … Il tient de l'ordre de la décennie ou plus. Il reste là, et il est plus simple de le récupérer dans les batteries pour en fabriquer de nouvelles que d'aller creuser de nouveaux gisements. C'est pas du tout la même histoire.
[^] # Re: Ah si ici on a relayé (on=je)
Posté par thoasm . En réponse au lien Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) [YT][@MonsieurPhi]. Évalué à 4 (+1/-0).
Et aussi un billet de David Madore, mathématicien de son état : http://www.madore.org/~david/weblog/d.2026-05-22.2853.ai-and-math.html#d.2026-05-22.2853
Et en commentaire du fil sur l'annonce de la vidéo par Thibault sur bsky, ça s'échauffe un peu : https://skyview.social/?url=https%3A%2F%2Fbsky.app%2Fprofile%2Fmonsieurphi.bsky.social%2Fpost%2F3mnoubixzs223&viewtype=tree
[^] # Re: assistance
Posté par thoasm . En réponse au journal L'IA et le mythe du combat ultime. Évalué à 3 (+0/-0).
Sur un bépo c'est altgr-1 en tout cas !
[^] # Re: Ah si ici on a relayé (on=je)
Posté par thoasm . En réponse au lien Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) [YT][@MonsieurPhi]. Évalué à 4 (+1/-0).
Sur le "et personne n'en parle", il semble que ce soit abordé au moins par "Le monde" dans la presse avec les articles de David Larousserie : https://bsky.app/profile/occam212.bsky.social/post/3mnrk6cbsqk2b (mention sur le réseau bsky) lien vers l'article "ce que l'ia a révolutionné dans la recherche scientifique
[^] # Re: no future
Posté par thoasm . En réponse au journal Pourquoi le modèle de concurrence de Node.js est bien. Évalué à 4 (+1/-0).
Avant il y avait des chaînes de
(fonction_qui_retourne_une_promise_t).then(fonction.then() …).then() …
Et les gens ont jugés que c'était pas du tout idéal voire l'enfer. Les mots clés permettent d'écrire des fonctions comme en procédural en plus lisible et d'applatir le truc sans profusion de callback explicite ou de fonction anonyme.
[^] # Re: Ah si ici on a relayé (on=je)
Posté par thoasm . En réponse au lien Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) [YT][@MonsieurPhi]. Évalué à 3 (+0/-0).
J'ai posté un lien sur une vidéo yt à l'origine, lui même HS. La note est en positif pour l'instant. J'ai pris un proxy web individious pour encapsuler ça, ça apporte aussi son lot de problèmes aussi, cf. les commentaires. Ça partait pas gagnant sur un ensemble de critères d'ici pourtant … Je serai bien en peine de dire à quel point chacun des critères joue ou pas, bien que postant ici depuis longtemps, c'est parfois un peu la loterie en apparence.
https://linuxfr.org/users/thoasm/liens/pourquoi-la-transition-explose-dans-les-pays-emergents
[^] # Re: Ah si ici on a relayé (on=je)
Posté par thoasm . En réponse au lien Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) [YT][@MonsieurPhi]. Évalué à 3 (+0/-0).
J'en doute pas et j'ai moi même probablement relayé des vidéos de sa chaîne ici avant, c'était juste pour rebondir sur le "et personne n'en parle" un peu légèrement.
Sur les objectifs de déploiements de l'IA je pose la question des impacts carbone et de la justification de déploiement par les impacts positifs projetés par certains qui pourraient aller jusqu'à … un bilan carbone négatif, en comptant les optimisation d'autres trucs : https://linuxfr.org/users/thoasm/journaux/gains-potentiels-de-l-ia-en-terme-d-optimisation-energetique-et-consommation-d-energie
Mais personne n'a vraiment répondu sur "comment" exactement mettre des datacenter partout était nécessaire pour optimiser les processus industriels.
[^] # Re: You châle note passe
Posté par thoasm . En réponse au lien Pourquoi la transition explose dans les pays émergents ?. Évalué à 3 (+0/-0).
Je passe Gandalf avec Firefox. Puis j'ai "la vidéo n'a pas pu être chargée", mais en utilisant le lien pour recharger la page, ça marche.
À défaut le lien Youtube original : https://www.youtube.com/watch?v=AaREEl7BE1I
[^] # Re: Croissance exponentielle
Posté par thoasm . En réponse au journal "comment l'IA va impacter l'industrie cyber". Évalué à 3 (+0/-0).
Ah oui c'est ce que je voulais mettre pardon. (On peut mettre un exposant sans tex, ex avec la même syntaxe. Ça à l'avantage d'être accessible pour les lecteurs d'écrans)
# Ah si ici on a relayé (on=je)
Posté par thoasm . En réponse au lien Une IA vient de faire une découverte mathématique majeure (et personne n'en parle) [YT][@MonsieurPhi]. Évalué à 8 (+5/-0).
Bon certes ca n'a pas fait causer :) https://linuxfr.org/users/thoasm/liens/une-ia-resoud-un-probleme-ouvert-d-erdos-celebre-commentaire-de-matheux d'ailleurs tu as commenté. Je crois qu'il y a un autre lien sur l'IA mathématicienne ? mais je l'ai pas lu celui là.
[^] # Re: Croissance exponentielle
Posté par thoasm . En réponse au journal "comment l'IA va impacter l'industrie cyber". Évalué à 4 (+1/-0).
Une fonction linéaire à une(dé) croissance constante. (2x)'=2 c'est la pente de la droite.
Pour une parabole, x2 par exemple, la dérivée est 2x et est donc une droite croissante tout le temps … Ca croit de plus en plus vite.
Exponentiel, ca (dé)croit plus vite que n'importe quel polynôme. Pour ex la dérivée est égale à x en tout point. À un milliard de milliard la pente de la fonction carrée est 2 milliards de milliards. Pour la fonction exp … La pente est gigantesque ment plus importante que ce nombre gigantesque.
[^] # Re: Croissance exponentielle
Posté par thoasm . En réponse au journal "comment l'IA va impacter l'industrie cyber". Évalué à 9 (+6/-0).
Qui sont tout droit des archives ? Pompidou président !
[^] # Re: Et le site web ?
Posté par thoasm . En réponse au journal J'ai testé pour vous : le bark coding. Évalué à 4 (+1/-0).
Pour faire la guerre aux bars à chats
[^] # Re: Spéculations
Posté par thoasm . En réponse au journal Gains potentiels de l'IA en terme d'optimisation énergétique, et consommation d'énergie. Évalué à 3 (+0/-0).
Si les animaux prennent soin de leur terrier comme on fait le ménage dans nos maisons, c'est que c'est pas uniquement une question de confort et qu'effectivement c'est lié à la survie. Éviter de choper des maladies en ne laissant pas de la bouffe ou des restes putréfier n'importe comment par exemple. Donc … c'est utile pour subsister.
[^] # Re: Et le site web ?
Posté par thoasm . En réponse au journal J'ai testé pour vous : le bark coding. Évalué à 4 (+1/-0).
Le barkverse va conquérir le monde à une vitesse exponentielle, quand il existera, envoyez les milliards ! On va commencer par les salons de toilettages.