Je me suis toujours demander si on pouvais faire des vrai maths avec un copilot pour un langage comme coq. Et si on va plus loin, trouver si cela permet d'ajouter un peu de logique à un LLM.
Un des papiers parle du réseau de neurone "intuitif" auquel on ajoute un moteur de règle pour valider ou non, les intuitions. Cela ressemble beaucoup à alphaGo zero qui utilisait un modèle + un simulateur des règles du jeu. Ainsi, il a écrasé tout ce qui se faisait avant.
Est-ce que cela peut s'étendre à l'ingénierie ? Il y a plein de simulateurs qui existent dans plein de domaines. Est-ce qu'un réseau pourrait apprendre le domaine avec un simulateur ?
Le premier domaine que j'ai en tête est l'électronique. Il existe un simulateur que l'on trouve partout : spice. Un concepteur raisonne souvent avec des amplificateurs opérationnels ou des transistor parfait puis on trouve des vrais composants et on modifie le schéma pour combler des défauts. On pourrait imaginer une entrée d'IA qui comporte le schéma idéal avec des contraintes sur les entrées-sorties (niveau de bruit, bande passante, …), la sortie serait le vrai circuit à produire.
Oui, mais c'est en général là que cela dérape. Qui décide et comment ? Une taxe carbone + des normes peuvent flécher les investissements sans avoir besoin de décider directement.
L’adaptation nécessite de l'argent : Faire des pistes cyclables, des transport en commun, redessiner les villes pour réduire les mouvements pendulaires, changer le chauffage pour des PAC. Globalement, l'électrification de l'économie et une réduction du besoin de transport a besoin d'investissement lourd.
L'argent existe, c'est juste que nos gouvernements soient sont cyniques, soit croit encore à la théorie du ruissèlement (les milliardaires sont passé de 50B$ d'actif à 250, en qq années).
In view of this, it seems that the claim that the economy can grow while at the same time the “environmental bads” diminish needs further support from sources other than empirical research literature.
Il disent qu'il n'y pas assez de preuve de découlage. Ce n'est pas la même chose que d'avoir des preuves de couplage.
Et dans l'autre :
The emission reductions that high-income countries achieved through absolute decoupling fall far short of Paris-compliant rates.
Ici, ils disent que le rythme est trop lent. Ce que personne ne conteste. Cela ne prouve en rien que l'on ne peut pas faire mieux.
On a déjà vu des exemples de découplage local à un endroit, compensé par un sur-couplage à un autre endroit du monde.
source ?
Pareil pour les émissions d'ailleurs, pour la planète ce qui compte c'est les émissions globales et pour ça il faut que tous les acteurs réduisent, pas juste des exemples locaux.
Les exemples locaux inclus les imports-exports. Donc, cela concerne une fraction de la population à chaque fois.
Vouloir réduire globalement est encore plus illusoire que de réussir à réduire par zone.
Mon exemple n'est pas 3 graphs ! c'est 30 pays sur 15 ans.
"(Personnellement je pense qu'à l'issue de 50 ans de débats et assez peu de résultat, il est temps de rationner.)"
J'ai loupé ça. ça c'est la décroissance au sens récession. C'est juste la ruine du pays. Rien que par le fait de l'augmentation de la population et l'inflation, cela veut dire moins de moyens par personne chaque année.
Et si on fait un simple ratio de ce qui est souhaitable par rapport à la production de GES (3 tonnes/an), on arrive à la baisse de 40% du pouvoir d'achat dont je parlait au début. Idem pour l'Etat.
tu as l'air de contester la rigidité de la relation PIB/GES.
J'ai trouvé plein de contre exemple. C'est bien plus fort qu'une "contestation".
"la rigidité de la relation PIB / qualité de vie." Qu'est-ce qui fait que dans un cas tu sembles affirmer que la corrélation est négociable et que dans l'autre la corrélation est difficile à négocier ?
Simplement parce qu'il n'existe aucun contre-exemple ? Tous les indicateurs de qualité de vie sont corrélé plus ou moins fortement au PIB.
Cela ne veut simplement dire que la probabilité de trouver un indicateur de qualité de vie qui suit l'inverse du PÏB est très peu probable.
Si le PIB t’embête prend le revenue national brut, cela évite de tenir compte de l'extraction des ressources (ce qui est très faible en France).
"Décroissance ne signifie pas « croissance négative », récession, mais rupture avec un système social, économique et idéologique voué à l’augmentation permanente de la production et de la consommation."
Ok, c'est ton discours j'imagine. Mais 3 lignes plus bas :
"Le produit intérieur brut diminuerait non par l’enrayement d’une économie de croissance, mais par …"
A la base de la décroissance est la croyance que la croissance du PIB impose l'usage croissant de ressource physique, ce qui impose de toucher une limite physique un jour.
De là est parti le terme de décroissant. Or, il n'y a pas de lien direct mécanique croissance du PIB et usage des ressources.
Si, on ne parle plus de décroissance du PIB, cela devient de la sobriété ou du rationnement. La sobriété revient à faire du green machin chose, partout, sauf du greenwashing. En gros, ce que tout le monde veut faire.
Le rationnement, c'est coupé l’électricité un matin, car il n'y pas de vent (projet negawatt et ses 60% d' "élascicité" de la demande). Voir, cela impose d'avoir des "comités" qui décident ce qui est bien ou mal pour l'utilisation de ressource.
Les droits de l'homme sont une valeur exclusivement de droite ? L’entreprenariat ou la création individuel de logiciel libre est de droite ? Prendre compte de la sensibilité/problème de chacun et non du groupe ou de la masse, c'est de droite ?
"La décroissance est une réduction planifiée et démocratique de la production et de la consommation dans les pays riches pour réduire les pressions environnementales et les inégalités, tout en améliorant le bien-être."
Il y a des gens qui croient au père noël. Blague mis à part, la décroissance est cité en opposition à la croissance, qui fait référence à la croissance du PIB. Il n'y avait pas de discussion là-dessus.
Si maintenant, on discute de la définition, c'est pour garder le terme mais de changer la proposition.
Tu déplaces le débats. La question première était de savoir si c'était possible d'avoir de la croissance et une baisse des émissions (import inclus): la réponse est oui.
Il est centre gauche sans doute. Mais il a une dimension libérale qui est absent de tous les autres partis.
La gestion de la démocratie interne n'est pas une abstraction. Il croit en un état fort (filet de sécurité), mais aussi à l'initiative individuelle. Il est pro-science, pro-nucléaire.
Bien sûr que non, l'argent est aussi un moyen. Par exemple, financer la transition des pays du tier monde du fossile à autre choses n'est pas gratuit ! Remplacer les chauffages par des PAC n'est pas gratuit.
La décroissance n'est qu'une seule des solutions possibles, c'est la plus brutale, la plus injuste et la plus douloureuse. On reconnait là le coté masochiste/expiation de EELV qui sont persuadé que dans le fond, les humains doivent être puni et souffrir.
"Comme erreur de liaison intangible, il y a aussi l'idée que croissance PIB et "bonheur"/"satisfaction" vont ensemble."
Le débat a déjà eu lieu avec le "bonheur national brut" (du boutan). Le pib par habitant est tout de même corrélé à tout un tas de métrique sympathique (niveau de vie, espérance de vie, niveau d'éducation, etc…).
On déteste les coupes dans les services publiques avec 1% de croissance, alors imaginez la taille des coupes en cas de baisse de PIB.
Bon courage pour expliquer aux gens qu'ils vont devoir vivre avec 40% de pouvoir d'achat en moins. Sans compter sur les effets concernant la capacité des états à taxer suffisamment pour financer l'éducation ou la santé.
"Fondamentalement l'idée de décroissance est juste connexe avec celle de soutenabilité. Ca pose des questions comme "la croissance, pourquoi ?", "la croissance, comment ?", "le progrès est-il illimité, et c'est quoi d'ailleurs, le progrès technique" ?"
Quand on parle de croissant, on fait référence à la croissance du PIB. Et une des erreurs est de croire que il y a une liaison intangible avec la croissance de la consommation de ressources et la croissance de la production de CO2.
Même si les corrélations existent, il n'y rien d'inéluctable.
# siite
Posté par Nicolas Boulay (site web personnel) . En réponse au journal C23, listes variantes et le turfu. Évalué à 4 (+1/-0).
Toujours pas de tuple en C pour faire des retour multiple ?
Ou un type pointeur avec null interdit ?
Est-ce que constexpr fonctionne avec des appels de fonction ? On pourrait précompiler des expressions régulières par exemple.
"La première sécurité est la liberté"
[^] # Re: me fait doucement rire
Posté par Nicolas Boulay (site web personnel) . En réponse au journal France 2 et France 3 ne diffusent pas les clips de campagnes des européennes et favorisent LREM / RN. Évalué à 10 (+10/-0).
La loi en question a été modifié en Janvier. Avant, l'égalité devait être total. Poutou a la radio, c'était instructif à écouter.
"La première sécurité est la liberté"
[^] # Re: Les sondages mettent RN loin devant
Posté par Nicolas Boulay (site web personnel) . En réponse au journal France 2 et France 3 ne diffusent pas les clips de campagnes des européennes et favorisent LREM / RN. Évalué à 10 (+14/-0).
Et alors ? Quel rapport avec la loi de diffusion des clips de campagne ?
"La première sécurité est la liberté"
[^] # Re: Ça arrive même aux meilleurs !
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Ce qui se passe quand l'IA de Google Search prend The Onion au premier degré 🤡. Évalué à 5 (+2/-0).
On pourrait déjà commencer par faire condamner la fraude scientifique, ce n'est pas encore le cas.
Ensuite, on peut interdire les fake news, quand on démontre le fait que l'auteur ment.
"La première sécurité est la liberté"
[^] # Re: Ça arrive même aux meilleurs !
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Ce qui se passe quand l'IA de Google Search prend The Onion au premier degré 🤡. Évalué à 4 (+1/-0).
Je me suis toujours demander si on pouvais faire des vrai maths avec un copilot pour un langage comme coq. Et si on va plus loin, trouver si cela permet d'ajouter un peu de logique à un LLM.
Un des papiers parle du réseau de neurone "intuitif" auquel on ajoute un moteur de règle pour valider ou non, les intuitions. Cela ressemble beaucoup à alphaGo zero qui utilisait un modèle + un simulateur des règles du jeu. Ainsi, il a écrasé tout ce qui se faisait avant.
Est-ce que cela peut s'étendre à l'ingénierie ? Il y a plein de simulateurs qui existent dans plein de domaines. Est-ce qu'un réseau pourrait apprendre le domaine avec un simulateur ?
Le premier domaine que j'ai en tête est l'électronique. Il existe un simulateur que l'on trouve partout : spice. Un concepteur raisonne souvent avec des amplificateurs opérationnels ou des transistor parfait puis on trouve des vrais composants et on modifie le schéma pour combler des défauts. On pourrait imaginer une entrée d'IA qui comporte le schéma idéal avec des contraintes sur les entrées-sorties (niveau de bruit, bande passante, …), la sortie serait le vrai circuit à produire.
"La première sécurité est la liberté"
[^] # Re: Ça arrive même aux meilleurs !
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Ce qui se passe quand l'IA de Google Search prend The Onion au premier degré 🤡. Évalué à 4 (+1/-0).
tu veux faire faire des maths à un LLM ?
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+0/-0).
Oui, mais c'est en général là que cela dérape. Qui décide et comment ? Une taxe carbone + des normes peuvent flécher les investissements sans avoir besoin de décider directement.
L’adaptation nécessite de l'argent : Faire des pistes cyclables, des transport en commun, redessiner les villes pour réduire les mouvements pendulaires, changer le chauffage pour des PAC. Globalement, l'électrification de l'économie et une réduction du besoin de transport a besoin d'investissement lourd.
L'argent existe, c'est juste que nos gouvernements soient sont cyniques, soit croit encore à la théorie du ruissèlement (les milliardaires sont passé de 50B$ d'actif à 250, en qq années).
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+1/-1).
Dans le premier je lis çà :
Il disent qu'il n'y pas assez de preuve de découlage. Ce n'est pas la même chose que d'avoir des preuves de couplage.
Et dans l'autre :
Ici, ils disent que le rythme est trop lent. Ce que personne ne conteste. Cela ne prouve en rien que l'on ne peut pas faire mieux.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2 (+0/-1).
source ?
Les exemples locaux inclus les imports-exports. Donc, cela concerne une fraction de la population à chaque fois.
Vouloir réduire globalement est encore plus illusoire que de réussir à réduire par zone.
Mon exemple n'est pas 3 graphs ! c'est 30 pays sur 15 ans.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+0/-0).
J'ai loupé ça. ça c'est la décroissance au sens récession. C'est juste la ruine du pays. Rien que par le fait de l'augmentation de la population et l'inflation, cela veut dire moins de moyens par personne chaque année.
Et si on fait un simple ratio de ce qui est souhaitable par rapport à la production de GES (3 tonnes/an), on arrive à la baisse de 40% du pouvoir d'achat dont je parlait au début. Idem pour l'Etat.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2 (+0/-1).
J'ai trouvé plein de contre exemple. C'est bien plus fort qu'une "contestation".
Simplement parce qu'il n'existe aucun contre-exemple ? Tous les indicateurs de qualité de vie sont corrélé plus ou moins fortement au PIB.
Cela ne veut simplement dire que la probabilité de trouver un indicateur de qualité de vie qui suit l'inverse du PÏB est très peu probable.
Si le PIB t’embête prend le revenue national brut, cela évite de tenir compte de l'extraction des ressources (ce qui est très faible en France).
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 1 (+0/-2).
J'ai voulu faire le bon élève en cherchant sur "ivan illich et la décroissance", et je tombe sur https://www.philomag.com/articles/ivan-illich-la-mesure-du-present
Ok, c'est ton discours j'imagine. Mais 3 lignes plus bas :
"Le produit intérieur brut diminuerait non par l’enrayement d’une économie de croissance, mais par …"
Or, c'est l'exact définition d'une récession.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2 (+0/-1).
A la base de la décroissance est la croyance que la croissance du PIB impose l'usage croissant de ressource physique, ce qui impose de toucher une limite physique un jour.
De là est parti le terme de décroissant. Or, il n'y a pas de lien direct mécanique croissance du PIB et usage des ressources.
Si, on ne parle plus de décroissance du PIB, cela devient de la sobriété ou du rationnement. La sobriété revient à faire du green machin chose, partout, sauf du greenwashing. En gros, ce que tout le monde veut faire.
Le rationnement, c'est coupé l’électricité un matin, car il n'y pas de vent (projet negawatt et ses 60% d' "élascicité" de la demande). Voir, cela impose d'avoir des "comités" qui décident ce qui est bien ou mal pour l'utilisation de ressource.
Parles-tu donc de rationnement ?
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2 (+0/-1).
Oula, je parle d'une conséquence de base de la décroissance, et tu me parles de vidéo youtube, sérieusement ?
j'ai l'impression que ce terme est devenu une bouilli informe dans pas mal de tête.
"La première sécurité est la liberté"
[^] # Re: Parti Pirate, parti "Attrape-tout"
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+0/-0).
Les droits de l'homme sont une valeur exclusivement de droite ? L’entreprenariat ou la création individuel de logiciel libre est de droite ? Prendre compte de la sensibilité/problème de chacun et non du groupe ou de la masse, c'est de droite ?
"La première sécurité est la liberté"
[^] # Re: Parti Pirate, parti "Attrape-tout"
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 1 (+0/-2).
Selon des tests en ligne de "curseurs politiques" de plusieurs militant, c'est à gauche.
Mais, c'est le seul parti de gauche qui n'est pas autoritaire, qui croit à l'individualisme et à la protection de l'Etat.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+2/-2).
Tu changes la question d'origine !
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2 (+1/-2).
Il y a des gens qui croient au père noël. Blague mis à part, la décroissance est cité en opposition à la croissance, qui fait référence à la croissance du PIB. Il n'y avait pas de discussion là-dessus.
Si maintenant, on discute de la définition, c'est pour garder le terme mais de changer la proposition.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2 (+1/-2).
Tu déplaces le débats. La question première était de savoir si c'était possible d'avoir de la croissance et une baisse des émissions (import inclus): la réponse est oui.
"La première sécurité est la liberté"
[^] # Re: Parti Pirate, parti "Attrape-tout"
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+0/-0).
Il est centre gauche sans doute. Mais il a une dimension libérale qui est absent de tous les autres partis.
La gestion de la démocratie interne n'est pas une abstraction. Il croit en un état fort (filet de sécurité), mais aussi à l'initiative individuelle. Il est pro-science, pro-nucléaire.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2 (+2/-3).
Bien sûr que non, l'argent est aussi un moyen. Par exemple, financer la transition des pays du tier monde du fossile à autre choses n'est pas gratuit ! Remplacer les chauffages par des PAC n'est pas gratuit.
La décroissance n'est qu'une seule des solutions possibles, c'est la plus brutale, la plus injuste et la plus douloureuse. On reconnait là le coté masochiste/expiation de EELV qui sont persuadé que dans le fond, les humains doivent être puni et souffrir.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+0/-0).
"Comme erreur de liaison intangible, il y a aussi l'idée que croissance PIB et "bonheur"/"satisfaction" vont ensemble."
Le débat a déjà eu lieu avec le "bonheur national brut" (du boutan). Le pib par habitant est tout de même corrélé à tout un tas de métrique sympathique (niveau de vie, espérance de vie, niveau d'éducation, etc…).
On déteste les coupes dans les services publiques avec 1% de croissance, alors imaginez la taille des coupes en cas de baisse de PIB.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 4 (+1/-0).
https://ourworldindata.org/co2-gdp-decoupling
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 4 (+2/-1).
Bon courage pour expliquer aux gens qu'ils vont devoir vivre avec 40% de pouvoir d'achat en moins. Sans compter sur les effets concernant la capacité des états à taxer suffisamment pour financer l'éducation ou la santé.
"La première sécurité est la liberté"
[^] # Re: autres sources d'information
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 3 (+1/-1).
Quand on parle de croissant, on fait référence à la croissance du PIB. Et une des erreurs est de croire que il y a une liaison intangible avec la croissance de la consommation de ressources et la croissance de la production de CO2.
Même si les corrélations existent, il n'y rien d'inéluctable.
"La première sécurité est la liberté"