« Et non le messager n'a aucune importance si le message est juste. »
Donc si on me donne un discours à faire devant un amphi de 300 élèves toutes les semaines, du moment que les élèves n'ont pas le droit de poser de question, je peux enseigner n'importe quoi ? Concept intéressant. Je crois que j'ai trouvé comment recaser pas mal d'intermittents du spectacle...
Je pense que tu imagines mal, parce que ton pilote de F1, sans aller jusqu'à dire qu'il va connaître les moindres recoins de sa voiture, c'est pas juste un expert en conduite: il sait aussi ce qui risque de casser s'il fait trop le con sur tel ou tel virage, s'il accélère de telle manière dans telle situation, etc. Sans parler du fait que très souvent, le pilote pro a aussi pas mal trifouillé les voitures ou les karts quand il était pas encore pro ... :)
« Prenons l'exemple inverse, ta copine et toi vous êtes en train de faire votre affaire, puis au beau milieu, sans raison, tu dis "merde! je me casse" et tu t'en vas.
Tu crois vraiment qu'elle va apprécier ? »
Non, mais entre un mec qui force sa partenaire à continuer un rapport auquel elle ne consent plus (et donc très possiblement il va devoir user d'un peu plus de force pour arriver à ses fins), et un mec qui se barre en plein milieu de l'acte sexuel, je pense que dans un cas la fille peut vouloir rompre avec lui (à défaut de porter plainte), alors que dans le dernier cas, le mec aura quand même le bénéfice du doute, elle va chercher à savoir ce qui n'allait pas ou que sais-je. Parce que dans un cas on force quelqu'un à faire quelque chose qu'il/elle n'aime pas, et dans l'autre on arrête une action qu'on a entreprise envers quelqu'un.
« Et dans le cas d'assange, le fait que ce soit pendant _est_ important : il est impossible de vérifier médicalement si il y a eu viol, vu que les rapports étaient consentants. Tu vois où c'est génial pour un accusateur ? »
Je suis bien d'accord, mais c'est un aspect qui ne m'intéresse pas du tout ici. C'est important pour le thème du journal, mais là je t'avoue que ce qui me fait le plus tiquer, c'est la réaction de ceux qui expliquent que tu comprends, la nature humaine, on est tous des bêtes, gna gna gna. Je trouve que c'est du même acabit que « tu comprends, j'avais bu un verre de trop, alors forcément, paf la maman et la poussette, avec moi derrière le volant » (ben quoi, le mec a pas fait exprès d'être bourré, et puis l'homme, ben c'est la nature humaine, quand il est bourré, il fait des conneries, c'est normal).
Mais ils ont arrêté *pendant*, c'est à dire qu'ils avaient déjà commencé.
C'est rigolo, y'a quelques temps en France (et pas qu'en France d'ailleurs), si un mari forçait un peu sa femme a avoir une relation sexuelle avec lui, il ne pouvait pas être inquiété: apres tout, c'est sa femme. Ça inclut bien entendu le cas du "cheri oui je veux" et pendant l'acte "bon finalement j'ai plus la tete a ca on fait un scrabble ?".
Bizarrement, ce n'est plus possible de faire ça.
En d'autres termes: t'es en train de dire que si j'ai une relation sexuelle avec ma copine, et qu'elle décide que finalement elle veut arrêter, je peux me permettre de la maintenir sur le lit et continuer mon affaire ? Et tu crois qu'elle va rester longtemps ma copine si je fais ça ?
Autre exemple: une fille fait une fellation à un mec, il en peut presque plus, il sent que ça vient, et PAF! ... Elle arrête, et se barre comme si de rien n’était. Le mec peut donc aller chercher la fille, la tirer en arrière par les cheveux pour la forcer à continuer et lui permettre de décharger ? Tu comprends, le mec il est un peu frustré, et il a besoin de ne plus l’être quoi ...
Je ne parle pas ici de l'affaire Assange, mais bien de discuter d'un cadre théorique... Tu as l'air de dire "non mais tu comprends, nature humaine, tout ça, on peut pas tout maîtriser..." C'est peut-être vrai [1]. Mais en tout cas, en cas de "non maîtrise de soi", la moindre des choses c'est de faire amende honorable et de présenter ses plus plates excuses pour n'avoir pas su se maîtriser.
Prenons un autre exemple: un mec réussi à attirer une fille dans son pieu. Au début, la fille apprécie que le mec soit un peu brusque, elle trouve ça excitant. Quand elle comprend que le mec ne prend son pied qu'en étranglant a moitie ses partenaires, la fille décide qu'elle ne veut plus continuer. Donc d’après toi, puisque les instincts primaires du mec sont de nature sadique, et qu'ils ont déjà commence le coït, il faut le laisser terminer ?
[1] Cela dit de mon point de vue, la société est justement la pour gommer cette part animale que nous portons.
LLVM a surtout été fait pour aider à une compilation plus efficace à la base (ce qui ne veut pas dire qu'on ne peut pas détourner le bousin pour en faire un truc cool non plus bien sûr). La partie "VM" est censée aider à l'optimisation de code car le langage de bas niveau de LLVM comporte des informations de haut niveau.
« Je vois l'idée. Ça serait tellement beau un monde où l'on puisse résister à une puissance occupante sans risquer sa peau, et où un site comme Wikileaks soit doté d'une conscience absolue du Bien et du Mal qui permette de juger ce qu'il est bon ou pas de divulguer. Un monde dans lequel, en 1940, l'état allemand est forcément le Mal et où les USA c'est le Bien. »
Justement il ne s'agit pas trop de dire qui a tort ou raison (et ce n'est pas moi qui ai fait référence aux collabos, je te rappelle... :-)). Il se trouve qu'en l'occurrence, en 1944, les deux grands libérateurs de l'Europe (et ce, indépendamment de leur « valeur » politique dans les années qui suivent) ce sont les USA et l'URSS.
« Malheureusement je suis certain que si les nazis avaient gagné leur guerre et maintenu leur emprise sur l'Europe, la majorité des français trouveraient aujourd'hui parfaitement normal de soutenir l'idéologie nazie, et notre point Godwin serait de comparer quelqu'un aux juifs. Ça ne m'empêche pas de considérer l'idéologie nazie comme une horreur, mais j'essaie de garder ce recul et cette part de doute ;+) »
J'essayais justement de prendre cet exemple (WW2), dans un contexte où l'on sait que l'idéologie primait très clairement sur la logique vers la fin [1], et qui donc aurait très clairement tout fait pour punir les maychants résistants (là où d'autres se seraient peut-être juste dit « putain ça va mal, limitons les dégâts »).
D'une part, WikiLeaks ne peut divulguer que ce qu'on lui porte à voir -- i.e., s'ils n'ont que les noms des résistants, et pas ceux des collabos, ils brisent un certain équilibre en les révélant (c'est d'ailleurs ce que certains détracteurs reprochent au WikiLeaks réel [2]). Du coup dans mon scénario original sous licence CC-BY-SA ;-), seule l'Allemagne nazie gagnent à avoir des infos compromettantes. Peut-être que 3 ans plus tard, on aura les autres infos, bien sûr, mais en attendant, si WL diffuse les noms, plutôt que de simplement expliquer le procédé par lequel l'operation Overlord a pu être mise en place (ce qui, honnêtement, est bien plus intéressant, objectivement -- mais ce n'est que mon avis bien sûr), ben nos petits résistants risquent d'avoir chaud aux miches. Enfin, admettons que Wikileaks divulgue à la fois les noms des collabos et des résistants. Super, on aura le droit à un bain de sang.
« Tout ça pour dire que, AMHA, ce n'est pas vraiment à Wikileaks ou aux journalistes qui font le tri de décider s'il est bon ou pas de divulguer telle ou telle information. »
C'est dommage, parce que justement c'est le boulot des journalistes de faire un tri de façon à ce que le rapport signal/bruit soit le meilleur possible. L'important ce sont les actes, les causes et les conséquences. Dire « houla, vous savez, moi, je ne fais que dumper 3To de câbles diplomatiques, p'tet ben que y'a des opérations en cours, avec des gens qui risquent leur vie dans le lot, mais bon, c'est la vie hein, et puis, ils l'ont choisi. », c'est irresponsable.
Irresponsable, oui, car :
1. Ils n'ont pas choisi de mourir, ils ont choisi de risquer leur vie et potentiellement de perdre la vie selon un risque calculé : la probabilité qu'un « journaliste » diffuse le nom de tous ceux qui œuvrent à la libération d'un pays par exemple (et là, je ne vise aucun pays, mon exemple est purement hypothétique), je ne vois pas en quoi ça informe mieux la population. Que le mec s'appelle François, Benjamin, Rachid, ou Boubakar, ça change quoi ? Mis à part qu'en publiant son nom on le grille et on l'empêche de faire son boulot, voire on le met plus en danger qu'il ne l'était avant, bien sûr.
2. Ceux qui sont des informateurs ne sont que les messagers. Ça fait depuis un bon moment que les messagers ne sont pas censés être zigouillés pour rien. Révéler leur identité revient à mettre une cible sur leur tête. C'est d'ailleurs pour cela que l'on permet aux journalistes de ne pas révéler leurs sources.
« Wikileaks qui prend partie, et décide de sauver telle vie mais pas telle autre, de révéler les secrets de tel diplomate mais pas de tel berger afghan, ce n'est pas ça que j'en attends. »
La différence entre le berger et le diplomate, c'est le verre blindé de la voiture du diplomate. Si H. Clinton est explicitement citée, c'est que, au pire, elle devra démissionner de son poste (je m'en fais pas trop pour elle, même si ça finissait par arriver, elle trouvera facilement un autre job).
Il ne s'agit pas de dire de quel parti est Wikileaks, puisque le principe-même du site est de dénoncer des scandales. Mais il y a une différence entre citer les noms de gens qui sont déjà dans la sphère publique, et qui a priori ne risquent pas plus d'être cités à nouveau, et des gens qui pensent faire leur devoir en donnant des informations à une autorité quelconque, qui leur semble légitime/capable de rétablir « l'ordre » (quel qu'il soit) / etc, mais qui n'ont pas les moyens matériels de le faire eux-même.
Ce que tu proposes, c'est plus ou moins ce que fait Électre (dans la pièce éponyme de Giraudoux). Elle veut faire éclater la vérité à tout prix, même celui de la destruction de son pays [3]. Alors, je suis à fond pour elle, dans le cadre de la pièce, et parce que je ne suis pas obligé de vivre dans la Grèce Antique avec les barbares à ses portes. Mais dans la vraie vie, justement, la plupart des démocraties sont obligées de composer, faire des compromis avec les différentes populations qui composent leur peuple, ainsi qu'avec les peuples voisins. Électre aurait vu cela comme un mensonge, une souillure qu'il faut laver à tout prix. Électre est pure, et réclame une justice impartiale mais aussi impitoyable. Bref, Électre n'est finalement pas tout à fait humaine. :-)
[1] Au moins pour Hitler -- d'autres personnes de son état major avaient bien compris à quel point ils étaient dans la merde, et ce, dès 1943)
[2] Ce à quoi je réponds justement que non, je ne vois pas de problème, puisque les journalistes ont fait tout ce qui était possible (au moins d'après ce qu'ils disent) pour montrer la vérité sans pour autant exposer au danger des gens qui n'ont pas forcément mérité de se prendre une balle.
[3] Pour ceux qui ne connaîtraient pas l'histoire de la pièce: Électre est la fille du roi Agamemnon, et de Clytemnestre. Cette dernière aide son amant, Égiste, à tuer Agamemnon, et prend sa place en tant que régent. Je passe sur la pièce en elle-même, mais vers la fin, Égiste se révèle en tant que véritable souverain, au moment où Électre comprend enfin qui a tué son père. Elle confronte Égiste, qui ne nie pas. Il lui demande juste d'attendre la fin du conflit avec les barbares, et lui promet qu'ensuite il se soumettra de lui-même à Électre et au peuple. Électre refuse, et fait éclater la vérité.
« Bon désolé pour "l'ado" il me semblait, de mémoire, qu'elle avait 15 ou 16 ans au moment où elle a fait l'amour avec Polansky. 13 c'est un peu jeune pour notre culture. (notre culture pas dans le sens "la vision que nous avons" mais bien dans le sens "développement intellectuel permettant une conscience réelle").. donc il a niqué avec une mineure, une bien réelle.
De là à dire que c'est un viol... »
13 ans, c'est déjà l'adolescence. Mais c'est aussi un viol. La loi US le dit (elle a moins de 18 ans au moment des faits, donc c'est un viol). Et même la loi française le dirait (elle a moins de 15 ans, donc c'est un viol). Ce que ce n'est pas, c'est un acte pédocriminel (comme certains -- notamment aux USA -- voudraient nous faire croire).
Bon. Je trouve que juste t'inutiler n'est pas suffisant, dans le sens où ce genre de réaction mérite réponse.
Puisque tu fais déjà des tentatives de Godwinage de loin, reprenons ta référence. Imaginons WikiLeaks qui existe en 1939. En juillet 1944, WikiLeaks diffuse les noms de gens qui ont aidé les USA à préparer leur entrée sur le sol Français un mois plus tôt, pour une opération en Normandie. L'état allemand de l'époque est encore en place, et il se sait plus ou moins condamné à terme, mais autant partir avec un BANG. Donc du coup, ils s'assurent que le maximum de résistants, etc., se retrouvent vraiment désolés d'avoir résisté...
Ben justement, une fibre (qui est un thread léger) peut s'exécuter sur un processeur séparé. Ce qui fait qu'une co-routine ne peut pas s'exécuter sur un cœur/thread matériel différent tient plus à l'absence de support du matériel, pour le coup.
Il faut ensuite pouvoir garantir que l'espace mémoire pris par ton implémentation fonctionnelle est bornée. De plus, tu vas bien être obligé d'acquérir des ressources à un moment donné, qui sont de « nature impérative » (réseau, disque, etc.); comment gères-tu ce cas (en parallèle) ? Je ne dis pas que ce n'est pas possible hein (Erlang est un bon exemple de langage qui fait ce qu'il faut), mais ça implique un certain niveau de synchronisation entre tes instances de fonctions, et ça a un coût à l'exécution en temps et en espace.
Alors, soyons bien d'accord: je sais à quel point un compilateur ça trompe énormément. Je sais entre autres parce que je bosse au même niveau (juste au-dessus du matériel, ou dans le compilateur).
Cela étant dit: si tu prends n'importe quel guide sur l'optimisation de code (disons le manuel d'Intel sur la question par exemple http://www.intel.com/Assets/PDF/manual/248966.pdf, ou le site de A.Fog, http://www.agner.org), ou surtout des manuels plus haut-niveau (pour les gens qui ne veulent/peuvent pas passer le temps qu'il faut à micro-optimiser leur code), les méthodologies proposées impliquent souvent de compiler à différents niveaux d'optim (-O0,..., -O3), et de prendre un jeu d'essai représentatif -- bref, de faire à la main ce que certains compilateurs (icc, et normalement gcc aussi, par exemple) savent faire depuis un moment: de la compilation guidée par profilage.
De plus, que -O3 puisse ralentir un programme, je le crois volontiers; qu'il donne des résultats faux (ou même que l'optimisation a eu un effet de bord surprenant, disons), à moins d'un bug dans le compilateur, c'est plutôt que l'utilisateur a fait des hypothèses quant au langage/à la machine qu'il utilise (je parle d'expérience).
Concernant la cohérence et l'élégance d'un langage et sa prévisibilité, je ne suis pas certain de comprendre ce que tu veux dire par là. La plupart du temps (mais clairement pas toujours), plus de concision implique plus de clarté, mais cela suppose néanmoins une compréhension du langage, et de comment il fonctionne. J'ai l'impression qu'une bonne partie des reproches faits aux langages « différents » (qu'ils soient fonctionnels, tels que ML, Haskell, LISP, déclaratifs tels PROLOG, ou bien juste « glu » genre Perl) est qu'ils ne fonctionnent pas comme leurs cousins impératifs tirés du C. J'ai exactement le même problème avec Fortran par exemple, et pourtant il n'est pas si éloigné du C que ça (en supposant qu'on passe à Fortran 90 au minimum pour avoir la forme libre de syntaxe).
Ben oui, si y'a sous-typage sémantique, c'est qu'on va au-delà de la syntaxe. :)
Donc ta balise, ce n'est plus une simple chaîne de caractères, c'est un type à part entière (et je te parle même pas des schémas, qui permettent justement de typer « pour de bon » le contenu de tes balises et de t'affranchir du « tout est chaîne »). Je te renvoie lâchement ici : http://cduce.org/papers.html pour plus d'infos, mais je t'avoue que l'article initial (« semantic subtyping ») est franchement difficile à lire. Y'a une version plus sympa (« A gentle introduction to semantic subtyping »), qui fait l'impasse sur le moteur de pattern matching, mais qui reste difficile à lire.
Dans tous les cas, tu te retrouves avec un type qui contient d'autres types (c'est ce que montre l'article original: il prouve ce qui était pure conjecture par ailleurs : il y a une relation ensembliste entre un type et ses sous-types).
Au final, si tu as un arbre XML à traiter (par exemple pour trouver une certaine information), CDuce (et d'autres langages, genre XQuery, à supposer qu'ils bénéficient du même genre de fonctionnalités que CDuce dans leur implémentation) devrait être capable de rapidement élaguer l'arbre, pour rapidement trouver une réponse à la recherche faite dans le document.
Oui enfin là je ne te suis pas du tout hein. Java a un typage fort pour les objets. Le système de types en interne suit les règles de l'art en ce qui concerne le typage (cf le bouquin de Benjamin Pierce).
Et qu'il n'existe pas d'outils en Java pour correctement vérifier qu'une variable est non-null est une chose. Typiquement lors de l'écriture d'une méthode, un IDE comme Eclipse signalera toute variable susceptible d'être non-initialisée, à l'exception des variables passées en paramètre. Après, qu'il faille un outil pour vérifier que l'articulation des méthodes (le graphe d'appel des fonctions quoi) passe bien des arguments non-null (en supposant que ce ne soit pas autorisé), c'est un autre problème... Cela dit je n'ai pas fait de Java depuis longtemps, et je me demande si les ajouts syntaxiques au langage (annotations, etc) ne permettent pas de détecter ce genre de trucs ...
Mmmh, si le compilateur est capable d'inférer tout seul les types ou les champs qui devraient être initialisés sans que l'utilisateur ait quoi que ce soit à faire, je ne vois pas où est le problème (je ne parle pas d'un langage en particulier).
Le truc, c'est que ce qui te semble simple, voire évident, dans le code que tu as montré se transforme en code spaghetti à force de rajouter une condition par-ci ou une autre par-là. C'est ce que je voulais dire par « laisser le compilateur briller là où il le peut ». Un exemple tout bête: une multiplication de matrice.
Le code original (naïf et tout):
void matmul(const size_t m, const size_t n, const size_t k,
const double alpha, const double *a, const double *b,
const double beta, double *c)
{
for (size_t i = 0; i < m; ++i)
for (size_t j = 0; j < n; ++j)
for (size_t l = 0; l < k; ++l)
c[i*n+j] = beta * c[i*n+j] + alpha * a[i*k+l] * b[l*n+j];
}
Bon, tu peux t'embêter à faire tout un tas d'optimisations super intelligentes (et connues depuis 30 ans), du genre promotion scalaire, inversion de boucles, et tuilage, etc., ce qui pourrait donner un truc du genre :
void matmul(const size_t m, const size_t n, const size_t k,
const double alpha, const double *a, const double *b,
const double beta, double *c)
{
for (size_t i = 0; i < m; ii += TILE_I)
for (size_t l = 0; l < k; l += TILE_L)
for (size_t j = 0; j < n; j += TILE_J)
for (size_t ii = i; ii < MAX(i+TILE_I,m); ++ii)
for (size_t jj = j; jj < MAX(j+TILE_J,n); ++jj) {
acc = c[ii*n+jj] * beta;
for (size_t ll = l; l < MAX(l+TILE_L,k); ++ll) {
acc = c[ii*n+jj] + alpha * a[ii*k+ll] * b[ll*n+jj];
}
c[ii*n+jj] = acc;
}
}
Bon, je ne dis même pas que ce code est optimal (il est loin de l'être). Un bon exemple concernant ce genre de transformations se trouve ici : http://www.spinellis.g/blog/20090420/
Cependant, si je te dis que y'a toute une théorie qui existe déjà concernant les nids de boucle, et que ce genre d'optimisation peut-être faite par le compilateur sans que tu aies à lever le petit doigt, tu seras content non ? Ben le typage fort permet justement ce genre d'optimisations (enfin pas le tuilage, mais d'autres transformations/simplifications de code). Du coup quand je te vois faire ce que tu fais en JS (ou je ne sais quel autre langage), en rajoutant condition après condition et en disant « facile ! » en fonction de ce qu'on te dit que le compilateur sait déjà faire, je tique un peu. :)
Super, et donc tu aimes jouer aux super-programmeurs, et faire des trucs qui peuvent être faits automatiquement. Wouhou...
Y'a suffisamment de cas où le compilateur ne fait pas bien son boulot pour lui laisser l'occasion de briller quand c'est plutôt chiant à faire à la main, tu ne trouves pas ?
[^] # Re: Reconnaissance vocale ?
Posté par lasher . En réponse à la dépêche Passage de Richard Stallman au Québec. Évalué à 6.
Donc si on me donne un discours à faire devant un amphi de 300 élèves toutes les semaines, du moment que les élèves n'ont pas le droit de poser de question, je peux enseigner n'importe quoi ? Concept intéressant. Je crois que j'ai trouvé comment recaser pas mal d'intermittents du spectacle...
[^] # Re: Pas si faux
Posté par lasher . En réponse au journal C++ a été créé pour augmenter le salaire des programmeurs. Évalué à 6.
[^] # Re: A Bidon, bidon et demi
Posté par lasher . En réponse au journal Quelques questions à propos de l'affaire wikileaks…. Évalué à 4.
Tu crois vraiment qu'elle va apprécier ? »
Non, mais entre un mec qui force sa partenaire à continuer un rapport auquel elle ne consent plus (et donc très possiblement il va devoir user d'un peu plus de force pour arriver à ses fins), et un mec qui se barre en plein milieu de l'acte sexuel, je pense que dans un cas la fille peut vouloir rompre avec lui (à défaut de porter plainte), alors que dans le dernier cas, le mec aura quand même le bénéfice du doute, elle va chercher à savoir ce qui n'allait pas ou que sais-je. Parce que dans un cas on force quelqu'un à faire quelque chose qu'il/elle n'aime pas, et dans l'autre on arrête une action qu'on a entreprise envers quelqu'un.
« Et dans le cas d'assange, le fait que ce soit pendant _est_ important : il est impossible de vérifier médicalement si il y a eu viol, vu que les rapports étaient consentants. Tu vois où c'est génial pour un accusateur ? »
Je suis bien d'accord, mais c'est un aspect qui ne m'intéresse pas du tout ici. C'est important pour le thème du journal, mais là je t'avoue que ce qui me fait le plus tiquer, c'est la réaction de ceux qui expliquent que tu comprends, la nature humaine, on est tous des bêtes, gna gna gna. Je trouve que c'est du même acabit que « tu comprends, j'avais bu un verre de trop, alors forcément, paf la maman et la poussette, avec moi derrière le volant » (ben quoi, le mec a pas fait exprès d'être bourré, et puis l'homme, ben c'est la nature humaine, quand il est bourré, il fait des conneries, c'est normal).
[^] # Re: C'est possible
Posté par lasher . En réponse au message Reference en Latex. Évalué à 3.
[^] # Re: A Bidon, bidon et demi
Posté par lasher . En réponse au journal Quelques questions à propos de l'affaire wikileaks…. Évalué à 4.
C'est rigolo, y'a quelques temps en France (et pas qu'en France d'ailleurs), si un mari forçait un peu sa femme a avoir une relation sexuelle avec lui, il ne pouvait pas être inquiété: apres tout, c'est sa femme. Ça inclut bien entendu le cas du "cheri oui je veux" et pendant l'acte "bon finalement j'ai plus la tete a ca on fait un scrabble ?".
Bizarrement, ce n'est plus possible de faire ça.
En d'autres termes: t'es en train de dire que si j'ai une relation sexuelle avec ma copine, et qu'elle décide que finalement elle veut arrêter, je peux me permettre de la maintenir sur le lit et continuer mon affaire ? Et tu crois qu'elle va rester longtemps ma copine si je fais ça ?
Autre exemple: une fille fait une fellation à un mec, il en peut presque plus, il sent que ça vient, et PAF! ... Elle arrête, et se barre comme si de rien n’était. Le mec peut donc aller chercher la fille, la tirer en arrière par les cheveux pour la forcer à continuer et lui permettre de décharger ? Tu comprends, le mec il est un peu frustré, et il a besoin de ne plus l’être quoi ...
Je ne parle pas ici de l'affaire Assange, mais bien de discuter d'un cadre théorique... Tu as l'air de dire "non mais tu comprends, nature humaine, tout ça, on peut pas tout maîtriser..." C'est peut-être vrai [1]. Mais en tout cas, en cas de "non maîtrise de soi", la moindre des choses c'est de faire amende honorable et de présenter ses plus plates excuses pour n'avoir pas su se maîtriser.
Prenons un autre exemple: un mec réussi à attirer une fille dans son pieu. Au début, la fille apprécie que le mec soit un peu brusque, elle trouve ça excitant. Quand elle comprend que le mec ne prend son pied qu'en étranglant a moitie ses partenaires, la fille décide qu'elle ne veut plus continuer. Donc d’après toi, puisque les instincts primaires du mec sont de nature sadique, et qu'ils ont déjà commence le coït, il faut le laisser terminer ?
[1] Cela dit de mon point de vue, la société est justement la pour gommer cette part animale que nous portons.
[^] # Re: Language
Posté par lasher . En réponse au journal Apache vs Oracle. Évalué à 2.
[^] # Re: Language
Posté par lasher . En réponse au journal Apache vs Oracle. Évalué à 2.
[^] # Re: Language
Posté par lasher . En réponse au journal Apache vs Oracle. Évalué à 2.
[^] # Re: .
Posté par lasher . En réponse au journal LDLC dévoile le prix des logiciels inclus dans un ordinateur. Évalué à 2.
[^] # Re: Bof...
Posté par lasher . En réponse au journal [Humeur] Facebook isn't Evil. Évalué à 2.
[^] # Re: tir de barrage
Posté par lasher . En réponse au journal Quelques questions à propos de l'affaire wikileaks…. Évalué à 4.
Justement il ne s'agit pas trop de dire qui a tort ou raison (et ce n'est pas moi qui ai fait référence aux collabos, je te rappelle... :-)). Il se trouve qu'en l'occurrence, en 1944, les deux grands libérateurs de l'Europe (et ce, indépendamment de leur « valeur » politique dans les années qui suivent) ce sont les USA et l'URSS.
« Malheureusement je suis certain que si les nazis avaient gagné leur guerre et maintenu leur emprise sur l'Europe, la majorité des français trouveraient aujourd'hui parfaitement normal de soutenir l'idéologie nazie, et notre point Godwin serait de comparer quelqu'un aux juifs. Ça ne m'empêche pas de considérer l'idéologie nazie comme une horreur, mais j'essaie de garder ce recul et cette part de doute ;+) »
J'essayais justement de prendre cet exemple (WW2), dans un contexte où l'on sait que l'idéologie primait très clairement sur la logique vers la fin [1], et qui donc aurait très clairement tout fait pour punir les maychants résistants (là où d'autres se seraient peut-être juste dit « putain ça va mal, limitons les dégâts »).
D'une part, WikiLeaks ne peut divulguer que ce qu'on lui porte à voir -- i.e., s'ils n'ont que les noms des résistants, et pas ceux des collabos, ils brisent un certain équilibre en les révélant (c'est d'ailleurs ce que certains détracteurs reprochent au WikiLeaks réel [2]). Du coup dans mon scénario original sous licence CC-BY-SA ;-), seule l'Allemagne nazie gagnent à avoir des infos compromettantes. Peut-être que 3 ans plus tard, on aura les autres infos, bien sûr, mais en attendant, si WL diffuse les noms, plutôt que de simplement expliquer le procédé par lequel l'operation Overlord a pu être mise en place (ce qui, honnêtement, est bien plus intéressant, objectivement -- mais ce n'est que mon avis bien sûr), ben nos petits résistants risquent d'avoir chaud aux miches. Enfin, admettons que Wikileaks divulgue à la fois les noms des collabos et des résistants. Super, on aura le droit à un bain de sang.
« Tout ça pour dire que, AMHA, ce n'est pas vraiment à Wikileaks ou aux journalistes qui font le tri de décider s'il est bon ou pas de divulguer telle ou telle information. »
C'est dommage, parce que justement c'est le boulot des journalistes de faire un tri de façon à ce que le rapport signal/bruit soit le meilleur possible. L'important ce sont les actes, les causes et les conséquences. Dire « houla, vous savez, moi, je ne fais que dumper 3To de câbles diplomatiques, p'tet ben que y'a des opérations en cours, avec des gens qui risquent leur vie dans le lot, mais bon, c'est la vie hein, et puis, ils l'ont choisi. », c'est irresponsable.
Irresponsable, oui, car :
1. Ils n'ont pas choisi de mourir, ils ont choisi de risquer leur vie et potentiellement de perdre la vie selon un risque calculé : la probabilité qu'un « journaliste » diffuse le nom de tous ceux qui œuvrent à la libération d'un pays par exemple (et là, je ne vise aucun pays, mon exemple est purement hypothétique), je ne vois pas en quoi ça informe mieux la population. Que le mec s'appelle François, Benjamin, Rachid, ou Boubakar, ça change quoi ? Mis à part qu'en publiant son nom on le grille et on l'empêche de faire son boulot, voire on le met plus en danger qu'il ne l'était avant, bien sûr.
2. Ceux qui sont des informateurs ne sont que les messagers. Ça fait depuis un bon moment que les messagers ne sont pas censés être zigouillés pour rien. Révéler leur identité revient à mettre une cible sur leur tête. C'est d'ailleurs pour cela que l'on permet aux journalistes de ne pas révéler leurs sources.
« Wikileaks qui prend partie, et décide de sauver telle vie mais pas telle autre, de révéler les secrets de tel diplomate mais pas de tel berger afghan, ce n'est pas ça que j'en attends. »
La différence entre le berger et le diplomate, c'est le verre blindé de la voiture du diplomate. Si H. Clinton est explicitement citée, c'est que, au pire, elle devra démissionner de son poste (je m'en fais pas trop pour elle, même si ça finissait par arriver, elle trouvera facilement un autre job).
Il ne s'agit pas de dire de quel parti est Wikileaks, puisque le principe-même du site est de dénoncer des scandales. Mais il y a une différence entre citer les noms de gens qui sont déjà dans la sphère publique, et qui a priori ne risquent pas plus d'être cités à nouveau, et des gens qui pensent faire leur devoir en donnant des informations à une autorité quelconque, qui leur semble légitime/capable de rétablir « l'ordre » (quel qu'il soit) / etc, mais qui n'ont pas les moyens matériels de le faire eux-même.
Ce que tu proposes, c'est plus ou moins ce que fait Électre (dans la pièce éponyme de Giraudoux). Elle veut faire éclater la vérité à tout prix, même celui de la destruction de son pays [3]. Alors, je suis à fond pour elle, dans le cadre de la pièce, et parce que je ne suis pas obligé de vivre dans la Grèce Antique avec les barbares à ses portes. Mais dans la vraie vie, justement, la plupart des démocraties sont obligées de composer, faire des compromis avec les différentes populations qui composent leur peuple, ainsi qu'avec les peuples voisins. Électre aurait vu cela comme un mensonge, une souillure qu'il faut laver à tout prix. Électre est pure, et réclame une justice impartiale mais aussi impitoyable. Bref, Électre n'est finalement pas tout à fait humaine. :-)
[1] Au moins pour Hitler -- d'autres personnes de son état major avaient bien compris à quel point ils étaient dans la merde, et ce, dès 1943)
[2] Ce à quoi je réponds justement que non, je ne vois pas de problème, puisque les journalistes ont fait tout ce qui était possible (au moins d'après ce qu'ils disent) pour montrer la vérité sans pour autant exposer au danger des gens qui n'ont pas forcément mérité de se prendre une balle.
[3] Pour ceux qui ne connaîtraient pas l'histoire de la pièce: Électre est la fille du roi Agamemnon, et de Clytemnestre. Cette dernière aide son amant, Égiste, à tuer Agamemnon, et prend sa place en tant que régent. Je passe sur la pièce en elle-même, mais vers la fin, Égiste se révèle en tant que véritable souverain, au moment où Électre comprend enfin qui a tué son père. Elle confronte Égiste, qui ne nie pas. Il lui demande juste d'attendre la fin du conflit avec les barbares, et lui promet qu'ensuite il se soumettra de lui-même à Électre et au peuple. Électre refuse, et fait éclater la vérité.
[^] # Re: Comparaison
Posté par lasher . En réponse au journal Quelques questions à propos de l'affaire wikileaks…. Évalué à 5.
De là à dire que c'est un viol... »
13 ans, c'est déjà l'adolescence. Mais c'est aussi un viol. La loi US le dit (elle a moins de 18 ans au moment des faits, donc c'est un viol). Et même la loi française le dirait (elle a moins de 15 ans, donc c'est un viol). Ce que ce n'est pas, c'est un acte pédocriminel (comme certains -- notamment aux USA -- voudraient nous faire croire).
[^] # Re: tir de barrage
Posté par lasher . En réponse au journal Quelques questions à propos de l'affaire wikileaks…. Évalué à 5.
Puisque tu fais déjà des tentatives de Godwinage de loin, reprenons ta référence. Imaginons WikiLeaks qui existe en 1939. En juillet 1944, WikiLeaks diffuse les noms de gens qui ont aidé les USA à préparer leur entrée sur le sol Français un mois plus tôt, pour une opération en Normandie. L'état allemand de l'époque est encore en place, et il se sait plus ou moins condamné à terme, mais autant partir avec un BANG. Donc du coup, ils s'assurent que le maximum de résistants, etc., se retrouvent vraiment désolés d'avoir résisté...
Tu vois l'idée ?
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 4.
[^] # Re: Mais sinon, pourquoi je devrais m'intéresser à ce énième langage
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 3.
[^] # Re: Mais sinon, pourquoi je devrais m'intéresser à ce énième langage
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 4.
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 3.
Cela étant dit: si tu prends n'importe quel guide sur l'optimisation de code (disons le manuel d'Intel sur la question par exemple http://www.intel.com/Assets/PDF/manual/248966.pdf, ou le site de A.Fog, http://www.agner.org), ou surtout des manuels plus haut-niveau (pour les gens qui ne veulent/peuvent pas passer le temps qu'il faut à micro-optimiser leur code), les méthodologies proposées impliquent souvent de compiler à différents niveaux d'optim (-O0,..., -O3), et de prendre un jeu d'essai représentatif -- bref, de faire à la main ce que certains compilateurs (icc, et normalement gcc aussi, par exemple) savent faire depuis un moment: de la compilation guidée par profilage.
De plus, que -O3 puisse ralentir un programme, je le crois volontiers; qu'il donne des résultats faux (ou même que l'optimisation a eu un effet de bord surprenant, disons), à moins d'un bug dans le compilateur, c'est plutôt que l'utilisateur a fait des hypothèses quant au langage/à la machine qu'il utilise (je parle d'expérience).
Concernant la cohérence et l'élégance d'un langage et sa prévisibilité, je ne suis pas certain de comprendre ce que tu veux dire par là. La plupart du temps (mais clairement pas toujours), plus de concision implique plus de clarté, mais cela suppose néanmoins une compréhension du langage, et de comment il fonctionne. J'ai l'impression qu'une bonne partie des reproches faits aux langages « différents » (qu'ils soient fonctionnels, tels que ML, Haskell, LISP, déclaratifs tels PROLOG, ou bien juste « glu » genre Perl) est qu'ils ne fonctionnent pas comme leurs cousins impératifs tirés du C. J'ai exactement le même problème avec Fortran par exemple, et pourtant il n'est pas si éloigné du C que ça (en supposant qu'on passe à Fortran 90 au minimum pour avoir la forme libre de syntaxe).
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 3.
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 2.
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 5.
Donc ta balise, ce n'est plus une simple chaîne de caractères, c'est un type à part entière (et je te parle même pas des schémas, qui permettent justement de typer « pour de bon » le contenu de tes balises et de t'affranchir du « tout est chaîne »). Je te renvoie lâchement ici : http://cduce.org/papers.html pour plus d'infos, mais je t'avoue que l'article initial (« semantic subtyping ») est franchement difficile à lire. Y'a une version plus sympa (« A gentle introduction to semantic subtyping »), qui fait l'impasse sur le moteur de pattern matching, mais qui reste difficile à lire.
Dans tous les cas, tu te retrouves avec un type qui contient d'autres types (c'est ce que montre l'article original: il prouve ce qui était pure conjecture par ailleurs : il y a une relation ensembliste entre un type et ses sous-types).
Au final, si tu as un arbre XML à traiter (par exemple pour trouver une certaine information), CDuce (et d'autres langages, genre XQuery, à supposer qu'ils bénéficient du même genre de fonctionnalités que CDuce dans leur implémentation) devrait être capable de rapidement élaguer l'arbre, pour rapidement trouver une réponse à la recherche faite dans le document.
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 2.
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 2.
Et qu'il n'existe pas d'outils en Java pour correctement vérifier qu'une variable est non-null est une chose. Typiquement lors de l'écriture d'une méthode, un IDE comme Eclipse signalera toute variable susceptible d'être non-initialisée, à l'exception des variables passées en paramètre. Après, qu'il faille un outil pour vérifier que l'articulation des méthodes (le graphe d'appel des fonctions quoi) passe bien des arguments non-null (en supposant que ce ne soit pas autorisé), c'est un autre problème... Cela dit je n'ai pas fait de Java depuis longtemps, et je me demande si les ajouts syntaxiques au langage (annotations, etc) ne permettent pas de détecter ce genre de trucs ...
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 5.
Le truc, c'est que ce qui te semble simple, voire évident, dans le code que tu as montré se transforme en code spaghetti à force de rajouter une condition par-ci ou une autre par-là. C'est ce que je voulais dire par « laisser le compilateur briller là où il le peut ». Un exemple tout bête: une multiplication de matrice.
Le code original (naïf et tout):
void matmul(const size_t m, const size_t n, const size_t k,
const double alpha, const double *a, const double *b,
const double beta, double *c)
{
for (size_t i = 0; i < m; ++i)
for (size_t j = 0; j < n; ++j)
for (size_t l = 0; l < k; ++l)
c[i*n+j] = beta * c[i*n+j] + alpha * a[i*k+l] * b[l*n+j];
}
Bon, tu peux t'embêter à faire tout un tas d'optimisations super intelligentes (et connues depuis 30 ans), du genre promotion scalaire, inversion de boucles, et tuilage, etc., ce qui pourrait donner un truc du genre :
void matmul(const size_t m, const size_t n, const size_t k,
const double alpha, const double *a, const double *b,
const double beta, double *c)
{
for (size_t i = 0; i < m; ii += TILE_I)
for (size_t l = 0; l < k; l += TILE_L)
for (size_t j = 0; j < n; j += TILE_J)
for (size_t ii = i; ii < MAX(i+TILE_I,m); ++ii)
for (size_t jj = j; jj < MAX(j+TILE_J,n); ++jj) {
acc = c[ii*n+jj] * beta;
for (size_t ll = l; l < MAX(l+TILE_L,k); ++ll) {
acc = c[ii*n+jj] + alpha * a[ii*k+ll] * b[ll*n+jj];
}
c[ii*n+jj] = acc;
}
}
Bon, je ne dis même pas que ce code est optimal (il est loin de l'être). Un bon exemple concernant ce genre de transformations se trouve ici : http://www.spinellis.g/blog/20090420/
Cependant, si je te dis que y'a toute une théorie qui existe déjà concernant les nids de boucle, et que ce genre d'optimisation peut-être faite par le compilateur sans que tu aies à lever le petit doigt, tu seras content non ? Ben le typage fort permet justement ce genre d'optimisations (enfin pas le tuilage, mais d'autres transformations/simplifications de code). Du coup quand je te vois faire ce que tu fais en JS (ou je ne sais quel autre langage), en rajoutant condition après condition et en disant « facile ! » en fonction de ce qu'on te dit que le compilateur sait déjà faire, je tique un peu. :)
[^] # Re: +1
Posté par lasher . En réponse au journal Wikileaks et OVH : ce qui devait arriver arriva.... Évalué à 4.
[^] # Re: typage mou
Posté par lasher . En réponse à la dépêche Quelques nouvelles de Go, le langage de programmation. Évalué à 1.
Y'a suffisamment de cas où le compilateur ne fait pas bien son boulot pour lui laisser l'occasion de briller quand c'est plutôt chiant à faire à la main, tu ne trouves pas ?