Je suppose que tu fais référence à ce genre d'usage ?
Oui mais l'idée serait plutôt d'avoir une macro [#include_C=toto.h] qui génère la série d'extern pour pouvoir utiliser les BSP par exemple sans avoir un gros boulot manuel de portage.
On pourrait même imaginer des annotations dans le code C dédié au Rust pour la gestion de vie de la mémoire.
Il y a déjà des députés Pirates, 1 Allemands et 3 Tchèques.
Il y a déjà quelques élue pirates dans des villes en France.
La barrière des 5% est exactement faite pour que tu es cette réaction : voter pour un nouveau parti doit sembler inutile. Si le PP fait 4%, il est au niveau de EELV et devant le parti communiste.
Tout a été fait en France pour protéger les parties en place. Ces règles de fausses élections proportionnelles par exemple. Avant, il y avait les listes par 5 grosses régions. Le seuil de 5% sur une région est encore plus dure à atteindre, et le seuil d'élection d'un seul député aussi. Sans compter la difficulté supplémentaire pour créer ses listes.
En Allemagne, le kit de campagne de base est fournis. C'est vraiment le minimum : affiches légal, circulaire et bulletin de vote. En France, c'est remboursé par seuil. Donc, pour débuter un parti doit être très riche, rien que pour les bulletins (300k€ minimum/élection) car aucune banque ne fera un prêt sauf au parti installé.
Je bosse dans l'embarqué qui utilise en gros C et gcc le plus souvent. A moins d'avoir le compilo rust capable de lire des .h, il sera plus rapide de mettre un peu de Rust dans le C pour améliorer les choses.
J'ai cité les trucs qui me manquent le plus quand je suis retourné au C après le Go et Ocaml. (et encore je n'ai pas demander une liste/array dans le langage de base comme Ocaml ou une hashmap :)
Le tuple permet justement d'éviter de déclarer 12 000 struct comme en Go ou Ocaml. C'est super léger. En plus, c'est facile soit d'utiliser les registre temporaire de la fonction en retour ou d'instancier un struct.
Concernant le pointeur jamais null je parle vraiment d'un type ou il est garanti de partout qu'il n'est jamais à autre chose qu'un pointeur valide (genre comme un type somme avec la valeur null détecté statiquement à chaque utilisation de *). Cela éviterait des bugs et/ou des tests de partout.
Le toto[static 1] est un garanti offert au compilateur pour optimiser, pas du tout un moyen de vérification.
" The syntax only denotes a promise to the compiler that the pointed to object will have at least N elements"
Le constexpr sur les fonctions permettraient beaucoup de choses, comme la fin des macros un peu pourris, la génération de code, une généralisation de la propagation de constante au delà des litéraux, etc…
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.
[^] # 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.
Justement l'argent devient rare dans un monde en décroissance.
"La première sécurité est la liberté"
[^] # Re: siite
Posté par Nicolas Boulay (site web personnel) . En réponse au journal C23, listes variantes et le turfu. Évalué à 3.
Oui mais l'idée serait plutôt d'avoir une macro [#include_C=toto.h] qui génère la série d'extern pour pouvoir utiliser les BSP par exemple sans avoir un gros boulot manuel de portage.
On pourrait même imaginer des annotations dans le code C dédié au Rust pour la gestion de vie de la mémoire.
"La première sécurité est la liberté"
[^] # Re: Ça se comprend...
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche La souveraineté numérique, grande absente de la campagne pour les Européennes en France. Évalué à 6. Dernière modification le 04 juin 2024 à 17:21.
Il y a déjà des députés Pirates, 1 Allemands et 3 Tchèques.
Il y a déjà quelques élue pirates dans des villes en France.
La barrière des 5% est exactement faite pour que tu es cette réaction : voter pour un nouveau parti doit sembler inutile. Si le PP fait 4%, il est au niveau de EELV et devant le parti communiste.
Tout a été fait en France pour protéger les parties en place. Ces règles de fausses élections proportionnelles par exemple. Avant, il y avait les listes par 5 grosses régions. Le seuil de 5% sur une région est encore plus dure à atteindre, et le seuil d'élection d'un seul député aussi. Sans compter la difficulté supplémentaire pour créer ses listes.
En Allemagne, le kit de campagne de base est fournis. C'est vraiment le minimum : affiches légal, circulaire et bulletin de vote. En France, c'est remboursé par seuil. Donc, pour débuter un parti doit être très riche, rien que pour les bulletins (300k€ minimum/élection) car aucune banque ne fera un prêt sauf au parti installé.
"La première sécurité est la liberté"
[^] # Re: siite
Posté par Nicolas Boulay (site web personnel) . En réponse au journal C23, listes variantes et le turfu. Évalué à 4.
Je bosse dans l'embarqué qui utilise en gros C et gcc le plus souvent. A moins d'avoir le compilo rust capable de lire des .h, il sera plus rapide de mettre un peu de Rust dans le C pour améliorer les choses.
J'ai cité les trucs qui me manquent le plus quand je suis retourné au C après le Go et Ocaml. (et encore je n'ai pas demander une liste/array dans le langage de base comme Ocaml ou une hashmap :)
"La première sécurité est la liberté"
[^] # Re: C'est très bien ainsi.
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é à 4.
C'est parfois difficile à suivre vu que les votes ne correspondent pas aux annonces faites.
droit des femmes :
https://www.lemonde.fr/election-presidentielle-2022/article/2022/04/17/marine-le-pen-et-les-droits-des-femmes-les-discours-et-les-textes-votes_6122545_6059010.html
extrême droite européennes sur le social :
https://www.euractiv.fr/section/politique/news/les-votes-de-lextreme-droite-europeenne-contredisent-son-discours/
"La première sécurité est la liberté"
[^] # Re: siite
Posté par Nicolas Boulay (site web personnel) . En réponse au journal C23, listes variantes et le turfu. Évalué à 4. Dernière modification le 03 juin 2024 à 10:22.
Le tuple permet justement d'éviter de déclarer 12 000 struct comme en Go ou Ocaml. C'est super léger. En plus, c'est facile soit d'utiliser les registre temporaire de la fonction en retour ou d'instancier un struct.
Concernant le pointeur jamais null je parle vraiment d'un type ou il est garanti de partout qu'il n'est jamais à autre chose qu'un pointeur valide (genre comme un type somme avec la valeur null détecté statiquement à chaque utilisation de *). Cela éviterait des bugs et/ou des tests de partout.
Le toto[static 1] est un garanti offert au compilateur pour optimiser, pas du tout un moyen de vérification.
" The syntax only denotes a promise to the compiler that the pointed to object will have at least N elements"
Le constexpr sur les fonctions permettraient beaucoup de choses, comme la fin des macros un peu pourris, la génération de code, une généralisation de la propagation de constante au delà des litéraux, etc…
"La première sécurité est la liberté"
# siite
Posté par Nicolas Boulay (site web personnel) . En réponse au journal C23, listes variantes et le turfu. Évalué à 4.
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.
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.
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.
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.
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.
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.
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.
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é à 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é à 2.
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é à 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é à 0.
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é à 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é à 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.
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é à 0.
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.
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.
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.
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é"