Michaël a écrit 2929 commentaires

Je crois que comprendre que Terraform est déclaratif tandis que Ansible est impératif. Ainsi Terraform a une compréhension sémantique que n'a pas Ansible, une conséquence pratique est que Terraform est capable de calculer une sorte de “plus court chemin” transformer l'infrastructure A en infrastructure B. (Ceci dit le seul utilisateur expérimenté de Terraform à qui j'ai parlé m'a dit que Terraform a tendance à tout détruire pour tout reconstruire!)

Ah ben non, au contraire! http://web.mit.edu/humor/Computers/real.programmers

Avec une circulation dense il est très complexe d'avoir la distance de sécurité correspondante à des vitesses plus élevées (même rouler à la vitesse maximale autorisée rend cet exercice difficile). Du coup le risque d'accident augmente mécaniquement.

C'est complexe en France. Que les résidants Suisse me corrigent: je crois savoir que dans ce pays, le non respect des distances de sécurité est très fortement sanctionné et de façon progressive qui peut aller jusqu'au retrait de permis dans les cas les plus dangereux. Pour ce qu'il m'a été donné de voir cela marche très bien – d'ailleurs la transition des autoroutes Suisse à celles du Sud-Est de la France est très visible de ce côté là.

Ton code n'est pas très lisible, il y a quelques points à améliorer:

• Il y a un 102 qui se balade. C'est quoi? Au moins donne lui un nom!
• Réassigner les paramètres de fonction, c'est pas super pour la lisibilité, tu peux nommer xx0 l'argument de Lorentzian ou bien polymorphicX par exemple.
• Les alias de type import numpy as np et import matplotlib.pyplot as plt rendent le code plus rapide à écrire et plus dur à lire, pour moi c'est plutôt un problème qui se règle en utilisant mieux son éditeur qu'en utilisant ce type d'alias.

Ceci dit pour moi le problème est que, si je te comprends bien, s_pos échantillonne ton signal sur les temps $t_0$ à $t_{102}$ mais contrairement à ce que tu as l'air d'écrire s_neg n'échantillonne pas la fonction qui associe - signal(-x) à x mais plutôt -signal(t[102] - x). Cela modifie la transformation de Fourier.

Sinon, ce serait pas mal d'en savoir plus sur tes artefacts, par exemple tu pourrais montrer les images résultantes.

Je ne vois pas très bien ce qui rend cette fonctionnalité si incroyable. org-mode ressemble à une énième version du markdown, avec une bonne intégration dans emacs.

Il y a bien plus de fonctionnalités, comme par exemple une navigation futée, le pliage-dépliage. le déplacement d'arborescences, l'utilisation des tags (genre TODO, DONE, URGENT, etc.) et aussi des dates. Il serait plus judicieux à mon avis de comparer org-mode à un gestionnaire de tickets sommaire mais qui peut intéresser les utilisateurs de Emacs pour leurs projets perso. Je n'ai jamais utilisé org-mode sérieusement, mais il y a certainement plein d'autres trucs trop bien qu'il sait faire.

Au cas où – comme ton exemple le suggère – ta ligne est la dernière, tu peux y accéder facilement avec l'e programme standard tail.

Autrement, tu peux utiliser awk. Ta description nous explique que ton programme de recherche doit transiter par les états

1. Sauter lignes nnn
2. Sauter ligne blanche 1
3. Sauter ligne intermédiaire
4. Sauter ligne blanche 2
5. Lire ma ligne

Chaque ligne du fichier te fait passer d'un état à un autre, ou rester sur le même état, ou déclenche une erreur si ton fichier n'a pas la forme souhaitée.

Sinon tu peux lire tout ton fichier en mémoire avec awk et extraire ta ligne avec des expression rationnelles. Tu peux effacer toutes les lignes jusq'à un double saut en effaçant ([^\n]*\n)*\n\n.

[… ce] sera sans doute le truc le moins sécurisé (mais le plus utilisable) qui sera utilisé […] on apprend aux Linuxiens à rendre exécutable tout truc téléchargé sur le net, à la Windows).

