Bon, "L'IA va remplacer les programmeurs", en pratique à court terme ça va être plutôt "Je ne sais pas programmer et l'IA m'a écrit mon projet, toi qui es programmeur, peux-tu le faire marcher ? Ça te prendra 5 mn je pense, tout est prêt". C'est juste la version moderne de "Toi qui es un dieu de l'informatique, tu peux dépanner mon Windows ? Trois fois rien pour toi sûrement".
Conversation
Notices
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Monday, 04-Mar-2024 22:39:58 JST 
Pierre Beyssac ✅
- Haelwenn /элвэн/ :triskell: likes this.
-
Embed this notice
Thierry 🅰️🕒 (thierrya@mastodon.top)'s status on Monday, 04-Mar-2024 22:41:29 JST 
Thierry 🅰️🕒
@pb LOL.
Un collègue (très jeune, tres loin) m'a demandé de valider sa PR : il a fait une fonction
-sans entree
-sans sortie
-avec des strings hardcodees
-dont le code ne faisait fonctionnement rien.
-sans test unitaire
😵💫
Je demande d'expliquer comment il a testé... il n'a pas testé parceque python ne marche pas sur son PC.
🤯
100% sur que c'était du code chatgpt.Haelwenn /элвэн/ :triskell: likes this. -
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Monday, 04-Mar-2024 22:42:04 JST
Pierre Beyssac ✅
@thierrya ça va devenir une plaie... au moins lorsque les gens se font faire des images, ils ne vont pas casser les pieds d'un graphiste pour valider ça après.
Haelwenn /элвэн/ :triskell: likes this. -
Embed this notice
Haelwenn /элвэн/ :triskell: (lanodan@queer.hacktivis.me)'s status on Monday, 04-Mar-2024 22:43:46 JST 
Haelwenn /элвэн/ :triskell:
@bortzmeyer @pb Ça m'a fait peur l'URL de l'article j'ai cru que ça parlerais de Python 2.4. :D -
Embed this notice
Stéphane Bortzmeyer (bortzmeyer@mastodon.gougere.fr)'s status on Monday, 04-Mar-2024 22:43:48 JST 
Stéphane Bortzmeyer
@pb Le vrai code est là, pour comparer : https://www.afnic.fr/observatoire-ressources/papier-expert/utiliser-lapi-de-fr-en-python-2-4/
-
Embed this notice
Stéphane Bortzmeyer (bortzmeyer@mastodon.gougere.fr)'s status on Monday, 04-Mar-2024 22:43:49 JST
Stéphane Bortzmeyer
@pb J'ai un cas très rigolo ici où il a été incapable de dire qu'il ne savait pas (problème récurrent avec les LLM) et a inventé quelque chose qui n'est pas complètement faux (toutes les API REST se ressemblent) mais quand même faux.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Monday, 04-Mar-2024 22:56:58 JST 
Albert ARIBAUD ✎
Les IA n'arrivent ps à générer du code qui fonctionne, donc elles n'ont aucune chance de générer un code qui fonctionne mieux, ni demain, ni après-demain, ni dans un an, ni dans dix.
(et je ne creuse même pas la question de ce qu'est, au juste, un code optimisé...)
-
Embed this notice
p4bl0p3rn0t (pablopernot@toot.portes-imaginaire.org)'s status on Monday, 04-Mar-2024 22:56:59 JST 
p4bl0p3rn0t
@pb @mmu_man @thierrya oui mais par exemple sur la problématique d'optimisation : ressource taille vitesse ( et tous les bloated soft) demander dans 30 ans a une ia : allez hop optimise (et peu importe si son code est lisible je veux dire elle peut lire les js énormes et balancer un bloc en assembleur en sortie. pas demain mais après-demain ?
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Monday, 04-Mar-2024 22:57:01 JST
Pierre Beyssac ✅
@pablopernot @mmu_man @thierrya ça fait 40 ans qu'on a ce genre de promesse tous les 10 ans. En fait le problème de fond est l'écriture de spécs précises. Et ce qui fait foi à la fin, c'est le code. D'expérience ça va plus vite dans pas mal de cas de coder soi-même un truc pointu que de chercher à expliquer la même chose en langage naturel à une machine et à boucler n fois en essai/erreur. Mais la machine peut aider.
-
Embed this notice
p4bl0p3rn0t (pablopernot@toot.portes-imaginaire.org)'s status on Monday, 04-Mar-2024 22:57:02 JST
p4bl0p3rn0t
@pb @mmu_man @thierrya aujourd'hui mais demain dans 10/20/30 ans ?
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Monday, 04-Mar-2024 22:57:03 JST
Pierre Beyssac ✅
@mmu_man @thierrya oui ça dénote une méconnaissance complète de nos métiers.
-
Embed this notice
mmu_man (mmu_man@m.g3l.org)'s status on Monday, 04-Mar-2024 22:57:05 JST 
mmu_man
@pb @thierrya va falloir leur facturer :
- le temps de débogage,
- la rédaction du cahier des charges,
- le temps de réécriture paske que c'est trop bogué. -
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Monday, 04-Mar-2024 23:04:10 JST
Albert ARIBAUD ✎
Et plus on s'éloigne des "hello world" en Python, plus les résultats sont faux et moins le demandeur a de chances de le réaliser avant la catastrophe.
2 mots : "PGCD" et "Forth". :)
-
Embed this notice
Romain Mazière :verified: (rmaziere_85@mamot.fr)'s status on Monday, 04-Mar-2024 23:04:17 JST 
Romain Mazière :verified:
@pb @bortzmeyer
J'ai eu la même expérience, où il a inventé une fonction Postgis pour répondre à ma demande via une requête SQL simple. -
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Monday, 04-Mar-2024 23:04:19 JST
Pierre Beyssac ✅
@bortzmeyer ah oui strictement rien à voir en fait :). chatgpt hallucine des API quand ça l'arrange, c'est marrant. J'ai déjà eu un cas de question ferroviaire complexe sur comment trouver une gare dans l'API IDFM et il m'a juste inventé un appel d'API totalement inexistant mais qui donnait magiquement la réponse en 1 coup 🤣
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 00:52:31 JST
Albert ARIBAUD ✎
Et je peux témoigner de l'opposé.
En résumé : ce n'est pas impossible qu'une IA génère un code correct, mais ce n'est pas garanti.
Tu me diras, c'est pareil pour les humains...
... Sauf qu'un humain a conscience de lui-même, et une conscience aussi, que n'a pas une IA. Un humain qui en t'expliquant son code réalise qu'il est buggué te le dira et corrigera sans doute ; une IA ne réalisera rien ni pour un bug flagrant... ni pour un plus subtil.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 00:52:32 JST
Pierre Beyssac ✅
@aaribaud @pablopernot @mmu_man @thierrya si si, elles arrivent déjà à générer du code qui fonctionne, et cela de manière répétable, ça je peux en témoigner. Alors c'est encore limité mais c'est bien du code qui fonctionne. Par exemple tu peux demander un "snake" en Python.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 00:53:21 JST
Albert ARIBAUD ✎
Mauvaise approche. La bonne approche est de se demander comment diable elle y arriverait.
-
Embed this notice
p4bl0p3rn0t (pablopernot@toot.portes-imaginaire.org)'s status on Tuesday, 05-Mar-2024 00:53:22 JST
p4bl0p3rn0t
@aaribaud @pb @mmu_man @thierrya Je ne suis pas pour l'IA pour plein de raisons. Mais je vois mal comment elle ne va pas réussir à coder.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 00:56:20 JST
Albert ARIBAUD ✎
Non, elles n'y arrivent pas.
Il arrive qu'elles produisent ce qui ressemble à du code.
Nuance.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 00:56:21 JST
Pierre Beyssac ✅
@aaribaud @pablopernot @mmu_man @thierrya elle y arrive, donc cette question est caduque. Du coup tu peux te demander comment elle y arrive, à la place, mais même ça : est-ce que tu as besoin de te demander comment, toi, tu écris du code qui fonctionne, pour pouvoir en écrire ?
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 00:58:50 JST
Albert ARIBAUD ✎
"Je ne suis pas pour Space X pour plein de raisons. Mais je vois mal comment on n'arrivera pas un jour à aller en vacances sur la Lune."
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 01:25:04 JST
Albert ARIBAUD ✎
Donc tu dis qu'une IA produit toujours du code correct ?
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 01:25:06 JST
Pierre Beyssac ✅
@aaribaud @pablopernot @mmu_man @thierrya elles y arrivent et j'en témoigne. Tu peux le nier tant que tu veux et refuser d'appeler ça du code même si tu le souhaites, ça ne changera rien aux faits :)
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 01:27:06 JST
Albert ARIBAUD ✎
Ça a à voir, en ce que ça s'appuie sur la même erreur d'argumentation, sauf que j'appuie le trait un peu plus fort pour qu'on la voie bien.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 01:27:07 JST
Pierre Beyssac ✅
@aaribaud @pablopernot @mmu_man @thierrya rien à voir 😄
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 02:29:50 JST
Albert ARIBAUD ✎
@pb @pablopernot @mmu_man @thierrya
Tu as affirmé plusieurs fois que les IA arrivent à coder, en fournissant pour démonstration des exemples (dont, par conséquent, il faudrait généraliser).
J'ai donné des contre-exemples démontrant que non, les IA n'arrivent pas à coder.
Ergo, les IA n'arrivent pas à coder.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 02:29:52 JST
Pierre Beyssac ✅
@aaribaud @pablopernot @mmu_man @thierrya je ne sais pas s'il y a une erreur d'argumentation mais de fait l'IA arrive à coder, donc la phrase devient "Je ne suis pas pour l'IA pour plein de raisons, mais elle arrive déjà à coder", donc ça ne sert à rien de contrer l'affirmation initiale, elle est déjà réalisée.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:10:28 JST
Albert ARIBAUD ✎
@nitot @pb @pablopernot @mmu_man @thierrya
C'est un *énorme* "si", et il est aussi "probable" que la réécriture d'un code par une IA ne soit pas à fonctionnalité constante.
-
Embed this notice
Tristan Nitot✓ (nitot@framapiaf.org)'s status on Tuesday, 05-Mar-2024 03:10:29 JST 
Tristan Nitot✓
@pb en fait, si tu enseigne à une IA comment optimiser, ou au moins à repérer là où un système se traine, il est probable qu'elle sache le faire à terme. Et qu'elle sache réécrire le module coupable des plus gros ralentissements. Je ne l'ai encore jamais vu, mais j'intuite que ça puisse être possible. CC @pablopernot @mmu_man @aaribaud @thierrya
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:10:30 JST
Pierre Beyssac ✅
@pablopernot @mmu_man @aaribaud @thierrya vu que ça facilite le pissage de code, je doute que ça ait des effets en dé-bloatisation, au contraire.
Haelwenn /элвэн/ :triskell: likes this. -
Embed this notice
p4bl0p3rn0t (pablopernot@toot.portes-imaginaire.org)'s status on Tuesday, 05-Mar-2024 03:10:32 JST
p4bl0p3rn0t
@pb @mmu_man @aaribaud @thierrya oui mais c'est encore de "la puissance de calcul". d'où des différences dans 10, 20,30 ans etc si tant est que l'on a les ressources pour cette puissance et qu'on la désire. Mais si cette puissance réduit x1000 nos bloated software (trop lents trop lourds) ?
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:10:33 JST
Pierre Beyssac ✅
@mmu_man @aaribaud @pablopernot @thierrya après, bien évidemment, si ça atteint un certain niveau de complexité, ça peut aussi te générer des bugs aux limites = le truc va répondre à ta question directe mais va oublier les sujets à la marge... exemple typique, bugs type injection de code, parsing incorrect dans certains cas, débordements etc.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:10:35 JST
Pierre Beyssac ✅
@mmu_man @aaribaud @pablopernot @thierrya le sujet est classique, c'est comme un exercice scolaire, il est plus chronophage de faire un exercice que de corriger = lire si la solution est bonne quand on te la donne sur un plateau.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:10:36 JST
Pierre Beyssac ✅
@mmu_man @aaribaud @pablopernot @thierrya le sujet était : est-ce que ça peut écrire du code qui fonctionne, la réponse est : oui. Ensuite, j'ai déjà fait écrire du code Javascript ou même threads quand j'avais la flemme de chercher dans la doc, du code "standalone" ou pour intégrer dans un framework, les 2 marchent. Donc du code que je n'aurais pas su écrire au débotté (au sens comprendre) mais que je sais relire.
-
Embed this notice
mmu_man (mmu_man@m.g3l.org)'s status on Tuesday, 05-Mar-2024 03:10:37 JST
mmu_man
@pb @aaribaud @pablopernot @thierrya moi aussi je peux générer du code Perl qui fonctionne, ce n'est pas pour cela que je le comprends.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:17:56 JST
Albert ARIBAUD ✎
@pb @nitot @pablopernot @mmu_man @thierrya
Mais les humains sont conscients d'eux-mêmes et de leur faillibilité, ils peuvent analyser leurs propres raisonnement et apprendre de leurs erreurs, même tout seuls.
Les IA ne peuvent rien de ça.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:17:57 JST
Pierre Beyssac ✅
@aaribaud @nitot @pablopernot @mmu_man @thierrya oui enfin là on retombe dans des problématiques identiques à celles qu'on trouve avec des humains, qui eux aussi peuvent faire des erreurs (aka bugs).
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:19:22 JST
Albert ARIBAUD ✎
@romu700 @nitot @pb @pablopernot @mmu_man @thierrya
Ne pas voir pourquoi ce serait infaisable, pourquoi pas.
Mais j'aimerais bien qu'au moins une fois on m'explique, autrement qu'en généralités, pourquoi ce serait faisable.
-
Embed this notice
Romu (romu700@mastodon.social)'s status on Tuesday, 05-Mar-2024 03:19:23 JST 
Romu
@aaribaud @nitot @pb @pablopernot @mmu_man @thierrya
Pour que ça marche, faudrait entraîner #IA avec des exemples avant (pas optimisé)/après (optimisé).
Je vois pas bien pourquoi ce serait infaisable.
Moi qui débute en #javascript, j’ai tenté 3/4 fois de demander un coup de main à #ChatGPT, et à chaque fois il m’a fait de la merde que même moi j’ai su identifier.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:21:58 JST
Albert ARIBAUD ✎
@pb @nitot @pablopernot @mmu_man @thierrya
Tous les être humains sont capables de le faire.
A contrario, aucune IA n'en sera jamais capable.
En ce qui me concerne, ça clôt la discussion sur ce point.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:21:59 JST
Pierre Beyssac ✅
@aaribaud @nitot @pablopernot @mmu_man @thierrya ça dépend : tous les humains ne le font pas (manque de compétence, de recul, ça arrive). Mais je ne te parle pas de laisser l'IA tout faire toute seule, mais d'assister les humains qui, bien entendu, doivent être là pour vérifier. Tout comme ça se fait entre humains dans un environnement de travail.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:40:53 JST
Albert ARIBAUD ✎
@pb @nitot @pablopernot @mmu_man @thierrya
Dès qu'une IA présentera des signes de conscience de soi, je serai le premier à ne plus catégoriser les humains et ces IA.
En attendant, je suis catégorique, oui, parce que les IA et les humains *sont* dans des catégories distinctes.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:40:55 JST
Pierre Beyssac ✅
@aaribaud @nitot @pablopernot @mmu_man @thierrya tu es bien catégorique, trop je pense :)
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:42:11 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
Ah mais si, j'entends très bien que tu donnes des exemples d'IA ayant produit du code qui fonctionne. Mais ceci ne revient *pas* à dire qu'elles arrivent à produire du code, et quant à ne pas vouloir entendre, je ne crois pas t'avoir vu reconnaître les contre-exemples que j'ai donnés.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:42:12 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya je te l'ai expliqué plusieurs fois avec des cas réels mais tu ne veux pas l'entendre. J'ai l'impression que tu es dans le déni.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:51:26 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
Le point discuté n'est pas la capacité des *humains* à produire du code fiable, mais celles de *IA*.
Et actuellement, concrètement, le fait est démontré que non, les IA ne sont pas capables de produire du code fiable, puisqu'on a des exemples (en grand nombre) de code produit qui n'est pas fiable (voire, qui n'est simplement pas exécutable).
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:51:28 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya mais personne ne sait "dans tous les cas" produire du code qui fonctionne, c'est une impossibilité (puisqu'il existe des problèmes insolubles). Beaucoup de gens ne savent pas produire du code tout court, d'ailleurs. Donc ton critère est inadapté. Les contres-exemples ? Lesquels ? Un contre-exemple montre que ça ne marche pas toujours, mais personne ne dit le contraire, et idem humains.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 03:57:23 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
Pour la seconde fois, le sujet ici ce sont les IA, pas les humains.
La question, c'est "les IA peuvent-elles produire du code fiable", pas "les humains produisent-ils du code moins fiable que les IA".
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 03:57:25 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya les humains non plus ne savent pas produire du code garanti fiable, et pourtant on utilise des humains pour produire du code. Ce problème n'est ni nouveau ni bloquant. Et il va y avoir un gap dès à présent entre les dévs qui utilisent l'IA pour les assister au moins sur des cas ponctuels adaptés (il en existe), et ceux qui s'en dispensent.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 04:00:58 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
J'ai prétendu que tu avais affirmé la perfection des IA ? Non, n'est-ce pas ?
Et si on peut garder les termes méprisants, même hypothétiques, c'est mieux.
Et quant à l'utilité de l'IA, en matière de production de code, j'aimerais bien en avoir une *démonstration*, même pas parfaite, mais qui dépasse les anecdotes du genre "pour moi ça a marché".
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:00:59 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya personne (ou peut-être des clowns) ne prétend que l'IA est une solution parfaite, le vrai sujet est de savoir si elle est utile.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 04:02:24 JST
Albert ARIBAUD ✎
@pb romu700@mastodon.social @nitot @pablopernot @mmu_man @thierrya
Pour la troisième fois, la discussion ne porte pas sur les humains, ni sur les humains vs les IA, mais sur les IA. Seulement sur les IA.
Et concernant les IA, la discussion porte sur le fait de savoir si elles produisent du code fiable, pas si elles produisent du code plus fiable que celui des humains.
Laissons les humains hors de la question.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:02:25 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya je te montre que le problème existe que ce soit de l'IA ou de l'humain ; qu'on utilise par le fait des humains jusque là et qu'on obtient des résultats ; donc que ton objection ne tient pas pour refuser l'IA.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 04:07:03 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
Je ne râle pas, je conteste l'affirmation selon laquelle les IA sauraient générer du code fiable, et je le conteste par des contre-exemples qui démontrent largement mon propos.
Le reste de cette discussion, c'est toi qui ne reconnais (toujours) pas cette contestation et ces contre-exemples.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:07:04 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya tu ne prétends pas que l'IA est une solution parfaite et moi non plus donc je ne vois pas pourquoi tu râles. Mais bref. Quant à la démonstration, au sens où tu la demandes apparemment (formelle), elle n'existe pas, pas plus qu'une méthode générique pour prouver qu'un programme est correct. Problème aussi vieux que l'informatique. Pourtant on arrive à bosser comme ça (le monde est imparfait, il faut vivre avec).
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 04:08:54 JST
Albert ARIBAUD ✎
@pb @nitot @pablopernot @mmu_man @thierrya
Je ne tente de prouver qu'une chose, c'est qu'il est faux de dire que les IA savent générer du code fiable, et les contre-exemples que je donne font de ma tentative un succès.
Il n'y a pas à mêler les humains à une démonstration qui ne les concerne pas.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:08:56 JST
Pierre Beyssac ✅
@aaribaud @nitot @pablopernot @mmu_man @thierrya tu appliques à l'IA des critères plus sévères que ceux que tu appliques aux humains, afin de tenter de prouver son inadéquation là où les humains arrivent à gérer... mais du coup, ta démonstration dans ce cadre biaisé n'est pas complète.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 04:10:58 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
Merci pour le mépris à peine voilé, mais juste par curiosité : vas-tu, *enfin*, écrire noir sur blanc que non, les IA ne "savent" pas générer du code et que des contre-exemples le démontrent ? Ou devrai-je encore voir mes arguments ignorés ?
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:10:59 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya c'est pas très grave, chacun son trip, si tu ne veux pas t'en servir, ne t'en sers pas... d'autres s'en servent et en tirent de l'utilité :)
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 04:17:50 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
Le mépris voilà est dans le post en PJ.
Et là, je ne t'ai pas demandé une preuve formelle, je t'ai demandé reconnaître les contre-exemples que j'ai donnés montrant qu'une IA peut produire un code non fonctionnel, ou grossièrement faux faux, ou subtilement faux. Et tu ne l'as toujours pas fait.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:17:51 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya mais pardon c'est quoi cette réflexion, il n'y a aucun mépris, je dis juste que je ne suis pas en mesure de répondre à tes injonctions et demandes de preuve formelle, que ça ne m'empêche pas de dormir dans mon propre usage de l'IA, et que ta manière de poser le problème t'appartient mais ne me parle absolument pas, j'y suis hermétique :)
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 04:26:25 JST
Albert ARIBAUD ✎
@pb @romu700 @nitot @pablopernot @mmu_man @thierrya
(pour la Nième fois, la comparaison IA/humains n'est pas le sujet)
Une IA peut produire du code faux : bien, on progresse, il n'aura fallu que des dizaines de posts pour que ce point soit acquis.
Et si tu veux utiliser un IA pour produire ton code, libre à toi ; mais si tu dis publiquement qu'elle a appris à produire du code, attends-toi à être contesté et à juste titre.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:26:26 JST
Pierre Beyssac ✅
@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya une IA peut produire du code faux bien entendu, c'est une évidence... comme un humain... et les deux peuvent aussi produire du code correct. Et tu sur-lis dans mon message des intentions qui n'y sont pas. Je te dis juste : fais comme tu l'entends, et je fais comme je l'entends (aka let's agree to disagree), pas besoin d'en faire un drama.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 14:35:10 JST
Albert ARIBAUD ✎
Autrement dit, moins on met d'IA dans le mix, mieux c'est ? 😇
-
Embed this notice
Romu (romu700@mastodon.social)'s status on Tuesday, 05-Mar-2024 14:35:11 JST
Romu
@aaribaud @pb @nitot @pablopernot @mmu_man @thierrya
J'ai travaillé dans une boîte avec une techno basée sur le #ml
La clé c'est la contrainte. Plus on contraint l'IA, plus fort est le taux de réussite. C'est ce qu'on nomme les #RAG je crois avec les IA #LLM .
#ChatGPT et autre #Gemini sont bien trop généralistes pour être pleinement efficaces dans la production de code. Mais avec des bons #RAG, ça marchera, forcément. C'est une question de temps.
Pas sûr que ce soit une bonne nouvelle.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 14:44:12 JST
Albert ARIBAUD ✎
Quand je compare ces descriptions d'Oracle et d'Amazon, je vois d'un côté un descriptif clinique concis et de l'autre une invitation à pomper des (mes) données sans y avoir été autorisé, et du coup j'en retire le sentiment personnel que le bullshit se trouverait plutôt du côté d'Amazon.
-
Embed this notice
Romu (romu700@mastodon.social)'s status on Tuesday, 05-Mar-2024 14:44:13 JST
Romu
@pb @aaribaud @nitot @pablopernot @mmu_man @thierrya
Merci. Tiré sur site de Oracle :
"La RAG fournit un moyen d'optimiser le résultat d'un LLM avec des informations ciblées, sans modifier le modèle sous-jacent lui-même".
On est bien sur de la contrainte appliquée sur les résultats qui sortent de l'IA, non ? Ou alors un truc m'échappe.
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 14:44:13 JST
Pierre Beyssac ✅
@romu700 @aaribaud @nitot @pablopernot @mmu_man @thierrya euh. c'est une page Oracle donc du bullshit Oracle pas clair, tout embrouiller est leur cœur de métier. Voici une explication plus claire chez Amazon :
-
Embed this notice
Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 14:44:14 JST
Pierre Beyssac ✅
@romu700 @aaribaud @nitot @pablopernot @mmu_man @thierrya non, le RAG c'est la récupération "temps réel" d'informations. Par exemple un plug-in pour aller chercher une page web au moment de la consultation, ou accéder une API, etc, et digérer le résultat avant de le présenter à l'utilisateur.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 15:28:00 JST
Albert ARIBAUD ✎
@romu700 @pb @nitot @pablopernot @mmu_man @thierrya
J'ai vu passer un paquet de technos qui "allaient tout révolutionner"... Les IA (enfin, les IA génératives à base de LLM puisque c'est de ça qu'il s'agit ici) feront pareilet ne survivront que là où elles sont efficaces sans trop de contrainte--par exemple, produire un texte "dans le style de" (et encore, une relecture sera toujours salutaire). L'IA généraliste constamment et suffisamment pertinente, c'est juste un rêve. [1/2]
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 15:32:40 JST
Albert ARIBAUD ✎
@romu700 @pb @nitot @pablopernot @mmu_man @thierrya [2/2] et l'idée de spécialiser une IA générative pour la rendre plus pertinente ne fonctionnera pas non plus, pour au moins une raison : une IA n'est essentiellement qu'un échantillonneur statistique glorifié.
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 15:36:37 JST
Albert ARIBAUD ✎
Je parie que si je demande une définition de ce "on" et une preuve de cette "envie d'aimer", ce sera de la véhémence.
-
Embed this notice
p4bl0p3rn0t (pablopernot@toot.portes-imaginaire.org)'s status on Tuesday, 05-Mar-2024 15:36:39 JST
p4bl0p3rn0t
@aaribaud @romu700 @pb @nitot @mmu_man @thierrya
On a compris ton propos. Pas sûr que tu l'aides avec tant de véhémence. On a juste envie d'aimer l'IA maintenant alors que ce n'était pas le cas avant !
-
Embed this notice
Albert ARIBAUD ✎ (aaribaud@mastodon.art)'s status on Tuesday, 05-Mar-2024 16:30:11 JST
Albert ARIBAUD ✎
En quoi exactement mon propos serait-il véhément ?
-
Embed this notice
p4bl0p3rn0t (pablopernot@toot.portes-imaginaire.org)'s status on Tuesday, 05-Mar-2024 16:30:13 JST
p4bl0p3rn0t
@aaribaud @romu700 @pb @nitot @mmu_man @thierrya
JE j'ai envie de soutenir l'IA suite à ta véhémence. Ton propos véhément ne fait que brouiller ton message. On dirait moi.
-
Embed this notice
mmu_man (mmu_man@m.g3l.org)'s status on Tuesday, 05-Mar-2024 17:58:05 JST
mmu_man
@romu700 @aaribaud @pb @nitot @pablopernot @thierrya sauf que les contraintes complètement définies ça s'appelle un cahier des charges, et c'est un métier de le rédiger.
Haelwenn /элвэн/ :triskell: likes this.
All GNU social JP content and data are available under the