Firwen a écrit 562 commentaires

  • [^] # Re: western

    Posté par  (site web personnel) . En réponse au journal La Banque Postale bloque l'achat d'un VPN. Évalué à 7.

    Bon après c'est pire en Afrique.

    Pas besoin d'aller en Afrique. Vas simplement aux États Unis et tu trouveras les banques Françaises professionnelles et serviables :)

    • Les US n'ont pas de concept de virement SEPA, un simple virement inter-banque coûte un bras.

    • Les US autorisent la prise de frais arbitraire aux distributeurs, ce qui te donne de charmante surprises dans certains endroits.

    • Les banques "locales" US n'ont même pas accès au système SWIFT, ce qui signifie qu'émettre ou recevoir un virement international passe de "honteusement cher" à "ridiculement cher et compliqué".

    Après, je t'accorde, ça n'excuse pas beaucoup de problèmes des banques Françaises comparées à leurs voisines Européennes ( frais, plafond extrêmement bas, incompétence chronique ).

  • # Best article award

    Posté par  (site web personnel) . En réponse à la dépêche Un nouveau moteur de rendu ultra‐rapide pour Firefox : Quantum Render. Évalué à 10. Dernière modification le 18 novembre 2017 à 10:56.

    Un grand merci pour cette article. Je le qualifierai de meilleur article sur Linuxfr sur les derniers 6 mois, sincèrement.

    Just une question, pas technique cette fois:

    Tu as utilisé quel outil pour la création de tes images bleue en style "stylo" ?

  • [^] # Re: Sans minix ça serait ironiquement peut-être encore pire…

    Posté par  (site web personnel) . En réponse au journal Minix plus utilisé que Linux!. Évalué à 6.

    Ça n'enlève donc pas l'intérêt de savoir qu'ils utilisent Minix qui a l'air d'être de bonne qualité, plutôt qu'un truc potentiellement plein de bugs et propriétaire dont on ne saurait rien :)

    Étant donné qu'ils ne relâcheront pas la moindre ligne sur les modifications qu'ils ont apportés à MINIX. Qu'est-ce qui te garantie qu'ils ne l'ont pas transformer en monstre buggy fait à la va-vite ?

  • [^] # Re: commentaire link

    Posté par  (site web personnel) . En réponse au journal WPA2 est bronsonisé. Évalué à -1.

    Y a vraiment des gens qui n’utilisent pas STARTTLS ?

    Tous les gens qui savent que STARTTLS est vulnerables aux attacks MitM ?

  • [^] # Re: essayer Julia ?

    Posté par  (site web personnel) . En réponse au journal Un Python qui rivalise avec du C++. Évalué à 0.

    Je n'ai nullement l'intention de perdre mon temps avec un logicien qui n'a nullement envie de discuter, et re-déballe en boucle ses propres examples non corrélés.

    Mais allons y… c'est dimanche.

    autrement elles ne seraient pas traitée comme deux sciences distinctes, mais la première serait simplement une branche de la seconde.

    Non c'est ton interprétation biaisé. L'informatique n'est en rien une branche des mathématiques, sauf dans l'esprit tordu des logiciens qui ne peuvent la concevoir autrement.

    C'est un domaine à part entière qui utilise également les mathématiques. Tout comme la physique d'ailleurs, Je te conseil d'aller voir un physicien et de lui dire qu'il ne pratique qu'une branche des maths, juste pour rigoler un peu.

    Néanmoins quand je regarde l'image de ton message, la première impression qui me vient à l'esprit est celle-ci : elle a été faite par un ingénieur, autrement dit une personne qui se fait une fausse idée de ce qu'est la science mais qui veut tout de même exprimer son avis dessus.

    Ah manque d'arguments donc attaque personnelle.

    Mais pour information, J'ai passé 7 ans de ma vie à travailler pour deux des plus grandes expériences scientifiques de cette planète. J'ai aussi fait un doctorat. Donc en toute modestie, l'ingénieur ( et rechercheur ) que je suis en connaît probablement plus sur la "science" que toi même, désolé pour ton ego.

    Il n'en reste pas moins que les mathématiques et la preuve formelle fournissent les outils conceptuels, par exemple, pour les systèmes de typage langage de programmation. Je reprends mon exemple de Pythagore : si en entrée tui lui donnes un carré, il va te répondre qu'elle n'a pas le bon type, lui il veut un triangle rectangle

    Donc l'informatique tout entière peut-être ramenée à un système de typage et un triangle rectangle. Intéressant comme la logique d'un logicien peut parfois être biaisé quand ça l'arrange.

    J'ai repris le tableau de la dépêche de Perthmâd sur Coq 8.5, tu pourras t'y reporter pour de plus amples développements.

    Tu aimes te parler à toi même non ?

    Je connais Coq merci.
    Tout comme je connais l'inutilité de la plupart des logiciels de preuves formelles qui ne font même pas capable de gérer 2000 lignes de C dés qu'on ajoute du threading et des I/O.

    Ton pavé ne change strictement rien à ce que je disais.

    Alors effectivement, toutes ces contraintes auxquels il faut s'adapter proviennent du monde extérieur et donc sont en quelques sortes extra-mathématiques, mais croire que la méthodologie mathématique est inadaptée, voire impropre, au besoin de l'ingénieur informaticien c'est ignorer ce que sont les mathématiques.

    il faut s'adapter proviennent du monde extérieur et donc sont en quelques sortes extra-mathématiques, mais croire que la méthodologie mathématique est inadaptée

    alléluia

    Donc un paver pour admettre que l'informatique a besoin des Mathématiques, mais l'informatique n'est pas les Mathématiques…

    Mais on s'en arrêtera là je pense.

    Et pour terminer sur ces histoires d'optimisation de code (et donc de compléxité algorithmique), je citerai la présentation du module Logique et théorie du calcul du MDFI :

    Ça fait 20 ans que La logique formelle, le lambda calculs, la programmation par preuve, et la théorie du calcul est enseigné à l'Université. Rien de nouveau ni d’évangéliste là dedans.

  • [^] # Re: essayer Julia ?

    Posté par  (site web personnel) . En réponse au journal Un Python qui rivalise avec du C++. Évalué à 3. Dernière modification le 10 septembre 2017 à 13:38.

    Il évite ainsi d'allouer une matrice temporaire pour calculer la transposer et il gagne 6.1% de plus qu'avec le code précédent. Mais au fond ce qu'il vient d'écrire ce n'est que la traduction dans le langage formel qu'est le C d'une pensée qui est mathématique de part en part.

    Je vais me faire l'avocat du diable mais allons y…

    Sur ça je suis juste simplement pas d'accord, et ton exemple l'illustre parfaitement la différence entre mathématiques et informatique.

    L'implémentation d'une multiplication de matrice en C est effectivement juste une bête traduction d'une logique mathématique en un programme informatique.

    L'optimisation de l'implémentation pour satisfaire des contraintes bien physiques, non fonctionnelles comme: la taille de cache, la vitesse d'execution, la lisibilité du code, la portabilité….. n'a elle rien de mathématique, ni même de penser mathématique, encore moins de formel…
    Elle est la pour adapter un "algorithme théorique fonctionnel " aux contraintes d'un monde bien réel et aux limitations de son hardware, de temps de calcul, d'espace mémoire de nos machines de tous les jours…. Et c'est ça, ça n'a rien d'une formalisation mathématiques, Et c'est ça une grande part de l'informatique.

    Pour prendre un cas similaire, je dirai qu'il y a la même relation entre Mathématique et Informatique qu'entre Physique et Ingénieuri.

    Titre de l'image

    L'un se base sur les connaissances de l'autre, mais est un domaine à part entière. Souvent car il se doit de répondre à un besoin, répondre à un problème, et non être uniquement un art en lui même…. Et se faisant, il devient un nouvel art en lui même.

    De mon expérience, un bon ingénieur a toujours des bases solides en physiques. Un bon physicien est rarement un bon ingénieur, car il lui manque souvent les considérations pratiques.

    Il en va généralement exactement de même pour les informaticiens et les mathématiciens.

    Réduire l'informatique aux Maths et à la preuve formelle uniquement est une stupidité. Mais ignorer l'origine mathématique de l'informatique est également une stupidité.

  • [^] # Re: Réchauffement ou Dérèglement ?

    Posté par  (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 1.

    Car même si en moyenne sur la planète, il y a réchauffement (les océans en sont un bon exemple), ça évite les débats stériles avec les personnes qui pensent qu'il va faire plus chaud, partout et tout le temps …

    Il y a réchauffement, et c'est bon de le rappeler.

    Et je conseil fortement ceux qui en doute encore de faire une petite visite des glaciers alpins juste pour rigoler, tant qu'ils existent encore.

  • [^] # Re: Python pour scripter, C/C++ sous la capot.

    Posté par  (site web personnel) . En réponse au journal Un Python qui rivalise avec du C++. Évalué à 2.

    OpenBLAS c'est essentiellement des kernels de calcul en assembleur, optimisés pour chaque micro-architecture des processeurs Intel.

    Oui, mais wrappé en C ( donc pas en fortran, contrairement à la libBLAS originelle ). OpenBLAS a aussi une implémentation générique pure "C" pour la plupart de ses kernels.

  • [^] # Re: Python pour scripter, C/C++ sous la capot.

    Posté par  (site web personnel) . En réponse au journal Un Python qui rivalise avec du C++. Évalué à 4.

    Numpy repose aussi sur LINPACK, mais je n'ai jamais compris si c'est sur son implémentation C ou Fortran.

    LAPACK et non LINPACK, LINKPACK est l'outil de benchmarking, LAPACK est une library de résolution pour système linéaires.

    LAPACK dans sa version originelle est en Fortran, et c'est actuellement la seul réel dépendance généralement toujours en fortran.

    BLAS est de nos jours remplacé par OpenBLAS ( C ), BLIS (C++) ou MKL ( C++ )

  • [^] # Re: Python pour scripter, C/C++ sous la capot.

    Posté par  (site web personnel) . En réponse au journal Un Python qui rivalise avec du C++. Évalué à 10. Dernière modification le 28 août 2017 à 22:36.

    Votre réponse est formidable, mais j'aimerais voir des exemples / des liens hypertexte / du code / des chiffres! Par exemple, les scripts python en question arrivent a utiliser efficacement combien de processeurs sur du parallélisme MPI?

    Neuron simulator : https://www.neuron.yale.edu/neuron/
    Fer de Lance de la neurosciences pour la simulation au niveau cellulaire. Utilisé et respecté par les neuroscientistes du monde entier. Codé en C/C++, interfacé en python pour la configuration de la simulation. Scale du petit PC personnel au plus gros super-calculateur des USA.

    STEPS : http://steps.sourceforge.net/STEPS/default.php
    Simulateur sub-cellulaire ( reaction, diffusion, calcul de champs magnétique ). Codé en C++ comme un module python. Scale d'une simple machine à plusieurs milliers de noeuds.

    ROOT : https://root.cern.ch/
    Framework phare du CERN dans le domaine de la physique des particules. Créé en hard-core C++ avec son propre interpréteur C++ embarqué. Mais dispose quand même d'une interface en python largement utilisée par les physiciens.

    Nest : http://www.nest-simulator.org/
    Simulateur de réseau neuronaux points à points. Codé en C++, interfacé en python. Scale sur le super-calculateur BlueGeneQ machines du Juelich center ( http://www.fz-juelich.de/portal/DE/Home/home_node.html ), un des plus gros au monde.

    Tensorflow : https://github.com/tensorflow/tensorflow
    Machine learning framework. Codé en C++, interfacé en python… supporte GPGPU et calcul distribué.

    Qu'on soit claire, je suis dev C++, je n'ai clairement pas le profil du pythonneux fan boy… Et il y a des tas de choses que je déteste avec python, et probablement une liste trop longue pour la mettre ici.

    Mais c'est un fait, comme langage d’interfaçage, de configuration, de scripting quick & dirty, python s'est largement imposé dans le monde scientifique, et il y a des raisons à ça.

  • # Python pour scripter, C/C++ sous la capot.

    Posté par  (site web personnel) . En réponse au journal Un Python qui rivalise avec du C++. Évalué à 10. Dernière modification le 28 août 2017 à 11:40.

    Je travaille en environnement où le calcul distribué haute performance est la norme.
    Et oui c'est courant de voir du Python sur super-calculateur.

    Simplement parce que python est facile à prendre en main, la barrière d'entrée est basse, et n'importe quel scientifique arrive à pondre quelque chose qui tombe en marche en python…

    C'est souvent fait avec les pieds, c'est souvent illisible et pas portable. Ils sont souvent des cancre du software engineering…. Mais ils s'en fichent, ils veulent simplement leur résultat, pas redévelopper le monde.

    Le fait qu'un code écrit en Python soit aussi performant qu'un code écrit en C++, c'est la norme ou c'est l'apanage des mauvais codeurs C++ / des très bons codeurs Python? Avez-vous beaucoup d'exemples similaires?

    Comme dit plus haut, la force de python en environnent scientifique / HPC vient du fait que TOUTES ses librairies critiques sont codés en C/C++, donc avec les performances de C/C++.

    Et accessoirement, que c'est relativement trivial d'interfacer python avec un module C.

    Les performances d'un code python purement python sont généralement entre horribles, et complétement affigeantes . Mais en pratique ce n'est souvent pas un problème, car 80/90% des sections critiques du code scientifique sont en C/C++ dans des routines numpy / scipy / pandas / BLAS / FFTW / HDF5 ou dans une section C/C++ d'un simulateur maison.

    Bref :

    • Python pour le scripting c'est bien mangez en.
    • Si vous voulez faire un soft scientifique HPC, codez le en C, C++ ou Rust et donnez lui une interface python.
  • [^] # Re: preuve de travail

    Posté par  (site web personnel) . En réponse au journal Hardfork du Bitcoin : bienvenue au Bitcoin Cash. Évalué à 9.

    la réelle avancée du bitcoin a été cette BDD distribuée.

    Il faut peser les avantages vs les inconvénients.
    Et désolé, mais la prime énormes aux premiers arrivés + la conso, ce n'est pas forcément à dire que c'est une énorme avancée.

    Ahhhh mon cher Zenit et ta mauvaise foi légendaire.

    Le concepte de BDD distribuée ( ou plus proprement dit: blockchain ) n'a strictement rien à voir avec le "premier arrivé, premier servi" de Bitcoin.

    Tu peux trés bien créer une block-chain où la devise n'est pas déflationniste. Tu peux aussi créer une blockchain sans aucune "devise" aussi, il y en a une légion disponible sur internet ( smart contract, stockage distribué, tracing, predictions, etc etc ).

    La conso est aussi orthogonal au concept de blockchain. Elle vient principalement de l'utilisation d'un algorithm d’élection par la preuve de travail qui si il a l’inconvénient d’être horrible écologiquement, est simple à appréhender donc utilisé. Il est tout à fait possible de faire une blockchain, c'est à dire une DB distribuée, publique, basée sur des arbres de Merkle, sans preuve de travail, si tu changes le mécanisme d'élection : ça peut être fait avec une preuve d'enjeu , un paxos ou une simple round robin si ton système est locale. Tout dépend du niveau de confiance mutuel entre les acteurs du système et aussi de ce que tu veux faire.

  • [^] # Re: Preuve de travail

    Posté par  (site web personnel) . En réponse au journal Hardfork du Bitcoin : bienvenue au Bitcoin Cash. Évalué à 5.

    Il aurait encore été mieux de supprimer le système de preuve de travail pour arrêter l'immense gâchis de ressources utilisées pour le minage.

    Des alternatives existent (https://en.wikipedia.org/wiki/Proof-of-stake). Mais personne ne changera Bitcoin en lui même, principalement pour des raisons de risque, et aussi pour des raisons économiques…

    Si alternative il y a, elle viendra d'une autre cryptocurrency.

  • [^] # Re: Riot VS Jitsi Meet

    Posté par  (site web personnel) . En réponse au journal Au revoir Skype, bonjour Matrix et Riot. Évalué à 4. Dernière modification le 06 juillet 2017 à 11:59.

    Bonjour,
    Qqs infos en direct de l'équipe Riot

    Merci sincèrement. C'est un trés bon logiciel d'une très bonne qualité et un vrai plaisir à utiliser.
    Il a remplacé slack pour ma team actuel.

    Les deux seuls petits commentaires que j'aurai :

    • Le support pour les smileys à l'interface utilisateur Ça rendra les conversations un poil moins austères.

    • Le client est en NodeJS… Et c'est parfois lourd et lent sur certaines machines. Une version native ou un SDK avec un coeur en Go / C++ serait vraiment le bienvenue. Hesitez pas si vous avez besoin d'aide sur ça.

  • [^] # Re: ceph

    Posté par  (site web personnel) . En réponse au journal Système de fichiers clusterisé - OCFS2, GFS2, GlusterFS, autres. Évalué à 1.

    Concernant gfs je l'ai utilisé en production il y a de très nombreuses années. J'avais trouvé ça très compliqué à mettre en place et pas mal capricieux. Je n'en ai pas un bon souvenir. On s'en servait pour stocker des photos. Beaucoup de photos.

    De mon expérience, GPFS est une hydre à 25 têtes que seul une poignée de sysadmin au niveau mondial comprennent entièrement. Et ils sont généralement employés par des centres HPC ou des banques (autrement dit, des centres où l'argent n'est pas un problème ).

    Le restant de ses utilisateurs étant des (fous) braves sys-admins qui prient pour que la bête se comportent bien et volent vers le support d'IBM quand les choses tournent mal.

  • [^] # Re: Essentiel

    Posté par  (site web personnel) . En réponse au journal Système de fichiers clusterisé - OCFS2, GFS2, GlusterFS, autres. Évalué à 2.

    Dans les 4 dernières boites pour lesquelles j'ai bossé on utilisait/utilise des solutions de stockage proprio style netapp/datadomain.

    Des solutions proprétaires qui de toute façon donnent des interfaces NFS / CIFS / S3 / (GPFS pour les riches) et qui ont généralement les même tares techniques que les protocoles associés.

    Donc ça ne change pas grand chose au final.

  • [^] # Re: Quel genre de réponse attends-tu ?

    Posté par  (site web personnel) . En réponse au journal Boursorama n’aime pas qu’on bloque des choses. Évalué à 3.

    Mais éthique cela signifie moins d'intérêts

    Tu veux dire des interets qui passent de ridicules à inutiles ?

  • [^] # Re: Quel genre de réponse attends-tu ?

    Posté par  (site web personnel) . En réponse au journal Boursorama n’aime pas qu’on bloque des choses. Évalué à 4.

    Oui, oui, moi aussi avant… certicode etc… puis un jour ça s'est arrêté et c'était encore un peu dispo pour les comptes pro, puis un jour pour les comptes pro il fallait aussi remplir un formulaire, l'envoyer etc…

    Ca existe toujours. Il y a nullement besoin d'aller en agence pour ajouter un destinataire, tout peut se faire en ligne. J'ai un de mes comptes chez eux.

    La banque postale s'est nettement améliorée ces dernières années. Si j'avais deux choses à leur reprocher ça serait :

    • Les couleurs bleu flashy qui piquent les yeux de leur interface en ligne.

    • Les frais fixes sur CB avec les changements de devises qui sont élevés ( mais tristement, dans la moyennes des banques francaises … )

  • [^] # Re: Laptop ARM

    Posté par  (site web personnel) . En réponse au journal PineBook - OpenSource Notebook. Évalué à 1.

  • [^] # Re: Laptop ARM

    Posté par  (site web personnel) . En réponse au journal PineBook - OpenSource Notebook. Évalué à 1. Dernière modification le 14 mai 2017 à 16:00.

    MS a porté Win10 sur un processeur Qualcomm. Alors je pense que d'autres y pensent aussi!

    Le CPU en question s'appelle Falkor, et il vise les serveurs haute performance avec 48 coeurs ARMv8. c'est un tout autre segment que les laptops.

    Microsoft l'a aussi fait pour les processeurs ThunderX de Cavium, qui sont aussi 48 coeurs et aussi pour le marché des serveurs, et qui font pas mal de bruit en ce moment.

    Mais l'un n'empeche pas l'autre, soyons optimiste :)

  • [^] # Re: vendredi soir

    Posté par  (site web personnel) . En réponse au journal MacronLeaks est tombé dans le pot de miel tendu par En Marche!. Évalué à 9. Dernière modification le 10 mai 2017 à 22:22.

    euh tu sais dans pas longtemps on a les elections legislatives

    Les législatives sont dans plus d'un mois, et non clairement pas le même retentissement à l'international que les présidentielles. Spécialement comparé à cette élection, qui était interprétée à l'international comme la possible propagation d'un populisme post-Trump / Brexit.

  • [^] # Re: vendredi soir

    Posté par  (site web personnel) . En réponse au journal MacronLeaks est tombé dans le pot de miel tendu par En Marche!. Évalué à 10. Dernière modification le 10 mai 2017 à 19:47.

    ils auraient pas pu le dire ?

    Trés Bonne idée, comme ça ça aurait mis les hackers en question franchement en rogne, et ils se seraient tapé un deuxième hack, un vrai cette fois, pour finir les élections.

    La dernière chose à faire en sécurité informatique, c'est de jouer les caïds…

    Je me rappelle d'un gros malin d'une TV / journal français qui disait devant l'écran "vous pouvez venir Anonymous: on est blindé", et 15min après son site web s'est effondré sous les DDOS pour le restant de la journée.

  • # Première historique..

    Posté par  (site web personnel) . En réponse au journal MacronLeaks est tombé dans le pot de miel tendu par En Marche!. Évalué à 10. Dernière modification le 10 mai 2017 à 18:32.

    Un parti politique français qui gagne une élection et qui n'emploie pas de complètes branques en informatique, c'est une réelle première historique.

    Bien plus qu'un président de 39 ans.

    Si c'était vendredi, je dirai presque que ça me donne de l'espoir pour l'avenir.

  • [^] # Re: une Union Européenne forte et protectrice

    Posté par  (site web personnel) . En réponse au journal Pulse of Europe. Évalué à 10. Dernière modification le 13 mars 2017 à 16:22.

    Je crois qu'il est assez clair, et c'est une opinion assez largement partagée, que l'ouverture des frontières et la déréglementation poussées par l'UE mettent à mal les protections sociales des travailleurs français.

    C'est tout au mieux ton opinion, surement pas celle du "largement partagée"… Ou en tout cas sûrement pas par les centaines de milliers de travailleur frontaliers qui passent une frontière tous les matins car ils travaillent à l'étranger.

    Je sais de quoi je parle, j'en ai fait parti.

    Un exemple typique est le problème des travailleurs détachés.

    Donc parce que la réglementation des travailleurs détachés est pourrie, l'Europe est pourrie… Drole de raisonnement… C'est un peu comme si je réinstallais ma distribution Linux à chaque fois que mon OpenSSL ait besoin d'une upgrade… pour prendre une comparaison bien Linuxienne.

  • [^] # Re: Droits fondamentaux...

    Posté par  (site web personnel) . En réponse au journal Pulse of Europe. Évalué à 8.

    Pas du tout. Un pays peut toujours sortir d'un traité (quel qu'il soit, pas seulement les traités européens) comme bon lui semble
    Les relations internationales sont toujours des rapports de force.

    Ah, l'auto-expertise en droit international auto-proclamé. C'est toujours la meilleur.

    L'UE est une association sui-generis, autrement dit "unique en son genre" d'un point de vue légale. Et disposant de sa propre cours de Justice, approuvée par ses états membres et disposant de pouvoir supra-nationaux.

    Donc non "Un pays ne peut pas sortir d'un traité Européen comme bon le semble". Si il ne le respecte pas, ils se fait sanctionner… Et la France elle même s'est fait sanctionné un paquet de fois… sur des sujets comme le droit à un avocat en cas de garde à vue par exemple.

    Et au passage c'est tant mieux, et c'est pour ça que l'Union européenne marche. Certes marche à moitié, Parfois même au quart , mais marche quand même.

    Là où la majorité des accords bilatéraux restent généralement des textes sans consistances, régulièrement violés par les partis signataires ( c.f encore récemment avec la CIJ) .