Tu n'es pas devant un groupe d'étudiant ! On discute de manière plus ou moins légère ou informelle.
Me suis fait grillé, oui je suis prof d'IA…
J'espère avoir été courtois en tout cas c'était mon intention
Mais y a-t-il de "l'intelligence" dans la génération ?
Je sais pas définir Intelligence
Le problème résolu est fixé à l'avance, et ne varie jamais.
Justement si, il varie, c'est peut être même la définition de modèle génératif . Le modèle te donne des réponses différentes dans des conditions identiques.
Là dans l'exemple, à chaque fois que tu relances, çà te sort un visage différent.
C'est plus ou moins le même objectif qu'un moteur d'aléa mais au lieu de te sortir un nombre entre 2 bornes ou suivant une loi normale çà te sort un visage selon la loi des visages (qu'il a appris).
Mais si j'ai bien compris c'est les même modèles qui font de la traduction et de la génération de texte, dans plusieurs langues.
Non là l'exemple porte explicitement sur de la traduction d'une langue naturelle vers une langue formelle. Le fait d'utiliser un modèle génératif pour aller vers une langue formelle est même assez contre-productif de premier abord. Dans un second abord, on suppose que çà marche très bien parce que ChatGPT est capable de construire une très bonne représentation du prompt et du coup çà facilite la production du SQL.
Tu sais prolog n’était pas en soi le propos de ma réponse mais bien faire réfléchir sur la notion d’IA.
Tu dis:
L'IA générative actuelle est imbattable en terme de facilité de formulation, elle peut répondre à des prompts formulés en langue naturelle, résoudre des problèmes pour de vrai, mais on perd l'exactitude de l'IA symbolique.
Attention, le fait que le conditionnement soit un prompt formulé en langue naturelle ce n’est pas çà qui fait que l’IA est générative. Il existe des IA génératives sans prompt de ce type (juste un GAN appris sur des visages sans étiquette par exemple), et des conditionnements avec prompt sans IA générative (traduction de langue naturelle vers SQL par exemple).
J’ai jamais écrit de moteur d’inférence prolog. Du coup quand je fais un programme en prolog je suis juste utilisateur ?
Le problème est que la définition de l’IA est très floue.
De premier abord, on pourrait considérer que l’IA c’est un dispositif qui montre un comportement attribué habituellement à être intelligent ou avec capacité cognitive élevé. Cependant, cette définition est super dépendante du contexte culturel et technique. Relativement à l’état du savoir de l’époque, la Pascaline c’est de l’IA.
Dans un second temps, on pourrait dire qu’une IA, c’est un dispositif qui résout un problème pour lequel le concepteur n’a pas explicitement programmé la solution. Çà prend à la fois en compte les IA dîtes symboliques et l’apprentissage automatique.
Mais là aussi çà dépend du contexte technique et culturel cf notre discussion sur le HTML. Si tu présentais le HTML et le moteur de rendu des navigateurs dans les années 80, ca aurait clairement été pris pour de l’IA. Aussi bien sur les aspects description du problème par un langage déclaratif et sur la résolution, le rendu de la page, par des techniques de recherche opérationnelle.
Le programmeur n’écrit pas une procédure qui résout de manière explicite le problème, notamment grâce à :
- programmation déclarative (oui comme prolog)
- problème du bin packing pour rendre des éléments 2D dans une fenêtre
Vraiment sans humour faire de l’HTML c’est faire de l’IA.
Il y a très longtemps, Radio France publiait la liste des flux de manière publique (publier) et explicite sur leur site , il y avait même des flux ogg.
Puis, ils ont commencé à mettre les flux dans un pdf non convertible en m3u/plist sans grosse intervention manuelle.
Puis, ils ont enlevé le pdf et il n'y avait plus aucune info officielle sur les flux.
Tout redirigea alors vers soit leur appli soit le site web.
Pour les podcasts, idem le service est moins bon avec le flux rss: moins de podcast, moins d'épisodes disponibles, de la pub ciblée (au moins géographiquement)…
Tout pousse vers leur appli … plein de trackers.
PS Je crois qu'il y a moyen d'attaquer directement le fichier MP3 pour enlever la pub, ce sont deux fichiers concaténés et le split doit être facile à repérer.
Alors la Super Cassette Vision de Yeno (France) ou Epoch (Japon) c’est encore moins juste 128 octets. Et pourtant de très bon jeux comme le premier jeu vidéo Dragon Ball : https://youtu.be/5e8Xbx5JG7Q
Est-ce que vous savez s’il est possible de recevoir un flux ac3/dts multicanal sur une entrée toslink et de sortir en 4.0 sur deux sorties LPCM toslink stereo ?
(pour aller vers deux DAC dans une même pièce)
Oui mais rien ne l'oblige et rien ne le standardise.
Essaye de faire un latex vers odt/html pour voir.
Il faudrait vraiment une séparation à la XML/CSS mais humainement écrivable pour la partie structure, pas forcément dans 2 fichiers mais dans 2 sections séparées, et qu'on ne puisse faire de modification de style via des tags.
En effet, mise en gras c'est du style alors que mise en avant c'est de la structure.
Dans l'exemple, on voit beaucoup de mise en gras et pas beaucoup de mise en avant
Juste à première vue dans le même fichier source, il y a styles et structures de mélanger.
Ce qui était la plaie pour traiter automatiquement du latex.
Pareil, çà fait bien 4 ans que les flux audio (mp3,aac,…) ne sont plus publiés de manière explicite: il faut faire de l'archéologie avec le debugger de firefox pour les récupérer.
Ca faisait bien 10 ans déjà quand ils étaient publiés que c'était dans un pdf inexploitable de manière automatique.
Ça ferait quoi si on ne pouvait recevoir la radio X que sur un poste de radio de la marque X ? Ben c'est pareil avec les applications exclusives.
VLC pourtant marche très bien sur android/iOS !
A noter pour les développeurs les flux sont dispos de manière automatisable sur wiki data. Par exemple pour France Culture: https://www.wikidata.org/wiki/Q19908
Et ça fait quelques temps que les adresses des flux audios ne sont plus publiques.
Depuis déjà quelques années ils étaient uniquement disponibles dans un pdf dans les FAQ, probablement pour éviter un traitement automatique. Maintenant ils sont introuvables sans faire de l'archéologie dans le HTML du direct radio.
Sauf erreur de ma part, l'attestation ne précise ni le lieu ni la date du trajet.
On doit indiquer le lieu et la date de la signature ce qui n'est pas la même chose.
Pour ma part, j'ai préparé deux attestations papiers signées aujourd'hui: une pour les courses, une pour courir et promener le chien. Je ne compte pas les rééditer les jours à venir.
Vous vous imaginez les travailleurs indispensables imprimer un papier tous les jours ? non je ne pense vraiment pas.
Ce musée combine à la fois une superbe collection d'instruments de musique (ne pas manquer les instruments mécaniques / électromécanique et synthés aux sous-sols, ainsi que les protos de saxophones (oui Adolphe Saxe est belge)), un super bâtiment Art Nouveau, et une superbe vue sur Bruxelles.
Plus d'infos sur Wikipédia ou à défaut le site du musée (flash inside).
La réforme européenne sur le droit d'auteur a franchi une étape décisive et doit confirmer sa courte majorité cet été. >Quel cadre juridique imposer à Internet ? Ce soir, le téléphone sonne Europe fait le point sur le projet !
Invités:
* Virginie Rozière, Députée européenne (Les Radicaux de Gauche), groupe de l'Alliance Progressiste des Socialistes et Démocrates.
* Pascal Durand, Vice-président du groupe Verts-ALE au Parlement européen. Ancien avocat.
Peut-être l'occasion de se faire entendre. #telsonne sur le réseau de microbloging avien.
Ce que je décris là-haut est un gros trucage pour feinter l'allocateur de chunks de btrfs. L'allocateur décide toujours de réserver un chunk sur le disque qui contient le plus d'espace libre. En appelant, btrfs balance avec le filtre devid on indique uniquement que l'on veut ré-allouer les chunks présents sur le disque source. Par contre il n'y a aucun moyen de préciser explicitement où on veut qu'ils aillent. En ayant fait le btrfs fi resize (attention ! avec l'option devid précisant qu'on réduit la taille du disque source), on ne laisse plus de place sur le disque source. L'allocateur va donc déplacer les chunks du disque source au disque cible.
Pour revenir à BTRFS, il y a quand même plusieurs manquements soit dans l'implémentation actuelle soit dans le système en lui même. Citons par exemple:
le pmove comme simuler ici
une politique configurable de l'allocateur (pour par exemple prendre en compte une configuration hybride hdd/ssd)
des profils RAID par sous-volume
A priori, les manquements ci-dessus sont réalisables sans modifier le format disque, mais juste les outils et le driver tout en étant retro-compatible. Certains sont dans les tuyaux.
Par contre, les profils RAID sont codés assez simplement dans le format du fs (DUP/RAID0/RAID1) ce qui à mon avis limitera l'évolution du système. On pourrait par exemple imaginer des profils du type, je veux au moins 3 copies réparties sur au moins 2 disques physiques. Aujourd'hui sans changer le format disque ce n'est pas possible.
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 2. Dernière modification le 15 mars 2024 à 11:11.
Me suis fait grillé, oui je suis prof d'IA…
J'espère avoir été courtois en tout cas c'était mon intention
Je sais pas définir Intelligence
Justement si, il varie, c'est peut être même la définition de modèle génératif . Le modèle te donne des réponses différentes dans des conditions identiques.
Là dans l'exemple, à chaque fois que tu relances, çà te sort un visage différent.
C'est plus ou moins le même objectif qu'un moteur d'aléa mais au lieu de te sortir un nombre entre 2 bornes ou suivant une loi normale çà te sort un visage selon la loi des visages (qu'il a appris).
Non là l'exemple porte explicitement sur de la traduction d'une langue naturelle vers une langue formelle. Le fait d'utiliser un modèle génératif pour aller vers une langue formelle est même assez contre-productif de premier abord. Dans un second abord, on suppose que çà marche très bien parce que ChatGPT est capable de construire une très bonne représentation du prompt et du coup çà facilite la production du SQL.
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 3.
Tu sais prolog n’était pas en soi le propos de ma réponse mais bien faire réfléchir sur la notion d’IA.
Tu dis:
L'IA générative actuelle est imbattable en terme de facilité de formulation, elle peut répondre à des prompts formulés en langue naturelle, résoudre des problèmes pour de vrai, mais on perd l'exactitude de l'IA symbolique.
Attention, le fait que le conditionnement soit un prompt formulé en langue naturelle ce n’est pas çà qui fait que l’IA est générative. Il existe des IA génératives sans prompt de ce type (juste un GAN appris sur des visages sans étiquette par exemple), et des conditionnements avec prompt sans IA générative (traduction de langue naturelle vers SQL par exemple).
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 4. Dernière modification le 15 mars 2024 à 10:09.
J’ai jamais écrit de moteur d’inférence prolog. Du coup quand je fais un programme en prolog je suis juste utilisateur ?
Le problème est que la définition de l’IA est très floue.
De premier abord, on pourrait considérer que l’IA c’est un dispositif qui montre un comportement attribué habituellement à être intelligent ou avec capacité cognitive élevé. Cependant, cette définition est super dépendante du contexte culturel et technique. Relativement à l’état du savoir de l’époque, la Pascaline c’est de l’IA.
Dans un second temps, on pourrait dire qu’une IA, c’est un dispositif qui résout un problème pour lequel le concepteur n’a pas explicitement programmé la solution. Çà prend à la fois en compte les IA dîtes symboliques et l’apprentissage automatique.
Mais là aussi çà dépend du contexte technique et culturel cf notre discussion sur le HTML. Si tu présentais le HTML et le moteur de rendu des navigateurs dans les années 80, ca aurait clairement été pris pour de l’IA. Aussi bien sur les aspects description du problème par un langage déclaratif et sur la résolution, le rendu de la page, par des techniques de recherche opérationnelle.
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 1.
Le programmeur n’écrit pas une procédure qui résout de manière explicite le problème, notamment grâce à :
- programmation déclarative (oui comme prolog)
- problème du bin packing pour rendre des éléments 2D dans une fenêtre
Vraiment sans humour faire de l’HTML c’est faire de l’IA.
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 2.
Non du journalimse
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 3.
Du coup la programmation déclarative c’est de l’IA ? Par exemple le HTML (sans js j’entends).
[^] # Re: Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 0.
Troll on :
mais alors si ce sont des modèles c’est pas des algorhimtes ?
Troll off:
pas si mal ta réponse, même si au fond de moi pas de différence entre informatique et IA. L’informatique d’aujourd’hui est l’IA d’hier.
# Vrai question C'est quoi l'IA ?
Posté par pepie34 . En réponse au journal Cybersécurité: des chercheurs ont créé un ver qui attaque l’IA. Évalué à 3.
je sais pas
# Publication des flux
Posté par pepie34 . En réponse au journal La publicité sur Radio France - podcasts, direct et appli. Évalué à 5.
Il y a très longtemps, Radio France publiait la liste des flux de manière publique (publier) et explicite sur leur site , il y avait même des flux ogg.
Puis, ils ont commencé à mettre les flux dans un pdf non convertible en m3u/plist sans grosse intervention manuelle.
Puis, ils ont enlevé le pdf et il n'y avait plus aucune info officielle sur les flux.
Tout redirigea alors vers soit leur appli soit le site web.
Pour les podcasts, idem le service est moins bon avec le flux rss: moins de podcast, moins d'épisodes disponibles, de la pub ciblée (au moins géographiquement)…
Tout pousse vers leur appli … plein de trackers.
PS Je crois qu'il y a moyen d'attaquer directement le fichier MP3 pour enlever la pub, ce sont deux fichiers concaténés et le split doit être facile à repérer.
# Encore moins (ou encore plus) : Yeno/Epoch Super Cassette Vision 128 octets
Posté par pepie34 . En réponse à la dépêche Entretien avec Alekmaul à propos de PVCollib. Évalué à 2.
Alors la Super Cassette Vision de Yeno (France) ou Epoch (Japon) c’est encore moins juste 128 octets. Et pourtant de très bon jeux comme le premier jeu vidéo Dragon Ball :
https://youtu.be/5e8Xbx5JG7Q
Et quelques hombrew / démos bluffantes :
https://youtu.be/fA2eKN_WMUo
La description sur Wikipédia en:
https://en.wikipedia.org/wiki/Super_Cassette_Vision
# Question inverse AC3/DTS vers quadriphonie en sorties stereo ?
Posté par pepie34 . En réponse au journal Obtenir un son numérique multicanal depuis son ordinateur. Évalué à 1.
Est-ce que vous savez s’il est possible de recevoir un flux ac3/dts multicanal sur une entrée toslink et de sortir en 4.0 sur deux sorties LPCM toslink stereo ?
(pour aller vers deux DAC dans une même pièce)
[^] # Re: galafr.org
Posté par pepie34 . En réponse au journal Jane Birkin bronsonisée. Évalué à 2.
Et c’est l’année de naissance de Multics. La boucle est bouclée !!!
[^] # Re: galafr.org
Posté par pepie34 . En réponse au journal Jane Birkin bronsonisée. Évalué à 1. Dernière modification le 16 juillet 2023 à 21:19.
En effet, et si ce n’est avec le libre avec la liberté ça avoir c’est certain.
[^] # Re: structure et style
Posté par pepie34 . En réponse au journal typst est le nouveau LaTeX. Évalué à 2.
Oui mais rien ne l'oblige et rien ne le standardise.
Essaye de faire un latex vers odt/html pour voir.
Il faudrait vraiment une séparation à la XML/CSS mais humainement écrivable pour la partie structure, pas forcément dans 2 fichiers mais dans 2 sections séparées, et qu'on ne puisse faire de modification de style via des tags.
En effet, mise en gras c'est du style alors que mise en avant c'est de la structure.
Dans l'exemple, on voit beaucoup de mise en gras et pas beaucoup de mise en avant
# structure et style
Posté par pepie34 . En réponse au journal typst est le nouveau LaTeX. Évalué à 3.
Juste à première vue dans le même fichier source, il y a styles et structures de mélanger.
Ce qui était la plaie pour traiter automatiquement du latex.
# Flux audio
Posté par pepie34 . En réponse au message Podcast, Fdroid, France Culture.. Évalué à 5.
Pareil, çà fait bien 4 ans que les flux audio (mp3,aac,…) ne sont plus publiés de manière explicite: il faut faire de l'archéologie avec le debugger de firefox pour les récupérer.
Ca faisait bien 10 ans déjà quand ils étaient publiés que c'était dans un pdf inexploitable de manière automatique.
Ça ferait quoi si on ne pouvait recevoir la radio X que sur un poste de radio de la marque X ? Ben c'est pareil avec les applications exclusives.
VLC pourtant marche très bien sur android/iOS !
A noter pour les développeurs les flux sont dispos de manière automatisable sur wiki data. Par exemple pour France Culture: https://www.wikidata.org/wiki/Q19908
# Marquis
Posté par pepie34 . En réponse au journal Croquette est orphelin, Michel Robin est bronsonissé. Évalué à 5.
Il était aussi Ambert, le rat geôlier du Marquis (de Sade), dans le film du même nom de Xhonneux et Topor, les créateurs de Téléchat.
C'est le film (pas) pour enfant le plus WTF et NSFW que j'ai pu voir.
Youtube vision
Bref un grand comédien, un indispensable acteur de second rôle et une inoubliable voix pour les enfants de mon époque vient de nous quitter.
[^] # Re: Flux audio
Posté par pepie34 . En réponse au journal France Inter fait des podcasts. Évalué à 2.
Certainement, mais ce n'est pas la question.
Il fut un temps, les URL des flux des directs mp3 et ACC étaient publiés de manière officielle et visible par Radio France.
Ce n'est plus le cas.
Maintenant, la seule manière officielle d'écouter les directs c'est soit leur site web soit leur appli smartphone.
[^] # Re: Flux audio
Posté par pepie34 . En réponse au journal France Inter fait des podcasts. Évalué à 5.
J'ai pas dit qu'on pouvait pas les retrouver, j'ai dit qu'ils ne sont volontairement plus publics.
# Flux audio
Posté par pepie34 . En réponse au journal France Inter fait des podcasts. Évalué à 3.
Et ça fait quelques temps que les adresses des flux audios ne sont plus publiques.
Depuis déjà quelques années ils étaient uniquement disponibles dans un pdf dans les FAQ, probablement pour éviter un traitement automatique. Maintenant ils sont introuvables sans faire de l'archéologie dans le HTML du direct radio.
[^] # Re: Activité du jour : la ronde
Posté par pepie34 . En réponse au journal Confinement Covid-19 et attestations, mise à jour. Évalué à 1.
Et il faut pas oublier le cachet de cire…
[^] # Re: Toner de toner
Posté par pepie34 . En réponse au journal Confinement Covid-19 et attestations, mise à jour. Évalué à 4.
Sauf erreur de ma part, l'attestation ne précise ni le lieu ni la date du trajet.
On doit indiquer le lieu et la date de la signature ce qui n'est pas la même chose.
Pour ma part, j'ai préparé deux attestations papiers signées aujourd'hui: une pour les courses, une pour courir et promener le chien. Je ne compte pas les rééditer les jours à venir.
Vous vous imaginez les travailleurs indispensables imprimer un papier tous les jours ? non je ne pense vraiment pas.
# Musée des Instruments de musique de Bruxelles (MIM)
Posté par pepie34 . En réponse au journal Quelques musées Bruxellois. Évalué à 6.
Ce musée combine à la fois une superbe collection d'instruments de musique (ne pas manquer les instruments mécaniques / électromécanique et synthés aux sous-sols, ainsi que les protos de saxophones (oui Adolphe Saxe est belge)), un super bâtiment Art Nouveau, et une superbe vue sur Bruxelles.
Plus d'infos sur Wikipédia ou à défaut le site du musée (flash inside).
Les photos du bâtiment sur Common.
# Le téléphone sonne ce soir mardi 03 juillet 2018
Posté par pepie34 . En réponse à la dépêche L’Internet libre et ouvert est en danger : vous pouvez arrêter ce désastre. Évalué à 1.
Il y a un téléphone sonne ce soir sur le sujet:
Invités:
* Virginie Rozière, Députée européenne (Les Radicaux de Gauche), groupe de l'Alliance Progressiste des Socialistes et Démocrates.
* Pascal Durand, Vice-président du groupe Verts-ALE au Parlement européen. Ancien avocat.
Peut-être l'occasion de se faire entendre. #telsonne sur le réseau de microbloging avien.
Lien vers le site de l'émission
[^] # Re: Simulation pmove
Posté par pepie34 . En réponse au journal Migration de / d'un disque dur à l'autre avec btrfs. Évalué à 3.
En complément,
Ce que je décris là-haut est un gros trucage pour feinter l'allocateur de chunks de btrfs. L'allocateur décide toujours de réserver un chunk sur le disque qui contient le plus d'espace libre. En appelant,
btrfs balanceavec le filtredevidon indique uniquement que l'on veut ré-allouer les chunks présents sur le disque source. Par contre il n'y a aucun moyen de préciser explicitement où on veut qu'ils aillent. En ayant fait lebtrfs fi resize(attention ! avec l'option devid précisant qu'on réduit la taille du disque source), on ne laisse plus de place sur le disque source. L'allocateur va donc déplacer les chunks du disque source au disque cible.Pour revenir à BTRFS, il y a quand même plusieurs manquements soit dans l'implémentation actuelle soit dans le système en lui même. Citons par exemple:
A priori, les manquements ci-dessus sont réalisables sans modifier le format disque, mais juste les outils et le driver tout en étant retro-compatible. Certains sont dans les tuyaux.
Par contre, les profils RAID sont codés assez simplement dans le format du fs (DUP/RAID0/RAID1) ce qui à mon avis limitera l'évolution du système. On pourrait par exemple imaginer des profils du type, je veux au moins 3 copies réparties sur au moins 2 disques physiques. Aujourd'hui sans changer le format disque ce n'est pas possible.