kantien a écrit 1248 commentaires

Il n'y a pas toujours place a côté des routes et surtout il n'y a pas toujours un plein soleil (des arbres, des maisons: des trucs qui font de l'ombre)

Donc le problème est que le bord des routes est souvent ombré mais, par un miracle inexplicable, la route elle-même bénéficie d'un parfait ensoleillement, et ce malgré le passage des véhicules. Le coût de production du kWh sera sans doute tout aussi surprenant…

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Donc, comment détermines-tu le prix à payer pour une recharge?

En fonction de la quantité d'énergie consommée pour la recharge ? C'est pas le problème du fournisseur d'électricité si ta batterie est vieille et qu'elle ne rend qu'une faible portion de l'énergie. Les distributeurs d'électricité indexent-ils leurs tarifs du kWh en fonction de l'état de vieillissement des batteries des smartphones ou des ordinateurs portables ?

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Bref, je crois que vais aller respirer les oiseaux car ça me fous toujours autant en pétard cette indifférence totale envers les conditions de travail dans la marine marchande, même 20 ans après, on ce soucie toujours plus des mouettes mazoutés que des équipages …

En même temps, aux grands maux les grands remèdes : il faut guérir la planète Terre de ce cancer qu'est l'humanité !

We should not be living in human communities that enclose tiny preserved ecosystems within them. Human communities should be maintained in small population enclaves within linked wilderness ecosystems. No human community should be larger than 20,000 people and separated from other communities by wilderness areas. Communication systems can link the communities. […]

We need to radically and intelligently reduce human populations to fewer than one billion. We need to eliminate nationalism and tribalism and become Earthlings. And as Earthlings, we need to recognize that all the other species that live on this planet are also fellow citizens and also Earthlings. This is a planet of incredible diversity of life-forms; it is not a planet of one species as many of us believe. […]

Sea transportation should be by sail. The big clippers were the finest ships ever built and sufficient to our needs. Air transportation should be by solar powered blimps when air transportation is necessary. […]

Curing a body of cancer requires radical and invasive therapy, and therefore, curing the biosphere of the human virus will also require a radical and invasive approach

It won't be easy but then it's better than the alternative.

The Beginning of the End for Life as We Know it on Planet Earth? by Paul Watson

Traduction approximative :

Nous ne devrions pas vivre dans des communautés humaines qui enferment de petits écosystèmes préservés. Les communautés humaines devraient être contenues dans de espaces de faible population à l'intérieur d'écosystèmes sauvages liés entre eux. Aucune communauté humaine ne devrait dépasser les 20 000 individus, et devrait être séparée des autres communautés par des espaces sauvages. Les systèmes de communication peuvent relier les communautés. […]

Nous devons radicalement et intelligemment réduire la population humaine à moins d’un milliard d’individus. Nous avons besoin d'éliminer le nationalisme et le tribalisme, et devenir Terriens. Et en tant que Terriens, nous devons reconnaître que les autres espèces qui vivent sur cette planète sont aussi des concitoyens et des terriens. C'est une planète d'une incroyable diversité dans ses formes de vies; ce n'est pas la planète d'une seule espèce comme beaucoup d'entre nous le croient. […]

Le transport maritime devrait être à voile. Le grand clipper était le meilleur bateau jamais construit et suffisant pour nos besoins. Le transport aérien devrait être effectué par des dirigeables à énergie solaire, lorsque le transport aérien est nécessaire. […]

Soigner le corps d’un cancer nécessite une thérapie invasive et radicale, et par conséquent, soigner la biosphère du virus humain devra aussi nécessiter une approche invasive et radicale.

Ce ne sera pas facile, mais c'est meilleur que l'autre issue.

Alors bon ! Gérard, au lieu de réparer ta mobylette ou d'aller respirer les oiseaux, va donc réparer ton bateau à voile ! :-P

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Ceci étant… Pour les personnes transgenres, t’es tellement largement en-dessous des estimations les plus basses! O_o

D’après le Williams Institute 0,3% de la population aux États-Unis est transgenre (en se basant sur deux précédentes études: une menées dans le Massachusetts et une sur la consommation de tabac chez la population LGBT)

How Frequently Does Transsexualism Occur? nous donne entre 1 et 2% de femmes transgenres aux États-Unis (berk pour le nom mais ils se basent sur le nombre de chirurgies génitales pour obtenir l’estimation la plus basse).

Une étude de 2001 nous donne une estimation de 1% de personnes transgenres en Grande Bretagne. Une revue de plusieurs études faites au Royaume-Uni établit qu’il y aurait 1,3% de personnes transgenres, et les personnes non-binaires ne seraient pas négligeable et représenteraient 0,4% de la population britannique (estimation basse).

Y a pas d’études en France car on y est très très en retard sur les questions de genre (on reste bloqué à la manif pour tous, c’est triste) et les questions trans par rapport aux États-Unis et à la Grand-Bretagne.

Tant il est vrai que la population mondiale se limite aux États-Unis et à la Grande-Bretagne… Et si on rajoute la Chine, l'Inde ou le continent Africain, ça donne quoi ?

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Son interprétation n'est pas si abusive que cela.
Le texte de l'article 49, depuis la révision constitutionnelle de juillet 2008 ¹, est le suivant :

Le Premier ministre, après délibération du Conseil des ministres, engage devant l'Assemblée nationale la responsabilité du Gouvernement sur son programme ou éventuellement sur une déclaration de politique générale.

L'Assemblée nationale met en cause la responsabilité du Gouvernement par le vote d'une motion de censure. Une telle motion n'est recevable que si elle est signée par un dixième au moins des membres de l'Assemblée nationale. Le vote ne peut avoir lieu que quarante-huit heures après son dépôt. Seuls sont recensés les votes favorables à la motion de censure qui ne peut être adoptée qu'à la majorité des membres composant l'Assemblée. Sauf dans le cas prévu à l'alinéa ci-dessous, un député ne peut être signataire de plus de trois motions de censure au cours d'une même session ordinaire et de plus d'une au cours d'une même session extraordinaire.

Le Premier ministre peut, après délibération du Conseil des ministres, engager la responsabilité du Gouvernement devant l'Assemblée nationale sur le vote d'un projet de loi de finances ou de financement de la sécurité sociale. Dans ce cas, ce projet est considéré comme adopté, sauf si une motion de censure, déposée dans les vingt-quatre heures qui suivent, est votée dans les conditions prévues à l'alinéa précédent. Le Premier ministre peut, en outre, recourir à cette procédure pour un autre projet ou une proposition de loi par session.

Le Premier ministre a la faculté de demander au Sénat l'approbation d'une déclaration de politique générale.

Article 49 de la constitution

Si l'Assemblée dépose une motion de censure et qu'elle est acceptée, alors le texte est rejeté et le gouvernement est renversé. Ce qui corresponde bien a : « il y en a marre, alors c'est tout (ma décision) ou rien (et vous me virez) ». Si en pratique, les motions de censure ne sont pas validées, c'est parce que l'Assemblée choisit l'option : « c'est tout »; mais rien dans le texte de la constitution ne l'oblige à accepter. L'article 49-3, comment ça marche ?

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

« Ceci n'est pas une colonie de moules »

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Je le sais bien, mais dans un message volontairement trollesque la malhonnêteté et la mauvaise foi sont de rigueur : on grossit le trait. :-P

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Passage en force d'une loi par le pouvoir exécutif d'après l'article 49 alinéa 3 de la constitution de la Vème République : en gros, ici, les admins imposent leur point de vue ! (quand on dit que le mode de gouvernance de linuxfr est despotique… :-P)

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Pour rendre à César ce qui est à César, dans un journal de poum-poum-poum qui deviendra blablabla dès le lendemain. ;-)

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Quoi ! la quenelle est exclue de la tradition de HS sur les recettes de cuisine ? Alors pourquoi permettre les pâtes au bleu ? Je m'insurge ! Les régimes totalitaires ont tous commencé ainsi, en douceur, pour finir par banaliser le mal. On commence par la quenelle, puis c'est les pâtes au bleu et ça finit par l'ostracisation du camembert…

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