Le mouvement est déjà bien amorcé, il y a déjà un certain nombre de logiciel libres dont les instructions d'installation sont

curl http://mon.project.org/install.sh | sudo bash

ou sa version dite “sécurisée”

curl https://mon.project.org/install.sh | sudo bash

ou équivalent. C'est le cas par exemple de NodeJS, ou de Symfony.

Et les PPAs de Ubuntu entraînent eux-aussi à cela!

Et avant openvz y avait les jails sur freebsd, les zones sur Solaris. […]

Ezgactement. S'il faut voir un problème quelque part on peut en trouver dans les techniques de propagande qui font passer pour des “innovations techniques disruptives et révolutionnaires” les dernières étapes de maturation d'idées qui ont parfois plus de 20 ans. Mais les technologies en elles-même sont pérennes, utiles, et ont des vrais cas d'application!

Ici (surtout dans la dépêche certes, ici ça semble plus de la compassion car ça a été rejeté), on veut mon soutien/compassion sans RIEN m'expliquer et juste viser mes émotions. C'est de la manipulation.

Surtout dans la dépêche. J'ai pour ma part écrit un bref journal qui n'invite à rien d'autre qu'à prendre connaissance du “dénouement de cette histoire”. (Tellement bref qu'ii est frappé de la maladie “tout est dans le titre”, ce dont je suis désolé.) J'ai écrit:

Puisque la dépêche a suscité beaucoup d'intérêt il m'a semblé utile de mentionner ici cet article qui livre quelque détails sur le dénouement de cette histoire.

Il n'y a de ma part aucun appel à quelque compassion, pas plus qu'un appel à se réjouir. Pour moi, à chacun de réagir comme il le veut, mais si tu penses que ma présentation oriente une réaction, n'hésite pas à donner l'exemple d'une présentation (encore) plus neutre.

(dans la communauté Haskell du moins) il est généralement recommandé de mettre des annotations de type au niveau des fonctions

C'était la phrase “mais en pratique…” du commentaire auquel tu réponds ;)

"comme le rappelle" n'est pas entre guillemet et du coup n'est plus factuel

Ce que l'on rappelle c'est ce qui a déjà été dit, éventuellement par d'autres, pas nécessairement ce qui est vrai. Mais soit, levons l'ambiguïté en lisant

”ayant fui l'épidémie d'Ebola” comme le présente Methylbro sur son blog Médiapart.

De nos jours, on n'a pas le choix : il faut aborder toute information avec un esprit critique […]

C'est pour ça que je n'ai écrit que des choses complètement factuelles:

• Je ne prends pas à mon compte le “ayant fui …” que j'attribue explicitement au texte que je cite: c'est un propos rapporté, libre à chacun de l'évaluer.
• J'ai choisi comme titre un énoncé factuel.

Je me garde bien de prendre position et je pourrais faire mien le sens général de tes propos. J'ai trouvé utile de partager cette information ici car la dépêche attirant sur la situation de cet homme avait recueilli 247 commentaires!

Aussi, même si l'article du blog exprime des regrets il reste factuel, la seule information qui n'est pas facilement vérifiable est justement le motif de la fuite de Cellou Diallo.

Quant à laisser penser que les fonctionnaires évaluant le bien-fondé des demandes d'asile loin de moi de penser qu'il soit formé d'incompétents!

pour ma part je préfère de loin des langages qui "t'aide à la correction" comme python plutôt que des langages laxistes comme php.

Je n'ai encore jamais essayé mais il semblerait que PHP 7.0 implémente un typage statique (optionnel). Quelqu'un a une expérience avec ça?

J'ai entendu parler de flow mais je ne l'ai jamais encore essayé. Je n'en attends pas grand chose, en Javascript il y a beaucoup d'obstacles qui empêchent le système d'être très pertinent, et j'avais discuté avec un des développeurs du projet qui avait présenté flow à React en 2016 (à Paris) qui avait plus ou moins confirmé mes craintes. L'idée d'annoter les types me semble vider un peu le concept de son intérêt puisque si justement les types étaient notés explicitement on pourrait retrouver relativement facilement les endroits affectés par un changement de type – même si un système automatique peut sûrement apporter son aide. Mais j'essaierai quand-même de voir ce que ça donne.

Je rappelle pour ceux qui lisent que OCaml ou Haskell déduisent les types et vérifient leur cohérence sans aucune annotation de l'utilisateur. En pratique on écrit souvent ces types déduits dans un fichier, mais le système est capable de générer un canvas qu'il suffit de compléter.

contient exactement la même information que le message en Python :

Pas tout-à-fait quand-même, je vois deux différences importantes:

• le message de Rust ne fait pas référence au type entier contrairement à celui de Python
• le message de Rust parle de std::ops::Add alors que le programmeur a écrit +, alors que Python utilise le signe +.

Le message de Rust est un peu plus difficile à comprendre il faut savoir (ou dans mon cas,deviner) que dans les message d'erreur:

main.rs:2:20: 2:28 error: the trait bound `_: std::ops::Add<&str>` is not satisfied [E0277]
main.rs:2     println!("{}", 1 + "3a");
                             ^~~~~~~~

le _ renvoie à la classe ou au type du bidule souligné, le 1 dans l'expression problématique et que le + est traduit en un appel à une méthode Add lorsque cela est possible.

Le message de Python se lit tout seul.

Hmm avec un première version datant de 1990 et une première implémentation du compilateur GHC datant de 1992, on peut certainement pas dire que Haskell est un langage aussi jeune que Rust.

Quelques dates, que j'ai recopiées de Wikipedia:

• 1957 Fortran
• 1958 Lisp
• 1959 COBOL
• 1972 C
• 1983 C++
• 1984 Common Lisp, Objective C
• 1985 Caml
• 1987 Perl
• 1991 Python
• 1992 Haskell
• 1995 Java, JavaScript, PHP, Ruby
• 1996 OCaml
• 2010 Rust

et une erreur de type c’est assez courant pour qu’on la reconnaisse du premier coup d’œil, même avec peu d’expérience.

Si on sort des exemples bétas 1 + "two" et bien non les erreurs de type ne sont pas faciles à repérer à la lecture. Ces temps-cis je travaille sur un code NodeJS qui lit depuis une base de données. La BDD a des capacités de tri limitées et l'API que j'implémente doit aussi proposer du tri et de la réduction de données (un peu comme le group by de SQL pour faire vite). Dans le code existant, la lecture de la BDD produit un flot d'items, mais pour pouvoir profiter des capacités de tri de celle-ci, j'ai décidé de changer en un “flot de pages d'items peut-être triées” ce qui simplifie beaucoup la communication entre les modules de l'application. Un langage comme OCaml ou Haskell permet au compilateur de détecter automatiquement toutes les zones de code affectées par ce changement de type. JavaScript ou les langages typés dynamiquement en général n'apportent simplement aucune aide pour résoudre ce problème – qui est pourtant le pain quotidien du programmeur non?

Autre exemple plus béta, on ne reconnaît pas forcément du premier coup d'œil qu'il fallait écrire if("names" in params) plutôt que if(names in params) et le compilateur d'un langage typé statiquement détecte l'erreur instantanément. Dans mon application NodeJS avec du code asynchrone, je me retrouve avec une exception et une pile d'erreur inutilisable car toutes les fonctions référencées sont des callbacks d'une bibliothèque pour la programmation asynchrone et donc pas du code utilisateur.

Je n'ai donc aucun mal a percevoir l'intérêt du typage statique.

En fait il y a une contradiction entre deux types de discours […]

Je suis très surpris de lire que ces deux discours se contredisent! Le premier point consistant à remarquer l'existence et les effets des déterminismes sociaux n'est aujourd'hui rien de plus qu'une simple remarque: judicieuse, importante, mais si évidemment vraie et palpable qu'on prend rarement la peine aujourd'hui de la justifier plus abondamment. Le second point, quant à lui, me semble infidèlement restitué par par ta présentation. il ne s'agit pas d'ignorer ces déterminismes mais de s'en émanciper, d'échapper à leurs effets négatifs – ou bien d'aider le plus grand nombre à s'en émanciper. D'ailleurs, énoncé avec cette généralité, on voit bien que le féminisme n'est qu'une spécialisation d'un programme plus vaste et on peut s'interroger sur la pertinence de traiter le cas des femmes à part – ou plus particulièrement des femmes issues des classes aisées.

Mais que le peuple adhère à ces valeurs communes et un pré-requis pour faire la guerre aux autres…

Ben oui mais c'est aussi un prérequis pour que ce peuple organise une solidarité nationale comme la sécu par exemple: si rien ne permet au Breton de s'identifier au Catalan, comment convaincre le premier d'aider le second? Alors après on peut regretter que cette solidarité, dans sa forme la plus intense, soit essentiellement limitée à la communauté nationale ou se réjouir qu'une telle solidarité puisse exister, c'est selon.

Ce serait sans-doute bien confortable intellectuellement de soit accepter soit rejeter intégralement le phénomène nationaliste, mais pour moi il y a une grosse différence entre une d'une part une invitation passive à voir un feu d'artifice ou une parade militaire – invitation qu'on peut refuser sans préjudice – et d'autre part l'enrôlement obligatoire dans un groupe de jeunesses fascistes. Sur ce chemin comme sur mille autres Il reste à notre charge de diriger notre société dans une directions désirable ou au moins acceptable.

morts parce que pas contre le mode de vie occidental

Le terroriste ne leur a rien demandé, ils sont morts par un funeste hasard sans aucun égard à qui ils étaient ou ce qu'ils pensaient.

Comme quoi une connaissance fine des standards C permet de temps à autre de briller en société! ;)

