J'ai trouvé un truc pour que ça marche, mais je reste curieux savoir pourquoi ça ne marchait pas, en effet, en créant le module ainsi
moduleA_marche_pas:(Aiwithtypeb=Int_set.elt)=A(Int_set);;(*et on se retrouve avecmodule A_marche_pas : sig type a type b = Int_set.elt val f : b -> a endet donc A_marche_pas.f (1:int);; de type A_marche_pas.a = <abstr>, comme on veut !*)
Ça marche. Mais je ne comprend pas pourquoi le compilo ne peut deviner cette égalité avec l'inférence. La gestion des modules n'a pas l'air super jolie. Ces signes = qui ne désignent pas une égalité, pas de transparence référentielle…
Je serais ravis de connaître les raisons de ces limites :)
Petit tes parents t'ont lâché dans une fosse pleine de fauves pour te confronter à la dure réalité de la vie ? Ça expliquerait des choses… Ce que je veux dire c'est que tu as vu Ken le survivant, t'as ensanglanté personne mais tu argumente pour la moindre broutille avec la même hargne que celle d'un type qui défendrait sa vie menacée par des loups.
Oh, je me souviens quand j'étais petit que ma mère ne me laissait pas regarder TF1 parce qu'ils diffusaient des trucs ultra violents. Genre Ken le survivant… C'était pas cher, c'était des dessins animés, ils diffusaient ça pour les gosses qui se préparaient à aller à l'école.
Du fait de l'indécidabilité de la caractérisation porno/pas porno, il est fondamentalement impossible qu'une machine puisse « protéger » un gamin aussi sûrement qu'un parent responsable.
J'suis désolé, mais quand papa chouine parce que son gamin est tombé sur une image de bite alors qu'il était seul sur un des plus gros site du monde à mes oreilles ça sonne comme « Ben oui j'ai mis mes couilles dans le hachoir à viande, mais j'étais sûr qu'il y avait une sécurité pour qu'on ne puisse pas le mettre en route, c'est tellement dangereux sinon ! »
Pour protéger les plus petits il faut des parents, les machines ne peuvent rien.
En fait, ça permet de faire tourner un langage au système de type mou et dynamique aussi rapidement qu'un langage fortement et statiquement typé, à condition que le code du premier langage respecte les contraintes sur les types qu'impose le second ?
En matière de respect de la vie privée, facebook, google et cie sont hors compétition, la violation de la vie privée c'est leur fond de commerce. On pourrait définir le respect de la vie privée comme étant le fait de ne pas demander/extorquer/réclamer à ses utilisateurs des informations dont on a pas strictement besoin. Wikipédia ne le fait pas, Linuxfr ne le fait pas non plus. Sans compter que sur internet personne n'est vraiment anonyme , et que la vie privée est loin de se limiter à l'anonymat.
Concernant le chiffrement deux arguments :
C'est pas cher
Ça complique copieusement la vie de celui qui voudrait écouter un grand nombre de connexions.
Finalement, la question n'est pas pourquoi chiffrer mais pourquoi ne pas chiffrer. Pour faire transiter une info destinée à une seule personne à via des milliers d'autres, c'est sensé non ? C'est pour ça qu'on met des enveloppes autours des lettres.
Puis après il est possible qu'il faille bien séparer la problématique des entreprises dangereuses de celle des États dangereux. Elles semblent assez différentes.
Posté par Zylabon .
En réponse au message Transfert ssh.
Évalué à 2.
Dernière modification le 21 janvier 2013 à 20:24.
Le tranfert en ssh de suse vert mint se fait à une vitesse moyenne de 40 Mo/s mais de suse vers le nas, le transfert se fait à 5Mo/s…
Le chiffre par défaut est plutôt lourd, de mémoire le plus léger c'est arcfour. D'autre part, la compression aide rarement sur les grosses connexions. Peut être que tu pourra gagner un Mo/s en jouant avec ces réglages…
SSH est tellement simple qu'on aimerait s'en servir partout et pour tout !
Je me demande si ya pas moyen de compiler ssh avec un pseudo algo de chiffrement qui fait rien ou presque…
petit ajout : 5Mo/s c'est le maximum que je pouvais atteindre avec un P4 à 1.8Ghz, je suppose que c'est le genre de puce qu'il y a dans ce genre de machine
C'est plutôt la gratuité des routes qui est anormale.
Oui, enfin elles sont gratuites quand tu les prends en vélo (et encore, je néglige l’usure des pneus et du vélo) ou quand tu te contentes de les regarder.
Et à condition de ne payer ni impôts, ni TVA, ni aucune autre taxes.
Je ne connaissais pas la notion. C'est intéressant. Mais je ne comprend pas pourquoi ça s'appliquerait ici. Chaque entreprise vendrait leur service directement à l'usager de la route. Il n'y a pas de verticalité dans ce système. L'usager serait libre de contourner une portion d'autoroute trop chère à son goût. En admettant que l'usager cherche à optimiser le rapport temps de parcours / coût.
Pour les transferts en vrac, AES-128 ( nous croyons que la haute utilisation du CPU AES-192 et AES-256 l'emporte sur l'intérêt de la sécurité théorique, du moins jusqu'à l'avènement des ordinateurs quantiques).
Si c'est chiffré sur la machine du client, qu'est-ce que ça change pour eux ? De plus, l'openssl sur mon raspberry pi chiffre à 8.4Mo/s en aes-128 et 7.3Mo en aes-256. Je trouve l'argument étrange étant donné qu'il repose sur les défauts d'une implémentation (qui sera corrigé sous peu j'imagine).
Tu ne payes pas une fois avant Lyon, et une fois avant Marseille. Cela fait que le prix est bien plus bas que celui que tu aurais si les tronçons étaient découpés entre différentes entreprises
Posté par Zylabon .
En réponse au journal Vote par Internet .
Évalué à 1.
Dernière modification le 18 janvier 2013 à 21:49.
Est-ce que c'est parce qu'on ne vote que toutes les X années que c'est pas pratique, ou est-ce que c'est parce que c'est pas pratique qu'on ne vote que toutes les X années ?
Personnellement ça ne me choquerait pas d'aller à ma mairie une fois tout les 15 jours pour voter pour les choses qui me sembleraient importantes. Éventuellement tout à fait rapidement en apportant une carte dans laquelle j'aurais fais des trous, un peu comme ils font aux États Unis. Je le ferais même avec grand plaisir.
Internet c'est très cool. Il y a tellement de problèmes de sécurité… Même les institutions les plus critiques de l'État voient leurs systèmes informatiques compromis régulièrement. Alors laisser madame Michu voter avec son windows vérolé… Plutôt crever !
Posté par Zylabon .
En réponse au journal Karma et controverse.
Évalué à 3.
Dernière modification le 18 janvier 2013 à 17:18.
Non mais le fond du problème c'est que ça sert à rien… Il n'y a pas a argumenter sur le fait qu'il est possible de fonctionner avec.
Bref, c'est la vie quoi. Si tu veux discuter, faut jouer le jeux !
Mon dieu que c'est triste de raisonner ainsi. Les règles stupides sont faites pour être réformée. C'est précisément l'objet du débat, avec des fonctionnement comme le tien nous serions toujours en train de bouffer des racines crues en essayant de courir plus vite que les fauves pour sauver nos miches.
Posté par Zylabon .
En réponse au journal Karma et controverse.
Évalué à 1.
Dernière modification le 16 janvier 2013 à 23:38.
Comme les écoliers ne sont pas publiés dans Nature et dans Science. C'est inacceptable.
Mauvaise foi.
Personnellement je ne constate aucune corrélation entre la pertinence d'une contribution et sa note.
Aucune corrélation ? Tu veux dire que le coefficient de corrélation serait de 0 ? Autant il est clair qu'elle ne vaut pas 1, autant ne voir aucune corrélation c'est du foutage de gueule.
Une petite aide à la lecture. Mon analyse statistique pifométrique n'est pas assez précise pour détecter la corrélation. Certes il y en nécessairement une. Je n'ai pas affirmé qu'il n'y en avait pas.
Un système sans notation ou modération est trivial à corrompre. Je pourrais publier un journal publicitaire pour tel ou tel produit sans aucun problème.
D'une part, il est impossible de corrompre le système de notation d'un site qui n'a pas de système de notation.
D'autre part, personne n'a parlé de modération ici (c'est hors sujet).
Posté par Zylabon .
En réponse au journal Karma et controverse.
Évalué à 6.
Dernière modification le 16 janvier 2013 à 22:35.
La preuve du contraire ?
Les contributions des nouveaux venus censurées par défaut, c'est injustifiable.
Par défaut TOUTES les contributions de quelqu'un sont censurées s'il aime troller à l'occasion sur des conneries. Je veux dire qu'il y a une incohérence entre le fait de noter les contributions une par une (pour augmenter la qualité d'un fil ?) ET utiliser ces notes pour pré-noter l'ensemble.
Personnellement je ne constate aucune corrélation entre la pertinence d'une contribution et sa note.
C'est trivial à corrompre. À plusieurs reprise j'ai constaté des messages d'une indigence crasse se retrouver à +10 en quelques minutes. J'ai une trop haute estime des gens qui sont sur ce site pour croire qu'ils en soient responsable.
L'idée du Karma est curieuse, une justice divine supposée qui rendrait juste même l'injustice. Je trouve cette idée consternante et dangereuse. On dirait qu'elle a été inventée pour rassurer les pauvres qui se font enculé.
Sinon, à quoi ça sert déjà ce système ? Il me semble qu'il y a un large consensus autour du fait que les "plus" ne vont forcement aux contributions pertinentes et réciproquement pour les "moins". Mes arguments resteraient valables même si ce n'était pas le cas. Alors comment diantre ça se justifie ?
Je ne jette pas la pierre à Bull ou Amesys, ce sont des entreprises qui, bien que devant considérer la politique nationale à ce niveau là, doivent d'abords penser marché, rendement. Il pratiquent plutôt la politique comme des anguilles et pas comme Rosa Parks.
Servir une institution (une entreprise par exemple) n'est pas une ligne de défense quand on commet des crimes. C'est celle d'Eichmann, « Je ne faisais qu'obéir aux ordres », il a été condamné.
[…] l'occasion des législatives (scores tendant asymptotiquement vers zéro, défaite de sa ridicule candidature face à Marine Le Pen).
Je ne suis pas sûr que l'exemple soit bon, le mode de scrutin des législative étant ce qu'il est, le nombre de député à l'assemblée me semble être une meilleure métrique
FDG : 10
FN : 1.5
[…] Ca sera l'état vu qu'il ne reste personne d'autre. Boum, tu vis dans une société totalitaire.
À propos de sophisme… le « si un état n'est pas libéral alors il est totalitaire » est gratiné. D'une, le fait qu'un État subvienne aux besoin du peuple n'a absolument rien à voir avec le totalitarisme, de deux, tu néglige toutes les transactions qui se font sans pubs, appels d'offre, bouche à oreille, « je passais par là, et j'ai vu ce type qui vendait des trucs… ».
# Un début de solution
Posté par Zylabon . En réponse au message [OCaml] Problème de type avec les modules. Évalué à 2.
J'ai trouvé un truc pour que ça marche, mais je reste curieux savoir pourquoi ça ne marchait pas, en effet, en créant le module ainsi
Ça marche. Mais je ne comprend pas pourquoi le compilo ne peut deviner cette égalité avec l'inférence. La gestion des modules n'a pas l'air super jolie. Ces signes = qui ne désignent pas une égalité, pas de transparence référentielle…
Je serais ravis de connaître les raisons de ces limites :)
Please do not feed the trolls
[^] # Re: Porter plainte sur quelle base ?
Posté par Zylabon . En réponse au journal [Marc le Bouc] Le contrôle parental ne marche pas :( tristitude snif snif. Évalué à 10. Dernière modification le 18 février 2013 à 23:02.
Zenitram et la réalité c'est une grande histoire…
Petit tes parents t'ont lâché dans une fosse pleine de fauves pour te confronter à la dure réalité de la vie ? Ça expliquerait des choses… Ce que je veux dire c'est que tu as vu Ken le survivant, t'as ensanglanté personne mais tu argumente pour la moindre broutille avec la même hargne que celle d'un type qui défendrait sa vie menacée par des loups.
Please do not feed the trolls
[^] # Re: Porter plainte sur quelle base ?
Posté par Zylabon . En réponse au journal [Marc le Bouc] Le contrôle parental ne marche pas :( tristitude snif snif. Évalué à 2.
Oh, je me souviens quand j'étais petit que ma mère ne me laissait pas regarder TF1 parce qu'ils diffusaient des trucs ultra violents. Genre Ken le survivant… C'était pas cher, c'était des dessins animés, ils diffusaient ça pour les gosses qui se préparaient à aller à l'école.
Please do not feed the trolls
[^] # Re: Classement par age
Posté par Zylabon . En réponse au journal [Marc le Bouc] Le contrôle parental ne marche pas :( tristitude snif snif. Évalué à 10.
Du fait de l'indécidabilité de la caractérisation porno/pas porno, il est fondamentalement impossible qu'une machine puisse « protéger » un gamin aussi sûrement qu'un parent responsable.
J'suis désolé, mais quand papa chouine parce que son gamin est tombé sur une image de bite alors qu'il était seul sur un des plus gros site du monde à mes oreilles ça sonne comme « Ben oui j'ai mis mes couilles dans le hachoir à viande, mais j'étais sûr qu'il y avait une sécurité pour qu'on ne puisse pas le mettre en route, c'est tellement dangereux sinon ! »
Pour protéger les plus petits il faut des parents, les machines ne peuvent rien.
Please do not feed the trolls
# Je ne comprend pas trop…
Posté par Zylabon . En réponse au journal Pythran 0.2 : Python peut-il être aussi rapide que du C ?. Évalué à 9.
En fait, ça permet de faire tourner un langage au système de type mou et dynamique aussi rapidement qu'un langage fortement et statiquement typé, à condition que le code du premier langage respecte les contraintes sur les types qu'impose le second ?
Please do not feed the trolls
# Pour d'autres correspondances du même acabit
Posté par Zylabon . En réponse au journal Il a demandé à Free, il a rien compris. Évalué à 7.
http://www.pebkac.fr/ !
Please do not feed the trolls
# protection de la vie privée
Posté par Zylabon . En réponse au journal Sans médias libres, pas de liberté de pensée. Évalué à 5. Dernière modification le 22 janvier 2013 à 19:47.
En matière de respect de la vie privée, facebook, google et cie sont hors compétition, la violation de la vie privée c'est leur fond de commerce. On pourrait définir le respect de la vie privée comme étant le fait de ne pas demander/extorquer/réclamer à ses utilisateurs des informations dont on a pas strictement besoin. Wikipédia ne le fait pas, Linuxfr ne le fait pas non plus. Sans compter que sur internet personne n'est vraiment anonyme , et que la vie privée est loin de se limiter à l'anonymat.
Concernant le chiffrement deux arguments :
Puis après il est possible qu'il faille bien séparer la problématique des entreprises dangereuses de celle des États dangereux. Elles semblent assez différentes.
Please do not feed the trolls
[^] # Re: changer l'algo de chiffrement ?
Posté par Zylabon . En réponse au message Transfert ssh. Évalué à 3.
Et avec -ocompression=no ?
Please do not feed the trolls
# changer l'algo de chiffrement ?
Posté par Zylabon . En réponse au message Transfert ssh. Évalué à 2. Dernière modification le 21 janvier 2013 à 20:24.
Le chiffre par défaut est plutôt lourd, de mémoire le plus léger c'est arcfour. D'autre part, la compression aide rarement sur les grosses connexions. Peut être que tu pourra gagner un Mo/s en jouant avec ces réglages…
SSH est tellement simple qu'on aimerait s'en servir partout et pour tout !
Je me demande si ya pas moyen de compiler ssh avec un pseudo algo de chiffrement qui fait rien ou presque…
petit ajout : 5Mo/s c'est le maximum que je pouvais atteindre avec un P4 à 1.8Ghz, je suppose que c'est le genre de puce qu'il y a dans ce genre de machine
Please do not feed the trolls
[^] # Re: Flush du buffer?
Posté par Zylabon . En réponse au message sys.stdout.write() avec python3 : pas d'écriture tant que pas EOL ?. Évalué à 3.
Techniquement ce sont les FILE * qui sont bufferisés, sauf stderr.
Il est possible de modifier leur comportement vis à vis des buffer avec les primitives setbuf, setbuffer, setvbuf et cie.
Please do not feed the trolls
[^] # Re: d'accord mais il manque des infos
Posté par Zylabon . En réponse au journal Non à la privatisation du domaine public par la Bibliothèque nationale de France !. Évalué à 1.
Et à condition de ne payer ni impôts, ni TVA, ni aucune autre taxes.
Please do not feed the trolls
[^] # Re: d'accord mais il manque des infos
Posté par Zylabon . En réponse au journal Non à la privatisation du domaine public par la Bibliothèque nationale de France !. Évalué à 2.
Je ne connaissais pas la notion. C'est intéressant. Mais je ne comprend pas pourquoi ça s'appliquerait ici. Chaque entreprise vendrait leur service directement à l'usager de la route. Il n'y a pas de verticalité dans ce système. L'usager serait libre de contourner une portion d'autoroute trop chère à son goût. En admettant que l'usager cherche à optimiser le rapport temps de parcours / coût.
Please do not feed the trolls
[^] # Re: Oubli
Posté par Zylabon . En réponse au journal Mega reprend le flambeau.. Évalué à 4.
Si c'est chiffré sur la machine du client, qu'est-ce que ça change pour eux ? De plus, l'openssl sur mon raspberry pi chiffre à 8.4Mo/s en aes-128 et 7.3Mo en aes-256. Je trouve l'argument étrange étant donné qu'il repose sur les défauts d'une implémentation (qui sera corrigé sous peu j'imagine).
Please do not feed the trolls
[^] # Re: d'accord mais il manque des infos
Posté par Zylabon . En réponse au journal Non à la privatisation du domaine public par la Bibliothèque nationale de France !. Évalué à 6.
C'est une affirmation tout à fait gratuite.
Please do not feed the trolls
[^] # Re: Le point le plus important
Posté par Zylabon . En réponse au journal Vote par Internet . Évalué à 1. Dernière modification le 18 janvier 2013 à 21:49.
Est-ce que c'est parce qu'on ne vote que toutes les X années que c'est pas pratique, ou est-ce que c'est parce que c'est pas pratique qu'on ne vote que toutes les X années ?
Personnellement ça ne me choquerait pas d'aller à ma mairie une fois tout les 15 jours pour voter pour les choses qui me sembleraient importantes. Éventuellement tout à fait rapidement en apportant une carte dans laquelle j'aurais fais des trous, un peu comme ils font aux États Unis. Je le ferais même avec grand plaisir.
Internet c'est très cool. Il y a tellement de problèmes de sécurité… Même les institutions les plus critiques de l'État voient leurs systèmes informatiques compromis régulièrement. Alors laisser madame Michu voter avec son windows vérolé… Plutôt crever !
Please do not feed the trolls
[^] # Re: Tu veux du karma ? Soumet une dépêche !
Posté par Zylabon . En réponse au journal Karma et controverse. Évalué à 3. Dernière modification le 18 janvier 2013 à 17:18.
Non mais le fond du problème c'est que ça sert à rien… Il n'y a pas a argumenter sur le fait qu'il est possible de fonctionner avec.
Mon dieu que c'est triste de raisonner ainsi. Les règles stupides sont faites pour être réformée. C'est précisément l'objet du débat, avec des fonctionnement comme le tien nous serions toujours en train de bouffer des racines crues en essayant de courir plus vite que les fauves pour sauver nos miches.
Please do not feed the trolls
[^] # Re: Toi, tu as besoin d'un violon !
Posté par Zylabon . En réponse au journal Karma et controverse. Évalué à 0.
Tiens, tu n'a pas relevé le "censuré par défaut" que j'ai pris soin de préciser aussi souvent que nécessaire, sauf erreur de ma part.
Please do not feed the trolls
[^] # Re: Toi, tu as besoin d'un violon !
Posté par Zylabon . En réponse au journal Karma et controverse. Évalué à 1. Dernière modification le 16 janvier 2013 à 23:38.
Mauvaise foi.
Une petite aide à la lecture. Mon analyse statistique pifométrique n'est pas assez précise pour détecter la corrélation. Certes il y en nécessairement une. Je n'ai pas affirmé qu'il n'y en avait pas.
D'une part, il est impossible de corrompre le système de notation d'un site qui n'a pas de système de notation.
D'autre part, personne n'a parlé de modération ici (c'est hors sujet).
Please do not feed the trolls
[^] # Re: Toi, tu as besoin d'un violon !
Posté par Zylabon . En réponse au journal Karma et controverse. Évalué à 6. Dernière modification le 16 janvier 2013 à 22:35.
La preuve du contraire ?
L'idée du Karma est curieuse, une justice divine supposée qui rendrait juste même l'injustice. Je trouve cette idée consternante et dangereuse. On dirait qu'elle a été inventée pour rassurer les pauvres qui se font enculé.
Sinon, à quoi ça sert déjà ce système ? Il me semble qu'il y a un large consensus autour du fait que les "plus" ne vont forcement aux contributions pertinentes et réciproquement pour les "moins". Mes arguments resteraient valables même si ce n'était pas le cas. Alors comment diantre ça se justifie ?
Please do not feed the trolls
[^] # Re: Question...
Posté par Zylabon . En réponse au journal Bull : Architect of an Open World. Évalué à 6.
Servir une institution (une entreprise par exemple) n'est pas une ligne de défense quand on commet des crimes. C'est celle d'Eichmann, « Je ne faisais qu'obéir aux ordres », il a été condamné.
Please do not feed the trolls
[^] # Re: Trop gros, passera pas.
Posté par Zylabon . En réponse au journal Karma et controverse. Évalué à 2.
Je ne suis pas sûr que l'exemple soit bon, le mode de scrutin des législative étant ce qu'il est, le nombre de député à l'assemblée me semble être une meilleure métrique
FDG : 10
FN : 1.5
Please do not feed the trolls
# Toi, tu as besoin d'un violon !
Posté par Zylabon . En réponse au journal Karma et controverse. Évalué à -8.
Pour pisser dedans…
Ce système n'a que des défauts jusqu’à preuve du contraire.
Please do not feed the trolls
[^] # Re: Ta vision n'est pas la "vraie" justice
Posté par Zylabon . En réponse au journal Crédit déguisé sur les mobiles : vive l'indépendance de la Justice française. Évalué à 10.
Tu devrais lire ce qu'il y a avant le « Bref ».
Please do not feed the trolls
# GHC 4.7.2 ?
Posté par Zylabon . En réponse à la dépêche Sortie de Fedora 18 alias Spherical Cow. Évalué à 4.
Je pense qu'il s'agit plutôt de la version 7.4.2
Please do not feed the trolls
[^] # Re: Idée à la con + tout ça pour ?
Posté par Zylabon . En réponse au journal En parlant de publicité. Évalué à 5.
À propos de sophisme… le « si un état n'est pas libéral alors il est totalitaire » est gratiné. D'une, le fait qu'un État subvienne aux besoin du peuple n'a absolument rien à voir avec le totalitarisme, de deux, tu néglige toutes les transactions qui se font sans pubs, appels d'offre, bouche à oreille, « je passais par là, et j'ai vu ce type qui vendait des trucs… ».
Please do not feed the trolls