crainte de la cabale menée par une partie de l'équipe du site à propos de ma menace de forker le site ?

Trop tard ! le fork est déjà en place, un complot des suppôts de la pomme !

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Si j'ai bien compris l'idée, elle est assez proche de celle que j'avais présentée pour implémenter des tableaux persistants (avec explication ici pour le principe de fonctionnement de la structure). Dans le cas des tableaux persistants (qui est un graphe de commit sur la structure) la fonction reroot est l'équivalent de sa fonction match pour effectuer ce qu'il appelle active patterns. Avec la différence qu'il implémente tout cela avec du fonctionnel pur, là où l'autre structure utilise des effets de bords. C'est bien cela ? Tout graphe peut être représenté de multiple façons dans la structure, mais on définit une relation d'équivalence (deux structures sont équivalentes si elles représentent le même graphe) et dans chaque classe d'équivalence on prend une structure qui a le nœud désiré comme dernier ajout (une sorte de forme canonique relativement au nœud sur lequel on souhaite travailler) ?

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Je suis assez partagé sur ce point. Au bout d'un moment, si on veut participer à la vie citoyenne d'un pays, il faut peut-être prendre la nationalité, non ?

Encore faut-il le pouvoir même si l'on en a la volonté. Je suis opposé au principe du droit de vote des étrangers aux élections municipales pour des raisons essentiellement formelles : le droit de vote est un droit du citoyen et non un droit de l'homme, et la composition des conseils municipaux a une incidence sur la composition du collège des grands électeurs et donc, in fine, du Sénat.

