Ben le truc c’est que quand un seul moteur majoritairement utilisé contrôlé par un seul acteur, cet acteur fait un peu ce qu’il veut et contrôle l’évolution des technos web sans s’embarrasser de l’avis d’organismes comme le w3c ou des implémentations concurrentes. Le fait que le code soit libre est une avancée probablement par rapport à l’époque « un acteur avec un moteur proprio fait ce qu’il veut », mais sans doute un recul face à la situation « on a un standard ouvert et on peut vérifier la conformation au standard » et « on prend la peine de tester si ça marche avec plusieurs navigateurs ».
La question initiale c’était « si Mozilla avit mis le paquet sur la réutilisabilité de leur moteur, serait-on arrivé à un point différent ? » et j’en suis pas persuadé. Google ou Apple auraient pu forker Gecko si ils en avaient eu l’envie et faire leur développements dans leurs coins. La différence aurait-été que la mofo aurait probablement eu plus de facilité à réintégrer le code de Google dans le leur au besoin (au moins au début).
Est-ce qu'on a vraiment besoin de plusieurs implémentations concurrentes du rendu des pages web, ou est-ce que ça serait mieux d'avoir plein de gens d'horizons divers contribuant à Blink ou à WebKit, de façon à ce que ces projets ne soient pas majoritairement sous le contrôle de Google et Apple?
On a bien vu ce qui s’est passé avec KHTML : Apple a fait comme il l’entendait à l’époque du fork, ils joueront le jeu … ou pas en fonction de leur intérêt du moment.
En revanche, il faut avoir du temps à y consacrer pour arriver à suivre le rythme, car il y a plusieurs développeurs qui travaillent à plein temps sur le projet et qui ont leurs propres priorités
La question du 32 bits ou pas est assez anecdotique du point de vue standardisation, mais elle l’est pas du point de vue implémentation par contre. Mais il me semble évident qu’il y a assez peu de chances qu’un acteur plus petit arrive à suivre leur rythme et à rentrer sur le marché une fois qu’un tel acteur a pris le contrôle d’un projet, si ils mettent un coup de rein ils larguent tous le monde à part les acteurs de leur propre taille. Sachant que le web est quand même une brique de construction des communs numériques absolument essentielle, il me parait important de garder une porte ouverte au cas ou un tel acteur déciderai de plus jouer le jeu de l’ouverture.
En même temps, l’alternative est venue de KHTML si je me souviens bien … une alternative libre donc … Ça n’a pas empêché la dérive, bien que sur le papier on puisse bien voir ça comme un enrichissement de la diversité des moteurs.
Dans les faits, si Gecko avait pris ce rôle, je suis pas certain que le même scénario de fork par les gros ne se serait pas produit.
Ils ont fait standardiser des trucs de XUL dans HTML, apparemment. Ça met un peu en lumière le fait qu’il y a dans le HTML, donc des technos au coeur de Firefox, de quoi faire une interface, des Widgets et tout. Du coup le découplage entre ff et le toolkit qu’ils utilisent pour l’interface n’est pas si évident que tu le suggères, au contraire en fait.
Je crois pas que décoder les expressions du visage demande des efforts au cerveau, il fait ça de manière totalement routinière et très efficace. C’est probablement plus une aide qu’autre chose dans certain cas : tu détectes plus facilement si l’orateur veut insister sur un point, a fait un trait d’humour etc. qu’avec simplement du texte ou à l’inverse ce genre de chose est plus dur à décoder et nécessite de l’interprétation.
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.
[^] # Re: From the past
Posté par thoasm . En réponse au journal Microsoft serait en train de développer un navigateur web basé sur Chromium. Évalué à 4.
Ben le truc c’est que quand un seul moteur majoritairement utilisé contrôlé par un seul acteur, cet acteur fait un peu ce qu’il veut et contrôle l’évolution des technos web sans s’embarrasser de l’avis d’organismes comme le w3c ou des implémentations concurrentes. Le fait que le code soit libre est une avancée probablement par rapport à l’époque « un acteur avec un moteur proprio fait ce qu’il veut », mais sans doute un recul face à la situation « on a un standard ouvert et on peut vérifier la conformation au standard » et « on prend la peine de tester si ça marche avec plusieurs navigateurs ».
La question initiale c’était « si Mozilla avit mis le paquet sur la réutilisabilité de leur moteur, serait-on arrivé à un point différent ? » et j’en suis pas persuadé. Google ou Apple auraient pu forker Gecko si ils en avaient eu l’envie et faire leur développements dans leurs coins. La différence aurait-été que la mofo aurait probablement eu plus de facilité à réintégrer le code de Google dans le leur au besoin (au moins au début).
On a bien vu ce qui s’est passé avec KHTML : Apple a fait comme il l’entendait à l’époque du fork, ils joueront le jeu … ou pas en fonction de leur intérêt du moment.
La question du 32 bits ou pas est assez anecdotique du point de vue standardisation, mais elle l’est pas du point de vue implémentation par contre. Mais il me semble évident qu’il y a assez peu de chances qu’un acteur plus petit arrive à suivre leur rythme et à rentrer sur le marché une fois qu’un tel acteur a pris le contrôle d’un projet, si ils mettent un coup de rein ils larguent tous le monde à part les acteurs de leur propre taille. Sachant que le web est quand même une brique de construction des communs numériques absolument essentielle, il me parait important de garder une porte ouverte au cas ou un tel acteur déciderai de plus jouer le jeu de l’ouverture.
[^] # Re: From the past
Posté par thoasm . En réponse au journal Microsoft serait en train de développer un navigateur web basé sur Chromium. Évalué à 2. Dernière modification le 05 décembre 2018 à 11:39.
En même temps, l’alternative est venue de KHTML si je me souviens bien … une alternative libre donc … Ça n’a pas empêché la dérive, bien que sur le papier on puisse bien voir ça comme un enrichissement de la diversité des moteurs.
Dans les faits, si Gecko avait pris ce rôle, je suis pas certain que le même scénario de fork par les gros ne se serait pas produit.
[^] # Re: Wayland impacte les applis ?
Posté par thoasm . En réponse au lien Firefox Nightly prend maintenant en charge (expérimentalement) Wayland. Évalué à 3.
Ils ont fait standardiser des trucs de XUL dans HTML, apparemment. Ça met un peu en lumière le fait qu’il y a dans le HTML, donc des technos au coeur de Firefox, de quoi faire une interface, des Widgets et tout. Du coup le découplage entre ff et le toolkit qu’ils utilisent pour l’interface n’est pas si évident que tu le suggères, au contraire en fait.
[^] # Re: Je pense que l'on tient le nouveau TapTempo
Posté par thoasm . En réponse au journal recherche-totoz en JavaScript. Évalué à 5. Dernière modification le 30 novembre 2018 à 18:11.
Et comme exercice de composition de code, à chaque tap un totoz aléatoire s’affiche !
[^] # Re: Les paroles s'envolent, les écrits restent
Posté par thoasm . En réponse au lien Éric Sadin : l'asservissement par l'Intelligence Artificielle ?. Évalué à 3.
Je crois pas que décoder les expressions du visage demande des efforts au cerveau, il fait ça de manière totalement routinière et très efficace. C’est probablement plus une aide qu’autre chose dans certain cas : tu détectes plus facilement si l’orateur veut insister sur un point, a fait un trait d’humour etc. qu’avec simplement du texte ou à l’inverse ce genre de chose est plus dur à décoder et nécessite de l’interprétation.
[^] # 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.