Nicolas Boulay a écrit 16008 commentaires

  • [^] # Re: risque de quoi?

    Posté par  (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 6.

    Aucune. En Allemagne, l'équivalent de linky a été pirater rapidement par le CCC pour faire la démonstration de son absence de sécurité. Le gouvernement allemand a donc interdit la chose.

    "La première sécurité est la liberté"

  • [^] # Re: module ?!

    Posté par  (site web personnel) . En réponse au journal Go 2. Évalué à 2.

    Je ne vois pas bien le rapport, les plugins de Go semble être de la gestion de library dynamique, cela n'a rien à avoir avec les packages de OCaml.

    "La première sécurité est la liberté"

  • [^] # Re: Reason

    Posté par  (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.

    Réponse bien complète :)

    Concernant les littéraux, je ne comprends pas pourquoi il sont considéré différemment du type.

    En gros si tu as
    i : int
    i + 1

    i + 1 est ok, uniquement car on détermine que 1 est d'un type entier.

    Or a part dans fonctionnalité de généricité, le type n'est jamais une variable. C'est chiant dans ingénierie des modèles, tu ne peux pas prévoir un modèle de plus haut niveau, qui sera utilisé pour en faire un de plus petit niveau en définissant le type de certain donné par exemple. Ce genre de problème se contourne en réinventant une sorte de typage depuis le modèle de haut niveau, mais c'est moche et lourd. De plus, la vérification des types doit être réécrites.

    Cela se retrouve dans tout ce qui ressemble à des déclarations des schémas (xml ou autre) : il est compliqué d'avoir un schéma dans le même "monde" (au sens d'une library ou d'une autre donné) qu'une instance d'un objet. c'est ainsi que l'on se retrouve avec des "metamodèles" (en UML) qui devienne super chiant quand il s'agit de rapprocher des modèles utilisant des metamodèles différents, ce qui ne poserait aucun problème si on utilisait une library à la place.

    "La première sécurité est la liberté"

  • [^] # Re: CPL + Wifi

    Posté par  (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 2.

    Source ?

    "La première sécurité est la liberté"

  • [^] # Re: J'ai compris !

    Posté par  (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à -2.

    C'est facile un troll d’extrême droite est collant. Avec des logs, on fait juste le ménage plus vite dans les faux comptes.

    On peut être pour la liberté d'expression sans pour autant tolérer que quelqu'un fasse caca sur son paillasson.

    "La première sécurité est la liberté"

  • [^] # Re: *bâillement intense*

    Posté par  (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 2.

    Et comment expliques tu les "barils bombes" lâché sur les habitations, les morts comptablisés largement supérieur pour le régime (même bien plus que Daesh)

    "La première sécurité est la liberté"

  • [^] # Re: CPL + Wifi

    Posté par  (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 1.

    Il pourrait faire des normes "minimum" de sécurité pour la mise en location par exemple (différentiel, terre correct, nombre max de prise par ligne, câblage en 1.5mm² minimum, etc…)

    "La première sécurité est la liberté"

  • [^] # Re: risque de quoi?

    Posté par  (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 4.

    Le problème avec la consommation instantanée est que l'on peut savoir ce qui se passe dans la maison avec ces chiffres.

    On peut savoir si une ou plusieurs personne est à l'intérieur, etc…

    "La première sécurité est la liberté"

  • [^] # Re: Haute trahison ?

    Posté par  (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 1.

    Tu as raison, mais oser sortir qu'un dictateur sanglant ne peut pas tuer un activiste des logiciels libres, et que celui ci doit nécessairement être un terroriste ou un espion, c'est dure à avaler.

    Je ne connais pas les pseudo qui font ses attaques, mais on reconnait l'extrème gauche, anti-américaine, et anti-israélienne qui défend tout ce qui peut leur nuire. On reconnait aussi l’extrême droite, qui défend la russie uniquement pour se montrer rebelle (et se faire financer ?).

    "La première sécurité est la liberté"

  • # J'ai compris !

    Posté par  (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à -4.

    En fait, ce genre d'information permet de révéler au modérateur les faux nez d'extrème droite, venu faire de l'entrisme dans le milieu du logiciel libre. J'espère que vous garder un max d'information sur ce genre de triste sir.

    "La première sécurité est la liberté"

  • [^] # Re: Suspect, mais... prudence!

    Posté par  (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 1.

    "de bombarder sans discernement aucun "

    C'est un mensonge, et tu le sais très bien. Il suffit de voir le nombre de mort civile, le régime syrien est bien pire que ISIS.

    très vite "des terroristes islamistes à exterminer sans pitié" dès qu'ils commencent à opérer en terre française…

    Tu mélanges tout. Il y a plusieurs groupes islamiste très différent en syrie. Et si les USA arment les kurdes (souvent anti-turc), c'est justement parce qu'ils sont peu islamisés.

    IL ne mérite pas plus d'éloges qu'aucun autre syrien qui s'est battu pour rester en vie dans ce désastre qui perdure encore.

    En quoi le fait de ne mériter pas plus d'éloge qu'un autre, discrédite de lui faire un éloge à lui ? Parce que cela ne vous plait pas ? Parce que cela ne suit pas vos intérêts partisan ?

    Ce sera mon seul commentaire.

    Heureusement. tu ressembles follement à un troll d'extrème droite qui soutient Assad, comme Marine le fait, uniquement par anti américanisme et pro-russie.

    "La première sécurité est la liberté"

  • [^] # Re: *bâillement intense*

    Posté par  (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 1.

    Le type est un troll ou un troll d'extrème droite qui vient pourrir le site ?

    "La première sécurité est la liberté"

  • [^] # Re: *bâillement intense*

    Posté par  (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 6.

    Il soutenait le printemps arabe. donc, forcément, il était contre le régime. Mais pas forcément pour les islamistes non plus.

    "La première sécurité est la liberté"

  • [^] # Re: Reason

    Posté par  (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.

    Et par rapport à la logique, si j'ai bien compris l'origine du lambda calcul, c'est les incohérences de la théorie des ensembles qui ont donné la théorie des catégories (?) puis le lambda calcul, mais quel rapport ici, entre le typage est la logique. Le typage définit un ensemble de "vérité", et le compilateur vérifie la cohérence de l'ensemble ? Pourquoi les littéraux sont définit de manière spéciale par rapport au typage, c'est une question de facilité, ou est-ce qu'il y a une vrai différence de nature ?

    "La première sécurité est la liberté"

  • # module ?!

    Posté par  (site web personnel) . En réponse au journal Go 2. Évalué à 3.

    Il manque sans doute l'équivalent des modules de ocaml, cela permet de faire de la programmation générique sans trop de recopie de code.

    "La première sécurité est la liberté"

  • # futur

    Posté par  (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 9.

    J'adore Ocaml, et j'aurais aimé continuer à l'utiliser grâce à son système de type, sa création/ parcours d'arbre très simple, le tagless final (présenté par kantien). C'est un outil parfait pour un "filtre unix", un programme que l'on lance une fois et donne un résultat (compilateur, transformation, documentation, calcul….).

    Mais si on veut faire de la GUI, il y avait au dernière nouvelle que du gtk 2.0 de disponible qui n'utilise pas les arbres typés qui serait pourtant géniaux dans le cas d'une GUI. Bref, c'est peu conseillé.

    Pour faire un serveur, il n'y a pas l'air d'avoir grand chose d'aboutis. Le projet Ocsygen avait l'air prometteur, mais si vous comprenez leur exemple, c'est que vous avais un BAC+9 en sémantique des langages ML, et ce n'est plus de l'Ocaml mais un dialecte à eux. De plus, je ne suis pas sûr que le GC se limite à des pauses courtes (<100ms) même avec 16 Go de ram, ce qui est handicapant pour un serveur. Ils ont auss un bon compilateur de Ocaml vers javascript pour l'execution du code dans le navigateur.

    D'un point de vue performance, Ocaml n'utilise toujours pas le SIMD, ce qui sera possible avec l'unboxing de tableau de flottant.

    Ce qui est plus problématique, surtout dans les serveurs, est le manque de gestion du parallélisme. Aujourd'hui, chaque système dispose de 4 cores minimum. "golang" peut être plus rapide que Ocaml grâce à sa bonne gestion du multi-cpu. Ocaml ne dispose toujours pas d'un bon modèle sur ce sujet (genre message passing sans copie).

    Je suis passé à "Go" pour toutes ses raisons. La lib http est ultrabasique à utiliser, les performances sont bonnes et ont peu espérer faire des interfaces en HTML avec les limites que l'on connait des interfaces web. Go manque cruellement des types union, mais son typage structurel allège beaucoup le code et les dépendances.

    Mozilla arrive avec Rust, qui se veut un remplaçant de C++ pour les clients lourds, avec 90% des fonctionnalités d'Ocaml et une bonne api pour la GUI.

    EML (http://elm-lang.org/) est un nouveau langage ML qui se veut un moyen de forcer l'usage correct des paradigmes à la mode de javascript (react, …). Franchement, il ne lui manque que les modules pour pouvoir faire du "tagless final" pour être un sacré écosystème pour écrire des SPA (application web) (de mon point de vue).

    Les développeurs d'Ocaml sont sans doute entrain de faire un choix entre combler les manques de l'écosystème ou renforcer ses points forts (on choisit souvent un outil, car c'est le meilleur dans un domaine).

    "La première sécurité est la liberté"

  • [^] # Re: Peter & Dilbert

    Posté par  (site web personnel) . En réponse au journal Ça y est, je suis manager :(. Évalué à 9.

    " J'ai vu des managers d'équipes de dev qui n'y connaissaient pas grand chose et c'est pire que tout."

    Moi, aussi mais c'était génial. Il tenait compte d’absolument tout ce que l'on lui disait, il fallait même faire attention de ne pas charger la barque. C'était un ingénieur, mais cela faisait des années, qu'il n'y touchait plus.

    En France, il n'y a pas de double échelle de compétence manager/expert. Il me semble qu'il y a un début de ça dans la convention Syntec, mais c'est loin de passer dans les mœurs. Après 10 ans de dev, pour continuer à voir son salaire augmenter, il faut devenir chef ou directeur technique de quelques choses.

    "La première sécurité est la liberté"

  • [^] # Re: Redressement vraiment hasardeux.

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 4.

    Imagines la même chose en Corse avec un maire qui réagit ainsi avec le drapeau français ? (ou dans le pays basque, ou en Bretagne)

    "La première sécurité est la liberté"

  • [^] # Re: Redressement vraiment hasardeux.

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 4.

    Pas assez ? L'UE ne fait absolument rien pour assurer que la concurrence se fasse à des standards sociaux et écologiques comparables, elle milite même activement pour empêcher cela.

    C'est juste faux. Il y a encore plein de quota et de droits de douane. C'est le principale intérêt des négociations en cours : obtenir des concessions pour baisser ses droits. Et le royaume unis va s'en prendre plein la gueule sans un accord avant leur sorti (genre 30% de droit de douane).

    L'industrie allemande, par exemple, n'est pas constituée de concurrents à Google et Amazon mais d'entreprises évoluant dans des domaines industriels assez traditionnels…

    Encore un mauvais exemple. L'Allemagne n'a pas de chômage uniquement parce qu'elle a des emplois de merde (1€/h) et qu'elle n'a pas de jeunes, genre 30% de mois qu'en France, pour 20M d'habitant en plus. Donc, pour que le chômage reste à zéro, elle doit créer bien moins de job que la France (genre 30 à 50% de moins)

    Je comprends aussi qu'il ne faille pas négliger ce secteur.

    Quel secteur n'utilise pas l'informatique ?! L'Hostellerie ? Le voyage ? Les taxis ? (Airbnb, hotel.com, uber)

    Regarde l'Estonie : très forte pour le numérique (si on en croit la vulgate médiatique), et pourtant très pauvre par rapport à la France.

    Il faut voir d'où ils partent. On en reparle dans 20 ans ?

    Non, on n'importe pas toute notre énergie.

    Oui, 27% d'énergie nucléaire, et qq pourcent pour l’hydraulique… fabuleux.

    Quant aux éoliennes, aux panneaux solaires, aux batteries électriques, là aussi, il serait bien préférable de les produire nous-mêmes.

    Trop tard, même les allemands ont céder face au chinois. Il fallait se réveiller il y a 10 ans (sauf nouvelle techno, bien sur).

    Quant à vouloir favoriser les importations, vu le déséquilibre de notre balance commerciale, peut-être faudrait-il moins les favoriser, justement, à moins de vouloir courir à la catastrophe.

    C'est un peu plus compliqué que ça. Un PC chinois importé au US coute 500€, mais dedans il y a 300€ de chip intel, 100€ de mémoire, il ne reste au rien de valeur chinoise.

    Chacun de ces domaines n'impliquera au mieux, en étant gentil et en admettant que la hype autour de ces domaines soit justifiée, que quelques milliers d'ingénieurs en France

    Une centaine d'ingénieur, c'est un side-projet d'Amadeus, pour te situer ton niveau d'erreur d'échelle. 10000 ingénieurs, c'est un milliard de CA minimum. Cela implique autant de CA pour l'immobilier, les services locaux (resto, magasin, …). Pour un emplois de ce genre, tu peux en avoir plusieurs localement (cf l'aéronautique).

    (je passe sur le fait que « IoT »—nouveau nom de l'embarqué—et IA ne sont nullement des domaines nouveaux).

    Non, l'IoT c'est de l'embarqué qui communique par internet. Et cela change tout, les boites qui faisaient de l'embarqué et font de l'IoT, on créé ses fameuses cameras contaminées en 48s sur internet. L'IA était vu comme un gadget inutile de laboratoire, jusqu'en 2012, avant de prouver son efficacité réelle. Donc, oui, c'est tout nouveau d'un point de vue innovation.

    "Pour dire les choses autrement : accepter de délaisser la production de nos propres trains, avions, voitures, centrales électriques, etc. en échange d'un hypothétique leadership (par ailleurs fort improbable) dans le domaine des API, de la blockchain et des imprimantes 3D, c'est de la folie furieuse."

    Magnifique homme de paille ! Trop fort. Tu voulais imposer du protectionnisme pour forcer la production locale, et cela devient "accepter de délaisser la production de nos propres trains, avions, voitures, centrales électriques". La folie est de dépenser 1M€ par emplois dans des secteurs en décroissance. Il vaut mieux dépenser 1M€ dans la recherche ou dans un projet prometteur.

    "La première sécurité est la liberté"

  • [^] # Re: Redressement vraiment hasardeux.

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 2.

    Les idéologies s'est marrant 5 minutes, mais il faut regarder un peu la réalité parfois.

    Il faut vraiment être optimiste pour y voir une « embellie ». Le chômage ne baisse pas, l'industrie reprend à peine…

    Il y a juste un nombre historique de création net d'emplois, un truc qui n'est pas arrivé depuis des années.

    C'est assez simple : il faut instaurer des protections.

    Non, c'est complètement con. Si on est incapable de faire mieux que l'étranger, on fait surtout moins bien. Donc, cela condamne les français a utiliser du moins bien. Toutes ce qui reste en industrie utilise des pièces qui viennent de partout, si on ferme, ils ne peuvent plus s'approvisionner. C'est l'exemple typiquement des pièces de voitures automobile qui passe 24 fois la frontière US-mexique, ou le fabricant de selle de cheval français qui importe un cuir spécifique de Finlande. Bien sûr il faut veiller à la réciprocité, ce que l'EU ne fait pas assez surtout avec la chine.

    Ou est-ce qu'on prend le problème à bras de corps afin de reconstituer progressivement un tissu industriel ?

    Mais pourquoi faire ?! C'est l'industrie du passé. Les GAFA n'existaient pas il y a 15 ans. En France, la société du CAC40 la plus jeune à 30 ans… L'idée est d'investir l'avenir, pas ramer pour faire survivre des vieilles industrie, à coup de commande débile comme des TGV pour rouler à 160km/h. Il y a plein de trucs dans les API, la blockchain, l'IoT, l'IA, les imprimantes 3D, et cela tombe bien la France est doué pour tous ces domaines.

    la désindustrialisation comme une sorte de fatalité

    Ce n'est pas une fatalité, c'est un fait tout court.

    (ben oui, une monnaie forte, c'est favorable à la rente, pas vraiment au développement de capacités de production, surtout en régime de libre concurrence internationale).

    C'est aussi favorable au importation, et on importe toute notre énergie.

    Avec ce genre de raisonnement, on ne fait jamais rien, car il n'y a jamais « aucune garantie d'être gagnant à la fin ».

    Non, on évite juste de faire des conneries avec des raisonnements simplistes.

    Bizarrement, lorsqu'il s'agit de déréguler toutes les protections existantes, personne ne nous explique qu'il faudrait être prudent car il n'y a « aucune garantie d'être gagnant à la fin ». Pourtant, concrètement, cela commence à se voir qu'on y perd beaucoup.

    C'est vrai mais ce n'est pas du tout lié, contrairement à ce que tu dis. Ce n'est pas que virer des protections, c'est aussi changer de logique (emplois verrouillés remplacé par l’indemnisation, mais qui est aussi à financer !)

    "La première sécurité est la liberté"

  • [^] # Re: Redressement vraiment hasardeux.

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 2.

    personne ne criait à la catastrophe.

    Bien sur que si. L’embellie actuelle de l'économie ne vient que de la baisse de l'euro couplé à la baisse du pétrole.

    Oui, cela inciterait à relocaliser pas mal de productions.

    Bien sur que non. Comment veux-tu être compétitif avec les salaires chinois ou des pays de l'est ?! L'investissement en France sera toujours plus couteux que dans ses pays là, sans compte l’inexistence complet de sous-traitant industriel nécessaire à n'importe quelle industrie de produit fini (à part l'automobile et l'aéronautique, il n'y a plus rien).

    Une dévaluation va booster les marges des entreprises existantes exportatrice, c'est sûr, mais dans le même temps, cela va baisser le pouvoir d'achat de tout le monde, et cela va couter cher à toutes les boites qui dépendent du pétrole ou globalement d'importation. Il n'y a aucune garanti d'être gagnant à la fin.

    "La première sécurité est la liberté"

  • [^] # Re: Redressement vraiment hasardeux.

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 4.

    avec une monnaie adaptée à l'économie française, le tourisme en France serait moins cher pour les visiteurs étrangers…

    Et le pétrole serait 20% plus chère, ainsi que tous les biens manufacturés que l'on ne fait plus ici (soit à peu prêt tout).

    "La première sécurité est la liberté"

  • [^] # Re: Résultats du Jugement Majoritaire : même biais d'extrême gauche

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 3.

    Est-ce qu'il existe une version du jugement majoritaire pour des votes à la proportionnelle d'assemblé ? On parle de l'élection d'un homme, mais la représentativité d'une assemblé est tout aussi importante.

    L'idéal (pour moi) c'est d'élire des personnes nationalement. On pourrait avoir des personnalités hors parti (genre B.Bayard). Le problème, c'est de gérer 7500 candidats…

    Il reste les listes et le problème de laisser le vrai pouvoir au parti, avec les positions éligibles et autre investitures. C'est un moindre mal, si il n'y a pas de primes majoritaires (== les parties les plus connus sont sur-représenté), comme la bidouille aux européennes françaises.

    Voter pour plusieurs listes, ou les "juger", pourrait peut être de rendre l'assemblé encore plus représentative, non ?

    "La première sécurité est la liberté"

  • [^] # Re: Redressement vraiment hasardeux.

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 3.

    Avant évidemment.

    "La première sécurité est la liberté"

  • [^] # Re: Redressement vraiment hasardeux.

    Posté par  (site web personnel) . En réponse au journal Expérimentation "Voter Autrement" : les résultats. Évalué à 4.

    L'absurde, c'est de confier l'écriture du programme par le candidat. Le débat sur le programme et la ligne politique doit avoir lieu avant une primaire.

    "La première sécurité est la liberté"