Néanmoins, si sa proposition avait été d'ouvrir un débat sur une possible réforme des démarches administratives et des conditions d'accès à la citoyenneté française, j'y aurait été favorable. Mais là encore, c'était une proposition de consensus mou pour ne pas trop exciter les nationalistes et les frontistes — et encore, même de ce point de vue, je ne suis pas certain de l'efficacité de l'approche.

J'en avais discuté, à l'époque de la campagne, avec une trentenaire marocaine qui vivait en France depuis l'âge de 8 ans, et qui n'arrivait toujours pas à obtenir la citoyenneté française. Ce en quoi je lui avais expliqué que les conséquences des élections municipales ne se limitaient pas aux décisions locales, et qu'il me semblait plus acceptable qu'elle obtienne la citoyenneté pleine et entière et tous les droits qui s'ensuivent (comme la participation à toutes les élections).

P.S : je préfère le concept de citoyenneté à celui de nationalité, mais c'est là un point de détail sans grande importance.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Arf ! Je fais dans le combo. J'ai pourtant fait récemment un commentaire pour défendre la grammaire, et une relecture ne suffit pas toujours à corriger les fautes — surtout si on la fait trop rapidement et en diagonale. Ce qui montre bien l'utilité que pourrait avoir un outil comme grammalecte quand il sera intégré au navigateur. Un compilateur qui souligne les erreurs de typage, cela sert à tout le monde : qui n'a jamais fait d'erreurs de typage dans son code même après relecture ? Dans le cas présent, je n'avais mis au début que Bouddha comme sujet, puis j'ai rajouté Kant mais n'ai pas corrigé la conjugaison du verbe. Une des erreurs les plus fréquentes que je dois faire, quand je dactylographie mes textes, est de transformer l'adverbe peu en un forme conjuguée du verbe pouvoir : peut (sans doute un réflexe automatisé, type pavlovien, du au fait que j'écris plus souvent le second que le premier).

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Oh si ! il aurait pu la faire, mais pas par étourderie, l'orthographe c'est le cadet de ses soucis. Tout comme lire Kant dans le texte, il me charrie avec ça en imitant les inconnus dans les 3 frères : « et qu'est-ce qu'il dirait Kant ? Et bien, Kant il dirait qu'on est dans la merde ! » :-P. Alors je le lui réponds en paraphrasant un recueil de conte bouddhiste qu'il m'a offert (dans lequel Bouddha casse un vase en affirmant que ce dernier n'existe pas) et lui dit : « Kant et Bouddha avait raison, tes salles de bain n'existent pas, et le fruit de ton travail n'est qu'une illusion ». :D

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Et quand tu élis quelqu'un qui devient grand électeur, ça ne te donne aucun "droit de regard législatif" sur les personnes pour lesquelles il a lui-même a pu voter, faudrait arrêter de délirer.

Tu essayes donc de m'expliquer que quand tu as le pouvoir d'influencer la composition du corps des grands électeurs, tu n'as pas aussi, de facto, une influence sur les personnes qu'il nommera. Tu as une drôle de conception du suffrage indirect.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Ah, vous allez avoir des partis comme chez nous alors : "charia for France", "jeunes musulmans de [EntrezRégion]", des machins trop sympa encourageant le viols, l'inégalité, l'islamisme forcé/d'état bref le non "vivre ensemble" (expression très à la mode depuis les attentats de Bruxelles).

C'est de l'humour que je n'ai pas saisi ? Quel est le rapport avec la choucroute ? Toute personne résidant en France, et n'étant pas citoyenne de l'UE, est-elle nécessairement de confession musulmane ? Nombre de citoyens français sont de confession musulmane, et il existe un parti des démocrates musulmans français. On a aussi le parti des chrétiens démocrates.

De fait le Sénat est composé de nombreux sénateurs-maires, et les conseillers municipaux représentent une grande part des grands électeurs chez nous. En quoi un citoyen américain, par exemple, pourrait disposer d'un pouvoir indirect sur la composition de notre Sénat, Sénat qui est une des deux chambres législatives ?

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Et vous, vous pensez quoi du bicamérisme ?

Sur le principe, je dirais que cela permet peut être une meilleure représentativité des collectivités locales au niveau législatif et atténue la structure centralisée de l'État français; même si, de part ses institutions, notre État n'est pas fédéral.

Néanmoins, l'existence du bicamérisme en France est à nouveau révélateur de la conception hollandesque de nos instituions. N'avait-il point, dans ses promesses électorales, l'extension du droit de vote aux étrangers non communautaires aux élections municipales ? Ce qui reviendrait, par le bien du suffrage indirect via le Sénat, à leur accorder un droit de regard législatif sur tout le territoire.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