note : il a à ma connaissance toujours été discret la dessus […]

Au temps pour moi: “je croyais savoir et je m'a trompé”

Pour Mr Obama, ça se compte en millions même.

C'est vrai du coup j'ai fait un petite recherche vite-fait, pour trouver quelques chiffres sur les ventes de livres en France pour tomber sur un article du point pour 2016 et celui-ci du Figaro pour Sarkozy en 2015 et il s'en dégage que des ventes de plus de 200.000 exemplaires sont carrément cannons. Pour en revenir à Macron on peut en déduire que l'éditeur espère que le livre se vende bien et donne plus de 1 EUR par bouquin à l'auteur.

Le candidat anti-riches source de tous les maux […]. A sa décharge il ne faut pas oublier qu'il a eu plus de temps (c'est le plus vieux) et que c'est cohérent par rapport à ses revenus

Je crois savoir qu'il n'a pas fondé de famille ce qui rend encore plus grande la part de ses revenus qu'il a pu investir.

À part ça j'ai sauté sur ma chaise en entendant hier que Macron aurait reçu 274.000 euros d'avances sur droits d'auteurs pour son libre “Révolution” – Je connais des auteurs qui sont super heureux d'en avoir 15000: il n'est pas un peu “gros” ce chiffre?

Ton analyse à plusieurs faiblesses. La plus grave est que tu ne fais pas tout l'analyse des menaces sur l'utilisateur de la banque en ligne et ne peut donc pas critiquer la solution que tu prétends analyser au regard de son efficacité. Le second point est que ton discours, purement technique, entame rapidement ta crédibilité: il n'y a aucun intérêt à hasher des chiffres: il n'y a que dix chiffres et donc autant dix valeurs de hashs possibles.

L'intérêt du procédé est qu'il demande à l'utilisateur de montrer qu'il connaît un secret, sans dévoiler l'intégralité du secret à la connexion. Il y a de nombreuses situations où cela se montre utile, par exemple si on se connecte en public (sur son portable) ou si l'ordinateur est surveillé informatiquement (par exemple via une vulnérabilité du navigateur).

(Ceci dit il faut rappeler que cette procédure de connexion permet d'accéder aux relevés bancaires mais ne permet de réaliser aucune transaction, pour lesquelles une authentification supplémentaire est nécessaire.)

Bien-sûr que non. En revanche ça répond assez bien à la question “existe-t-il des cas où bash est nécessaire?”

Qu'est-ce que tu cherches au juste dans cette discussion? De l'aide?