la démocratie peut vivre sans une énergie abondante et peu chère. Cela peut aider les choses bien sûr dans ce processus mais il ne semble pas indispensable.
Tu est à ton tour bien affirmatif :) J’ai l’impression en lisant wikipédia que la démocratie du Royaume-Uni n’était à l’époque pas tout à fait aboutie, que les électeurs étaient soumis à un certain niveau de revenu. Le RU s’est progressivement « démocratisé » quand cette barrière est devenue accessible à de plus en plus de gens …
Moi j’ai l’impression que c’est dur de maintenir un régime politique, quel qu’il soit, quand le peuple a faim. Du coup le peuple peut avoir envie de se révolter ou de tout jeter à ce moment là. Un e manière pour un régime de survivre à ça c’est de basculer dans l’autoritarisme, l’antithèse de la démocratie quoi.
En tout cas j’ai l’impression qu’à part le processus de démocratisation du RU qui semble très progressif, tout se tient en quelques décennies, peut-être une génération … c’est un temps très court à l’échelle de l’histoire. Pas de quoi démontrer que tout est indépendant, au contraire.
Dans l’article que je cite il note bien que c’est sa propre grille d’analyse et explication qu’il propose en tout cas, il n’est pas si assertif que tu veux bien le dire. Perso je pense qu’un pays qui est peut être un peu plus faible que les autres pour des raisons structurelles soit celui qui trinque (plus que les autres) en cas de problème énergétique, n’est pas forcément idiot. Si la situation énergétique tend tout le monde, mais que les autres arrivent à s’en sortir parce qu’ils sont un poil plus robuste, un pays doit trinquer.
Si ma grille de lecture est correcte, on peut s’attendre à ce que le « manque » d’énergie ne soit pas réparti de manière homogène sur tout les pays. Grosso modo, l’allemagne étant un très gros client risque de pouvoir s’approvisionner bien après que des pays plus petit aient bu la tasse en cas de grosse crise. Le meilleur indicateur dans ce cas serait le PIB global au niveau de l’UE par exemple, et faut reconnaitre qu’il est pas forcément folichon depuis assez longtemps.
(j’avoue que j’ai un faible pour le côté complètement iconoclaste de ses thèses en matière d’analyse économique qui ne font que souligner que les économistes ne parlent que très très rarement de gestion des ressources, paradoxalement, alors que c’est une des bases de la discipline et qu’on les entend beaucoup dans les médias)
Sur révolutions politiques et industrielles, je dirai rien parce que je dirai probablement des conneries, mais je pense qu’il n’est pas forcément simple d’isoler la date de la révolution industrielle (ex dans ce document ils parlent de « quelque part entre 1750 et 1850 » https://www.persee.fr/doc/ahess_0395-2649_1991_num_46_3_278973 Ce que je crois savoir, c’est que des ingrédients nécessaire à ces révolution en commun (l’émergence de la bourgeoisie et une certaine forme d’urbanisation, les lumières et la foi dans le progrès) datent d’avant la révolution industrielle, [https://fr.wikipedia.org/wiki/Industrie#XVIIe_si%C3%A8cle] et dont évidemment les combustibles fossiles ont permis l’explosion … j’ai l’impression que c’est carrément difficile de dé-tisser tous ces fils, et que le net regorge de documents qui en discutent en tout cas :)
C’est con qu’il ne soit pas là pour répondre à ton commentaire, ce serait intéressant.
Alors que bizarrement dans le reste de son œuvre c'est rempli de calculs en étant proche de la démonstration.
On a rarement fait de l’analyse historique en se contentant de calcul :) Tu notera qu’à l’époque des débuts de la démocratie en france la situation n’était pas totalement stable et qu’on a même connu un démocrate … empereur. Évidemment oxymore. Qu’est-ce qui a fait « tenir » la démocratie, système totalement soluble dans la dictature ?
Il me semble bizarre de parler de la crise italienne en ne parlant que d'un facteur alors qu'en réalité il y a en a probablement plusieurs dont certains sont bien identifiés.
Dans https://jancovici.com/transition-energetique/choix-de-societe/litalie-et-lenergie-un-cas-decole/ il a le mérite de faire une prédiction qui vaut sans doute bien des prévisions savantes d’économistes analysant les réformes structurelles aux conséquences parfois hasardeuses :) Clairement tu ne peux pas effacer son explication du PIB asservi à l’énergie dépensée pour la production d’un revers de main, je pense, surtout quand il montre la robustesse de cette corrélation en long en large et en travers sur de longues périodes. A la rigueur faudrait faire le chemin en sens inverse et montrer que les autres explications qu’on pourrait trouver sont aussi prédictives et fonctionnent aussi bien. On pourrait trouver qu’une fois corrigé des variations pétrolières, elles fonctionnent, ce qui montrerait que l’efficacité des solution traditionnelle des économiste est asservie à … la disponibilité de l’énergie.
Quoi ???? Il y aurait une manière plus courte et un style plus lisible ??? Je n’ose le croire.
Plus sérieusement, c’était un clin d’œil à la propriété https://www.wikidata.org/wiki/Property:P138 « nommé d’après » pour la relation d’éponymie. Cela dit une modification subséquente a cassé le lien (et je perso suis pas spécialement fan de cette manière de modéliser, mais c’est une autre histoire)
Ton commentaire m'a interpelé sur la difficulté de trouver des exemplaires d'ouvrages à l'heure du numérique, alors j'ai tenté de savoir si il en existait des versions numériques ! Il semble que google livre puisse afficher des extraits, bon courage pour lire le truc en entier. La BNF a des versions numériques, pas publiques, mais il semble qu'on puisse en demander une reproduction : https://achatsreproduction.bnf.fr/views/vel/demande_devis.jsf?provenance=Catalogue&urlReferer=/ark:/12148/cb366014477&AppOrigine=Catalogue
Aucune idée de si la demande est facilement accordée et du prix que *a coute par contre, si quelqu{un a tenté l'expérience je serai curieux de connaitre le résultat ;)
Je ne sais pas ce que tu supposes, je ne peux que supputer, mais vu le sujet de la conversation j’ai l’impression que tu ne vois pas d’un bon œil l’effet du numérique sur le niveau littéraire des enfants. Partant de là quand tu lie dans la suite de la discussion des articles sur le niveau en ortho et le QI, il me parait naturel de supputer que tu fais un lien entre les deux, au moins de manière hypothétique.
Quant-aux situation de double apprentissage, il est certain que le bilinguisme chez les petit par exemple est plus supputé d’avoir des effets bénéfiques et n’a pas d’effet néfastes dans l’apprentissage. J’ai tendance à penser que donner plusieurs points d’entrée sur des notions permet à ces différents points de se renforcer l’un l’autre ou à laisser la possibilité de donner à ceux qui sont en difficulté sur l’un des points de se raccrocher à un autre, et je crois pas que ce soit infirmé par les connaissances modernes en manière d’apprentissage …
Le moins qu’on puisse dire d’après ton article, c’est que les auteurs sont frileux à attribuer les résultats de leur études aux causes que tu supposes, en tout cas.
Je vois pas trop en quoi le fait que ça soit libre ou pas intervienne en quoi que ce soit. Si le logiciel ne respecte pas les obligations légales de ce type de service ou n’est pas configuré pour les respecter, l’asso est tout simplement dans l’illégalité, libre ou pas.
D’abord, ton exemple ne tend pas spécialement à montrer qu’il est subjectif, il tend à montrer qu’il est manipulable, ce qui est différent - si tu places un individu dans un état d’esprit ou il est encouragé à tricher, tu ne le place pas dans un état d’esprit propice à réfléchir au bien commun. Or comme l’éthique n’existe pas, ou plutôt n’a pas d’impact sur autrui, sans notion de groupe (le cas ou on est amené à juger son propre comportement est dégénéré) il est peu opportun de se placer dans un état d’esprit de triche si on doit réfléchir au bien et au mal.
Pour transcrire ce sens de la justice dans le droit par exemple, il est nécessaire de l’objectiver. Nos conceptions de l’éthiques évoluent, certains parlent même de « progrès » dans l’éthique ou de la morale en tant que discipline, mais je te suivrai pas si tu dis que si c’est évolutif c’est forcément subjectif. Parce que ce qu’on considère comme éthique est la conséquence de réflexions philosophique, qui peuvent s’opposer, certes, mais qui globalement s’enrichir et qui sont bel et bien un processus d’objectivisation et de recherche d’invariants.
Dans le cas cité de l’éthique pro, ce n’est pas seulement une question d’éthique perso mais aussi de conflit de loyauté entre deux groupe. Le cas des lanceurs d’alertes en est l’illustration, ceux qui dénoncent des comportements qu’ils jugent non éthiques de leur employeur risquent de se voir renvoyer le devoir de loyauté qu’ils ont envers leur employeur, y compris par la loi. Exemple avec Sodexo dont l’éthique interne inclue la Loyauté : https://www.sodexo.com/fr/home/group/fundamentals/our-ethical-principals.html
Alors on tourne en rond, j’ai l’impression que c’est l’affaire de juste parcourir un graphe d’appel de fonction dont le point de départ est le « main », le problème que tu définis, et c’est vraiment pas d’une complexité folle. Si aucune fonction appelée depuis le main dans le code, et récursivement, n’appelle LIST.flatten, tu n’as besoin d’inclure aucun code relatif à cette fonction.
Ça ne m’a pas l’air d’être une question de programmation modulaire, posée comme ça, mais d’une question relative à n’importe quel langage dans lequel on peut faire des bibliothèques de fonction.
Après si tu disposes de plusieurs implémentations pour ce modules, je suppose que le compilateur Ocaml sait choisir la bonne de lui même avant de faire l’élimination du code mort ? (je te soupçonne de vouloir m’emmener sur ce terrain si tu insistes sur la notion de module)
La méta programmation n’empêche rien je pense, en C++ par exemple tu commences par constuire un équivalent de programme C++ sans template après avoir étendu les modèles (c’est déjà Turing complet par contre), une fois que tu as fais ça tu te retrouves avec un programme C++ exempt de méta programmation donc sur lequel tu peux faire la même chose que sur un langage sans méta programmation.
Pour la réflexivité, ou pour les programmes qui prévoient des plug-ins donc du chargement dynamique de code c’est autre chose effectivement. Imaginons un shell incorporé qui récupère et expose l’API par introspection du modèle du programme, tout ce qui est introspecté ne peut plus être éliminé parce que susceptible d’être appelé par l’utilisateur à l’exécution. Après c’est pareil, si l’introspection se fait sur les classes à l’étape de compilation, il doit être possible de faire l’élimination de code à la compil après cette phase. Si c’est dynamique il me semble effectivement impossible de savoir ce qui ne va pas être introspecté à la phase de compilation.
Posté par thoasm .
En réponse au journal Un développeur qui dénonce.
Évalué à 4.
Dernière modification le 04 octobre 2018 à 18:59.
Ben c’est indécidable, il me semble, parce qu’il faudrait détecter les points de code inaccessibles. Or ça impliquerait de résoudre le problème de l’arrêt sur un programme tronqué jusqu’à ce point, ce qui est indécidable. https://cs.stackexchange.com/questions/49332/proof-that-dead-code-cannot-be-detected-by-compilers C’est donc bien pire que NP-complet si tu veux ne garder que le strict nécessaire, si on ne peut même pas savoir si un point du code, donc du graphe de dépendance des routines, est accessible, il est impossible de savoir si on doit garder ou pas ces dépendances.
Ça fait partie des nombreuses conséquences fâcheuses du problèmes de l’arrêt, sauf à se « limiter » à un langage comme Coq et les restrictions que ça implique. On est donc condamnés à l’incomplétude dans la détection de code mort, donc de routines mortes, dans tous les cas. Donc pas trop la peine de disserter sur les conséquences du polymorphisme dans ce contexte, on bloque au préalable :)
Et le tout sans même parler des bibliothèques pour lesquelles on a tout simplement pas de point d’entrée :)
Le truc qui fait que la gestion des dépendances est NP-complet c’est pas le graphe de dépendance en soi, si je me trompe pas, c’est qu’à chaque dépendance on a le choix entre plusieurs versions de dépendance et les contraintes qui font que certaines de ces versions ne sont pas toutes compatibles entre elles, ce qui nous donne un genre de problème de satisfaction de contraintes.
Ici j’ai l’impression qu’une fois que tu as bien typé ton programme tu t’es débarrassé des différents choix possibles (?) Du coup la complexité est essentiellement celle du typage. Ou alors on parle de la résolution des méthodes virtuelles qui se fait éventuellement à l’exécution, et dans ce cas on est dans le cas indécidable (problème de l’arrêt) :)
Il y a pas plus ou moins décorrélation entre le code propre et lisible et l’optimisation de l’utilisation des ressources de la machine ? A moins d’avoir des compilos super forts (ce qui est de plus en plus le cas) optimiser le code nécessite souvent de le complexifier ou d’utiliser des algos plus malins mais pas forcément plus lisibles ou compréhensibles pour autant.
J’ai pas tout compris à ton commentaire, pour tout dire, je sais pas ce qu’est la nomenclature ProCom par exemple. Ptete que Linus est pas tout seul à avoir des problèmes de communications :) (et je m’inclus dans les gens qui peuvent en avoir parfois)
Cela dit, comme un commentaire le fait remarquer plus bas, il y a des moyens assez efficace de faire remarquer qu’on plaisante si on le fait : indiquer explicitement qu’on fait une citation, mettre un smiley … On a pu lire sur ce site qu’expliquer les blagues c’était les gâcher, ça peut être vrai parfois, mais les plaisanteries les plus courtes sont parfois les meilleures et si le malentendu persiste il peut être bon d’expliquer au bout d’un moment. Donner des indices qu’on plaisante a l’avantage d’indiquer la non intention d’être blessant dans le commentaire, si c’est vraiment « juste » une proportion à juste tout commenter. Dans le cas contraire, et si l’intention n’est pas d’être blessant on est plus simplement dans un problème de communication mais dans un problème d’agressivité ou de méchanceté non maîtrisée … et ce n’est pas vraiment une histoire de degré, je dirai même exactement l’inverse, le fait qu’il y ait des saillies verbalement violentes fait douter de la légèreté de ce qui l’est moins.
Et je ne comprend pas pourquoi tu parles de la qualité du travail alors qu’il est question d’insulter la maman et d’être désagréable avec la personne en utilisant des odeurs corporelles désagréables. Sans compter, sur la différentiation entre le travail d’une personne, qu’il y a une différence entre détruire le travail de quelqu’un et lui demander d’améliorer ou modifier des trucs dedans.
Euh, les sorties les plus violentes ne sont probablement que le symptôme d’un problème plus profond.
Pour prendre une métaphore médicale, quand on ne sait pas soigner une maladie chronique, on essaye de soulager les crises faute de mieux. Ça ne veut pas dire que la maladie n’existe pas et ne fait pas de dégâts en dehors.
Si il y a un problème de communication, on s’interroge sur les bonnes pratiques de communication et le fait de ne pas s’adresser de la même manière à un amis proche en privé ou sur une liste de diffusion publique à des gens moins proches en fait partie. Après sur ce cas précis c’est peut être une personne qu’il connait bien et avec laquelle il a une vraie complicité et qui le prendra pas mal, j’en sais absolument rien, mais ça ne rend pas le principe général de communication caduc. Donc non, « on » s’en fout pas (« on » est un con, comme on dit)
T’as le droit certes, mais ça devrait être un prérequis de la communication, en particulier pour une contribution technique à un projet informatique ? Je suis pas certains. Des références, je suis persuadé qu’on en rate tous constamment, et franchement à titre personnel je suis absolument certain de NE PAS vouloir les connaître toutes.
Worklow : tenter de contribuer à un projet, se prendre une insulte dans la gueule, se calmer et se demander après coup si c’était pas une référence humoristique ? Et quand bien même c’est une référence humoristique, bien des fois de la réelle agressivité est déclamée sous couvert d’humour. C’est le genre de blagues que tu peux faire à tes proches parce que tu les connais bien et qu’ils sauront à quoi s’en tenir. En l’occurrence Linus ne peut ni supposer que son interlocuteur va réagir comme il faut, ni s’adresser à une audience d’habitués sur la LKML publique donc lue par des tas de gens (aussi pour ces saillies) qui apprécient cette manière de faire, quand il s’adresse à quelqu’un en particulier et pas à la foule.
[^] # Re: Le plein s'il vous plait
Posté par thoasm . En réponse au journal [Aujourd'hui c'est vendredi] prix du carburant, association d'automobilistes. Évalué à 2. Dernière modification le 02 novembre 2018 à 09:38.
Tu est à ton tour bien affirmatif :) J’ai l’impression en lisant wikipédia que la démocratie du Royaume-Uni n’était à l’époque pas tout à fait aboutie, que les électeurs étaient soumis à un certain niveau de revenu. Le RU s’est progressivement « démocratisé » quand cette barrière est devenue accessible à de plus en plus de gens …
Moi j’ai l’impression que c’est dur de maintenir un régime politique, quel qu’il soit, quand le peuple a faim. Du coup le peuple peut avoir envie de se révolter ou de tout jeter à ce moment là. Un e manière pour un régime de survivre à ça c’est de basculer dans l’autoritarisme, l’antithèse de la démocratie quoi.
En tout cas j’ai l’impression qu’à part le processus de démocratisation du RU qui semble très progressif, tout se tient en quelques décennies, peut-être une génération … c’est un temps très court à l’échelle de l’histoire. Pas de quoi démontrer que tout est indépendant, au contraire.
[^] # Re: Le plein s'il vous plait
Posté par thoasm . En réponse au journal [Aujourd'hui c'est vendredi] prix du carburant, association d'automobilistes. Évalué à 2. Dernière modification le 01 novembre 2018 à 20:39.
Dans l’article que je cite il note bien que c’est sa propre grille d’analyse et explication qu’il propose en tout cas, il n’est pas si assertif que tu veux bien le dire. Perso je pense qu’un pays qui est peut être un peu plus faible que les autres pour des raisons structurelles soit celui qui trinque (plus que les autres) en cas de problème énergétique, n’est pas forcément idiot. Si la situation énergétique tend tout le monde, mais que les autres arrivent à s’en sortir parce qu’ils sont un poil plus robuste, un pays doit trinquer.
Si ma grille de lecture est correcte, on peut s’attendre à ce que le « manque » d’énergie ne soit pas réparti de manière homogène sur tout les pays. Grosso modo, l’allemagne étant un très gros client risque de pouvoir s’approvisionner bien après que des pays plus petit aient bu la tasse en cas de grosse crise. Le meilleur indicateur dans ce cas serait le PIB global au niveau de l’UE par exemple, et faut reconnaitre qu’il est pas forcément folichon depuis assez longtemps.
(j’avoue que j’ai un faible pour le côté complètement iconoclaste de ses thèses en matière d’analyse économique qui ne font que souligner que les économistes ne parlent que très très rarement de gestion des ressources, paradoxalement, alors que c’est une des bases de la discipline et qu’on les entend beaucoup dans les médias)
Sur révolutions politiques et industrielles, je dirai rien parce que je dirai probablement des conneries, mais je pense qu’il n’est pas forcément simple d’isoler la date de la révolution industrielle (ex dans ce document ils parlent de « quelque part entre 1750 et 1850 » https://www.persee.fr/doc/ahess_0395-2649_1991_num_46_3_278973 Ce que je crois savoir, c’est que des ingrédients nécessaire à ces révolution en commun (l’émergence de la bourgeoisie et une certaine forme d’urbanisation, les lumières et la foi dans le progrès) datent d’avant la révolution industrielle, [https://fr.wikipedia.org/wiki/Industrie#XVIIe_si%C3%A8cle] et dont évidemment les combustibles fossiles ont permis l’explosion … j’ai l’impression que c’est carrément difficile de dé-tisser tous ces fils, et que le net regorge de documents qui en discutent en tout cas :)
[^] # Re: Le plein s'il vous plait
Posté par thoasm . En réponse au journal [Aujourd'hui c'est vendredi] prix du carburant, association d'automobilistes. Évalué à 2.
C’est con qu’il ne soit pas là pour répondre à ton commentaire, ce serait intéressant.
On a rarement fait de l’analyse historique en se contentant de calcul :) Tu notera qu’à l’époque des débuts de la démocratie en france la situation n’était pas totalement stable et qu’on a même connu un démocrate … empereur. Évidemment oxymore. Qu’est-ce qui a fait « tenir » la démocratie, système totalement soluble dans la dictature ?
Dans https://jancovici.com/transition-energetique/choix-de-societe/litalie-et-lenergie-un-cas-decole/ il a le mérite de faire une prédiction qui vaut sans doute bien des prévisions savantes d’économistes analysant les réformes structurelles aux conséquences parfois hasardeuses :) Clairement tu ne peux pas effacer son explication du PIB asservi à l’énergie dépensée pour la production d’un revers de main, je pense, surtout quand il montre la robustesse de cette corrélation en long en large et en travers sur de longues périodes. A la rigueur faudrait faire le chemin en sens inverse et montrer que les autres explications qu’on pourrait trouver sont aussi prédictives et fonctionnent aussi bien. On pourrait trouver qu’une fois corrigé des variations pétrolières, elles fonctionnent, ce qui montrerait que l’efficacité des solution traditionnelle des économiste est asservie à … la disponibilité de l’énergie.
[^] # Re: Dont le nom a donné le nom.
Posté par thoasm . En réponse au journal Hiérarchie de donnée et système de fichier : monter Wikidata grâce à Fuse. Évalué à 4. Dernière modification le 31 octobre 2018 à 22:38.
Quoi ???? Il y aurait une manière plus courte et un style plus lisible ??? Je n’ose le croire.
Plus sérieusement, c’était un clin d’œil à la propriété https://www.wikidata.org/wiki/Property:P138 « nommé d’après » pour la relation d’éponymie. Cela dit une modification subséquente a cassé le lien (et je perso suis pas spécialement fan de cette manière de modéliser, mais c’est une autre histoire)
[^] # Re: Faible intérêt...
Posté par thoasm . En réponse à la dépêche Financement participatif de Low‐tech Lab. Évalué à 3.
Ton commentaire m'a interpelé sur la difficulté de trouver des exemplaires d'ouvrages à l'heure du numérique, alors j'ai tenté de savoir si il en existait des versions numériques ! Il semble que google livre puisse afficher des extraits, bon courage pour lire le truc en entier. La BNF a des versions numériques, pas publiques, mais il semble qu'on puisse en demander une reproduction :
https://achatsreproduction.bnf.fr/views/vel/demande_devis.jsf?provenance=Catalogue&urlReferer=/ark:/12148/cb366014477&AppOrigine=Catalogue
Aucune idée de si la demande est facilement accordée et du prix que *a coute par contre, si quelqu{un a tenté l'expérience je serai curieux de connaitre le résultat ;)
Cela dit il semble que des exemplaires soient dispo sans trop de difficultés en passant par des sites de vente de livre d'occasion, par ex. https://www.livre-rare-book.com/search/current.seam?maximumPrice=0.0&keywords=&firstResult=0&location=&faceted=true&ISBN=¢ury=ALL&quicksearch=jean+gimpel&smallCode=&l=fr&bookType=ALL&reference=&matchTypeList=ALL&author=&title=&description=&minimumPrice=0.0&sorting=RELEVANCE&minimumYear=0&ageFilter=ALL&keycodes=&maximumYear=0&cid=5323679
[^] # Re: Microsoft en rêvait
Posté par thoasm . En réponse au journal IBM achète Red Hat. Évalué à 5.
Ils en ont peut-être tiré les leçon … ils ont eu plusieurs stratégies dans leur looongue histoire, IBM :)
[^] # Re: en fait: pourquoi Lisp ?
Posté par thoasm . En réponse au journal Un navigateur totalement personnalisable ? En Lisp ? Next-browser. Évalué à 2.
Pharo a été envisagé, dans le genre ? https://pharo.org/
[^] # Re: Patatras !
Posté par thoasm . En réponse à la dépêche LibreOffice : nouvelle version de l’interface des écoles. Évalué à 3.
Je ne sais pas ce que tu supposes, je ne peux que supputer, mais vu le sujet de la conversation j’ai l’impression que tu ne vois pas d’un bon œil l’effet du numérique sur le niveau littéraire des enfants. Partant de là quand tu lie dans la suite de la discussion des articles sur le niveau en ortho et le QI, il me parait naturel de supputer que tu fais un lien entre les deux, au moins de manière hypothétique.
Quant-aux situation de double apprentissage, il est certain que le bilinguisme chez les petit par exemple est plus supputé d’avoir des effets bénéfiques et n’a pas d’effet néfastes dans l’apprentissage. J’ai tendance à penser que donner plusieurs points d’entrée sur des notions permet à ces différents points de se renforcer l’un l’autre ou à laisser la possibilité de donner à ceux qui sont en difficulté sur l’un des points de se raccrocher à un autre, et je crois pas que ce soit infirmé par les connaissances modernes en manière d’apprentissage …
[^] # Re: Patatras !
Posté par thoasm . En réponse à la dépêche LibreOffice : nouvelle version de l’interface des écoles. Évalué à 1. Dernière modification le 26 octobre 2018 à 12:10.
Le moins qu’on puisse dire d’après ton article, c’est que les auteurs sont frileux à attribuer les résultats de leur études aux causes que tu supposes, en tout cas.
[^] # Re: Divers
Posté par thoasm . En réponse à la dépêche Nos oignons, retours sur 2017-2018 et campagne de dons. Évalué à 4. Dernière modification le 25 octobre 2018 à 14:34.
Je vois pas trop en quoi le fait que ça soit libre ou pas intervienne en quoi que ce soit. Si le logiciel ne respecte pas les obligations légales de ce type de service ou n’est pas configuré pour les respecter, l’asso est tout simplement dans l’illégalité, libre ou pas.
[^] # Re: De la subjectivité de l'éthique
Posté par thoasm . En réponse au journal Enchanté, enchanté, enchanté. Évalué à 3. Dernière modification le 10 octobre 2018 à 10:51.
D’abord, ton exemple ne tend pas spécialement à montrer qu’il est subjectif, il tend à montrer qu’il est manipulable, ce qui est différent - si tu places un individu dans un état d’esprit ou il est encouragé à tricher, tu ne le place pas dans un état d’esprit propice à réfléchir au bien commun. Or comme l’éthique n’existe pas, ou plutôt n’a pas d’impact sur autrui, sans notion de groupe (le cas ou on est amené à juger son propre comportement est dégénéré) il est peu opportun de se placer dans un état d’esprit de triche si on doit réfléchir au bien et au mal.
Pour transcrire ce sens de la justice dans le droit par exemple, il est nécessaire de l’objectiver. Nos conceptions de l’éthiques évoluent, certains parlent même de « progrès » dans l’éthique ou de la morale en tant que discipline, mais je te suivrai pas si tu dis que si c’est évolutif c’est forcément subjectif. Parce que ce qu’on considère comme éthique est la conséquence de réflexions philosophique, qui peuvent s’opposer, certes, mais qui globalement s’enrichir et qui sont bel et bien un processus d’objectivisation et de recherche d’invariants.
[^] # Re: De la subjectivité de l'éthique
Posté par thoasm . En réponse au journal Enchanté, enchanté, enchanté. Évalué à 8.
Dans le cas cité de l’éthique pro, ce n’est pas seulement une question d’éthique perso mais aussi de conflit de loyauté entre deux groupe. Le cas des lanceurs d’alertes en est l’illustration, ceux qui dénoncent des comportements qu’ils jugent non éthiques de leur employeur risquent de se voir renvoyer le devoir de loyauté qu’ils ont envers leur employeur, y compris par la loi. Exemple avec Sodexo dont l’éthique interne inclue la Loyauté : https://www.sodexo.com/fr/home/group/fundamentals/our-ethical-principals.html
[^] # Re: 10°
Posté par thoasm . En réponse au lien Rapport spécial du GIEC sur les conséquences d’un réchauffement planétaire de 1,5 °C . Évalué à 5.
Il y a l’échelle, mais aussi le fait d’être parfaitement conscient de ce qui se passe à cette échelle …
[^] # Re: À boire et à manger
Posté par thoasm . En réponse au journal Un développeur qui dénonce. Évalué à 3.
Alors on tourne en rond, j’ai l’impression que c’est l’affaire de juste parcourir un graphe d’appel de fonction dont le point de départ est le « main », le problème que tu définis, et c’est vraiment pas d’une complexité folle. Si aucune fonction appelée depuis le main dans le code, et récursivement, n’appelle LIST.flatten, tu n’as besoin d’inclure aucun code relatif à cette fonction.
Ça ne m’a pas l’air d’être une question de programmation modulaire, posée comme ça, mais d’une question relative à n’importe quel langage dans lequel on peut faire des bibliothèques de fonction.
Après si tu disposes de plusieurs implémentations pour ce modules, je suppose que le compilateur Ocaml sait choisir la bonne de lui même avant de faire l’élimination du code mort ? (je te soupçonne de vouloir m’emmener sur ce terrain si tu insistes sur la notion de module)
[^] # Re: À boire et à manger
Posté par thoasm . En réponse au journal Un développeur qui dénonce. Évalué à 2.
La méta programmation n’empêche rien je pense, en C++ par exemple tu commences par constuire un équivalent de programme C++ sans template après avoir étendu les modèles (c’est déjà Turing complet par contre), une fois que tu as fais ça tu te retrouves avec un programme C++ exempt de méta programmation donc sur lequel tu peux faire la même chose que sur un langage sans méta programmation.
Pour la réflexivité, ou pour les programmes qui prévoient des plug-ins donc du chargement dynamique de code c’est autre chose effectivement. Imaginons un shell incorporé qui récupère et expose l’API par introspection du modèle du programme, tout ce qui est introspecté ne peut plus être éliminé parce que susceptible d’être appelé par l’utilisateur à l’exécution. Après c’est pareil, si l’introspection se fait sur les classes à l’étape de compilation, il doit être possible de faire l’élimination de code à la compil après cette phase. Si c’est dynamique il me semble effectivement impossible de savoir ce qui ne va pas être introspecté à la phase de compilation.
[^] # Re: À boire et à manger
Posté par thoasm . En réponse au journal Un développeur qui dénonce. Évalué à 4. Dernière modification le 04 octobre 2018 à 18:59.
Ben c’est indécidable, il me semble, parce qu’il faudrait détecter les points de code inaccessibles. Or ça impliquerait de résoudre le problème de l’arrêt sur un programme tronqué jusqu’à ce point, ce qui est indécidable. https://cs.stackexchange.com/questions/49332/proof-that-dead-code-cannot-be-detected-by-compilers C’est donc bien pire que NP-complet si tu veux ne garder que le strict nécessaire, si on ne peut même pas savoir si un point du code, donc du graphe de dépendance des routines, est accessible, il est impossible de savoir si on doit garder ou pas ces dépendances.
Ça fait partie des nombreuses conséquences fâcheuses du problèmes de l’arrêt, sauf à se « limiter » à un langage comme Coq et les restrictions que ça implique. On est donc condamnés à l’incomplétude dans la détection de code mort, donc de routines mortes, dans tous les cas. Donc pas trop la peine de disserter sur les conséquences du polymorphisme dans ce contexte, on bloque au préalable :)
Et le tout sans même parler des bibliothèques pour lesquelles on a tout simplement pas de point d’entrée :)
[^] # Re: À boire et à manger
Posté par thoasm . En réponse au journal Un développeur qui dénonce. Évalué à 3.
Le truc qui fait que la gestion des dépendances est NP-complet c’est pas le graphe de dépendance en soi, si je me trompe pas, c’est qu’à chaque dépendance on a le choix entre plusieurs versions de dépendance et les contraintes qui font que certaines de ces versions ne sont pas toutes compatibles entre elles, ce qui nous donne un genre de problème de satisfaction de contraintes.
Ici j’ai l’impression qu’une fois que tu as bien typé ton programme tu t’es débarrassé des différents choix possibles (?) Du coup la complexité est essentiellement celle du typage. Ou alors on parle de la résolution des méthodes virtuelles qui se fait éventuellement à l’exécution, et dans ce cas on est dans le cas indécidable (problème de l’arrêt) :)
Sinon les compilateur font déjà de l’élimination de code : https://en.wikipedia.org/wiki/Dead_code_elimination Ils n’éliminent évidemment pas forcément le code dont ils ne sont pas sur qu’il sert à rien.
[^] # Re: Excusez-moi
Posté par thoasm . En réponse au journal [HS] [Rubrique nécrologique] Charles Aznavour bronsonisé.. Évalué à 4.
Et maintenant on peut rajouter la tradition de rappeler l’historique !
[^] # Re: Nous les anciens
Posté par thoasm . En réponse au journal Journal qui dénonce [E13S20]. Évalué à 4.
Ptete qu'un ticket 《 promouvoir un lien en journal 》interesserait la horde de contributeurs au code du site !
[^] # Re: TL ; DR
Posté par thoasm . En réponse au lien Software disenchantment. Évalué à 3.
Il y a pas plus ou moins décorrélation entre le code propre et lisible et l’optimisation de l’utilisation des ressources de la machine ? A moins d’avoir des compilos super forts (ce qui est de plus en plus le cas) optimiser le code nécessite souvent de le complexifier ou d’utiliser des algos plus malins mais pas forcément plus lisibles ou compréhensibles pour autant.
[^] # Re: patch linus
Posté par thoasm . En réponse au journal Linus confie momentanément les rênes du noyau à Greg KH. Évalué à 2.
J’ai pas tout compris à ton commentaire, pour tout dire, je sais pas ce qu’est la nomenclature ProCom par exemple. Ptete que Linus est pas tout seul à avoir des problèmes de communications :) (et je m’inclus dans les gens qui peuvent en avoir parfois)
Cela dit, comme un commentaire le fait remarquer plus bas, il y a des moyens assez efficace de faire remarquer qu’on plaisante si on le fait : indiquer explicitement qu’on fait une citation, mettre un smiley … On a pu lire sur ce site qu’expliquer les blagues c’était les gâcher, ça peut être vrai parfois, mais les plaisanteries les plus courtes sont parfois les meilleures et si le malentendu persiste il peut être bon d’expliquer au bout d’un moment. Donner des indices qu’on plaisante a l’avantage d’indiquer la non intention d’être blessant dans le commentaire, si c’est vraiment « juste » une proportion à juste tout commenter. Dans le cas contraire, et si l’intention n’est pas d’être blessant on est plus simplement dans un problème de communication mais dans un problème d’agressivité ou de méchanceté non maîtrisée … et ce n’est pas vraiment une histoire de degré, je dirai même exactement l’inverse, le fait qu’il y ait des saillies verbalement violentes fait douter de la légèreté de ce qui l’est moins.
Et je ne comprend pas pourquoi tu parles de la qualité du travail alors qu’il est question d’insulter la maman et d’être désagréable avec la personne en utilisant des odeurs corporelles désagréables. Sans compter, sur la différentiation entre le travail d’une personne, qu’il y a une différence entre détruire le travail de quelqu’un et lui demander d’améliorer ou modifier des trucs dedans.
[^] # Re: patch linus
Posté par thoasm . En réponse au journal Linus confie momentanément les rênes du noyau à Greg KH. Évalué à 4.
Euh, les sorties les plus violentes ne sont probablement que le symptôme d’un problème plus profond.
Pour prendre une métaphore médicale, quand on ne sait pas soigner une maladie chronique, on essaye de soulager les crises faute de mieux. Ça ne veut pas dire que la maladie n’existe pas et ne fait pas de dégâts en dehors.
Si il y a un problème de communication, on s’interroge sur les bonnes pratiques de communication et le fait de ne pas s’adresser de la même manière à un amis proche en privé ou sur une liste de diffusion publique à des gens moins proches en fait partie. Après sur ce cas précis c’est peut être une personne qu’il connait bien et avec laquelle il a une vraie complicité et qui le prendra pas mal, j’en sais absolument rien, mais ça ne rend pas le principe général de communication caduc. Donc non, « on » s’en fout pas (« on » est un con, comme on dit)
[^] # Commentaire supprimé par son auteur
Posté par thoasm . En réponse au journal Linus confie momentanément les rênes du noyau à Greg KH. Évalué à 1. Dernière modification le 18 septembre 2018 à 11:18.
.
[^] # Re: patch linus
Posté par thoasm . En réponse au journal Linus confie momentanément les rênes du noyau à Greg KH. Évalué à 6. Dernière modification le 18 septembre 2018 à 11:18.
C’est d’autant plus dommage que les amandes, c’est bon.
[^] # Re: patch linus
Posté par thoasm . En réponse au journal Linus confie momentanément les rênes du noyau à Greg KH. Évalué à 5.
T’as le droit certes, mais ça devrait être un prérequis de la communication, en particulier pour une contribution technique à un projet informatique ? Je suis pas certains. Des références, je suis persuadé qu’on en rate tous constamment, et franchement à titre personnel je suis absolument certain de NE PAS vouloir les connaître toutes.
Worklow : tenter de contribuer à un projet, se prendre une insulte dans la gueule, se calmer et se demander après coup si c’était pas une référence humoristique ? Et quand bien même c’est une référence humoristique, bien des fois de la réelle agressivité est déclamée sous couvert d’humour. C’est le genre de blagues que tu peux faire à tes proches parce que tu les connais bien et qu’ils sauront à quoi s’en tenir. En l’occurrence Linus ne peut ni supposer que son interlocuteur va réagir comme il faut, ni s’adresser à une audience d’habitués sur la LKML publique donc lue par des tas de gens (aussi pour ces saillies) qui apprécient cette manière de faire, quand il s’adresse à quelqu’un en particulier et pas à la foule.