À qui tu fais référence, voulais-tu dire ? Au hasard : Christiane Taubira qui a démissionné pour désaccord profond sur la question de la déchéance de nationalité ?

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

il [vaut] mieux aller dormir à l'hôtel 100€ plutôt que de dormir gratos chez un pote car l'hôtel et déductible du revenu donc moins d'impôt (factuellement, c'est vrai… je vous laisser deviner la stupidité de la chose).
2 exemple, venant… d'un Bac+5

Ah oui, quand même ! Dépenser 100, pour réduire ses impôts de 20 : quel grand bénéfice !
Tu me diras, il y a une variante de ce sophisme sur la réduction d'impôt qui est un don : tu as 100, d'habitude je te prends 30, mais là je te prends que 20, donc je te donne 10. /o\

Pour ce qui est du niveau d'étude nécessaire, j'en parlerai à une de mes connaissances. Il a un CAP et à commencer en faisant les 3-8 chez Michelin. Pour arrondir ses fins de mois, avec des potes il installait des cuisines, des meubles chez des gens (au black). Il s'est dit : je vais monter ma boîte d'installation de cuisine. Il s'est associé avec un margoulin, ça a fait faillite. Pas de soucis, il en a remonté une mais cette fois il vend et pose des salles de bain. Et ma foi, il est plutôt satisfait de sa situation.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

De ce que j'ai compris du type Either en Haskell, il est identique au type Result en Elm.

En Haskell la définition est :

date Either a b = Left a | Right b

en Elm, selon ton lien c'est :

type Result error value = Ok value | Err error

et en OCaml, son équivalent est :

type ('a,'b) result = Ok of 'a | Error of 'b

Et à l'usage, on les emploie pareil : soit le calcul s'est bien passé est on renvoie du Ok (ou Right en Haskell), soit il y a eu une erreur et on la propage via Err, Error ou Left.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Je vois pas comment c'est possible :

Signature minimale d'un graphe et exemples d'implémentation en OCaml

type graph
type vertex

val iter_vertex : (vertex -> unit) -> graph -> unit
(** Parcourt les sommets du graphe en appliquant la fonction passée en argument à chacun d'eux *)

val iter_succ : (vertex -> unit) -> graph -> succ -> unit
(** Comme l'autre mais se limite aux successeurs d'un sommet donné *)

Quelques algorithme classiques sur les graphes : comme le parcours en largeur, le parcours en profondeur, le plus court chemin…

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

(c'est très jésuite : si tu poses une question, c'est que tu as déjà la réponse, ce pour quoi ils répondent par une question ces cons, genre « t'es sûr ? », ils ont d'autres méthodes plus élaborées… J'en ferai un nourjal un jour, ou pas).

Ils n'ont pas complètement tort les jésuites sur le coup, et ça me rappelle ce que nous avez dit un professeur lorsque j'étais encore étudiant : pour faire un bon chercheur, il ne faut pas seulement savoir répondre aux questions, mais savoir se poser les bonnes questions (sous-entendu que la réponse, ou le chemin qui mène à elle, se trouve déjà dans la question).

Néanmoins, je doute qu'il fût affilié de près ou de loin à l'ordre des jésuites, nous ayant fait hurler de rire avec cette anecdote : « je lisais ce matin que le Pape [Jean Paul II à l'époque] avait sanctifié autant de personnes que tous le Papes précédents réunis. Sachant que ces dix dernières années on a publié autant d'écrits mathématiques que depuis l'Antiquité, si un jour vous écrivez un article inutile [ou un commentaire inutile sur linuxfr :-P] vous pourrez vous considérez en bijection avec un sanctifié du Pape. \o/ »

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

En quoi est-ce que c'est un type abstrait ?

Un type abstrait est un type encapsulé dans un module dont on cache la représentation concrète à l'utilisateur. Ainsi, il ne peut manipuler les données de ce types que via les fonctions exportées par le module, ce qui permet de garantir des invariants sur la structure de données (à condition que les fonctions la manipulant soient bien codées, cela va de soi ;-)

En OCaml ça peut donner cela, avec un fichier d'interface password.mli

type t
val create_pwd : string -> t

et dans le fichier qui implémente l'interface password.ml tu as

type t = string (* le type t est un alias du type string mais l'utilisateur ne le sait pas *)
let create_pwd s = (* mon über code générant des mots de passe *)

et l'utilisateur ne pourra jamais manipuler les mots de passe comme des string.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.

Tu devrais lire l'article de Jacques Garrigue que j'ai donnée en lien, tu devrais y trouver les réponses à tes questions.

Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.