Gil Cot ✔ a écrit 5730 commentaires

  • [^] # Re: punch card

    Posté par  (site web personnel, Mastodon) . En réponse au lien Les cartes perforées, 1960 (à l'époque le RGPD n’existait pas). Évalué à 2. Dernière modification le 23 novembre 2021 à 09:15.

    Oui, les «minis» c'est au sens IBM, c'est à dire que ça rentre dans une pièce de dimension moyenne.
    IBM a fait des progrès, ses derniers minis sont déplaçables par un individu raisonnablement costaud (le mini onduleur interne pèse quand même son poids).

    Pour l'époque, c'était mini comparé aux mainframe :-) Aujourd'hui les équivalents seraient des châssis blade comparés aux racks plein et aux super ordinateurs…

    Et maintenant, même eux poussent vers les VMs, y compris pour ça. Les salles info se dépeuplent encore plus rapidement que les cheveux des derniers admins qui les hantent.

    Ça ne date pas vraiment d'aujourd'hui : la série z, alias AS400, a été pensé pour être utilisé en faisant plusieurs compartiments (équivalent de VM) avec leur système propre éventuellement.
    Aujourd'hui, les salles infos retournent dans les nuages et les terminaux font leur retour…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Je veux bien !

    Posté par  (site web personnel, Mastodon) . En réponse au message Donne livres. Évalué à 2.

    Moi je suis partant pour le reste, surtout le TeX book, et peut me déplacer à la gare du Viroflay R G.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Jamais Ada ne sera utiliser ailleurs que dans son domaine.

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 4.

    A savoir qu'on peut vérifier qu'un programme Ada ne fera pas une boucle infini ou ne fera pas une multiplication qui dépassera la valeur d'un Int. Mais pour arriver a ce résultat, il faut tout dire a Ada.

    Alors si on parle de vérifier, ce sera via du Spark mais sinon, il y a juste à définir des types ce qui n'est pas en soi insurmontable.
    Alors oui, il faut tout dire mais ça documente aussi beaucoup le code.

    Le lien suivant montre qu'il ne faut justement pas tout lui dire, mais plutôt que les choses sont dites explicitement (y compris quand on veut faire des conneries contre lesquelles il y a nativement un garde-four, alors qu'en face on s'expose à des surprises ou on rajoute de la bordure cryptique) http://archive.adaic.com/intro/ada-vs-c/ada-vs-c.html
    Corolaire, pour obtenir le même niveau de "ité" en C il faut en dire bien bien plus… https://www.electronicdesign.com/technologies/iot/article/21801203/comparing-ada-and-c
    Voir aussi https://www.adahome.com/History/Steelman/steeltab.htm

    Surtout qu'Ada perd un peu en performance par rapport a Rust ou C/C++.

    Source ? Usuellement, on estime que le code Ada est 30% plus lent que le code C et équivalent au code C++, sans retirer les runtime checks sinon, c'est équivalent au C. Mais bon, j'ai pas plus de source :D

    J'ai terminé le journal par ce lien : https://benchmarksgame-team.pages.debian.net/benchmarksgame/fastest/gnat-rust.html
    Comme tu dis, la lenteur apparente est souvent due aux vérifications supplémentaires pendant l'exécution. À noter aussi que la performance du code Ada dépend du compilateur sous-jacent (si on utilise GNAT c'est bien GCC au final) et de ses options… Cf. http://computer-programming-forum.com/44-ada/99cf01d940383de5.htm et http://computer-programming-forum.com/44-ada/641218ec0d2aba9c.htm par exemple.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Config du serveur et des schémas LDAP dans un fichier vs dans le LDAP

    Posté par  (site web personnel, Mastodon) . En réponse au lien OpenLDAP 2.6 est sorti. Évalué à 2.

    À la base c'est un annuaire… Dans mon expérience je suis fort loin des 99% de doigt (plutôt 9%) même en mouillant beaucoup.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Perf

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 2.

    Arf possible. En regardant les exemples de mise en œuvre dans certains langages (C#/C++/Java) j'ai surtout vu la « modification du comportement » d'une classe instanciée en tentant de surcharger le retour d'une de ses méthodes.
    Heureusement qu'il a précisé sa pensé entre temps parce-que les implémentations des concepts et tout ça (cf. le polymorphisme dans Python et dans Smalltalk)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Je m'insurge !

    Posté par  (site web personnel, Mastodon) . En réponse au lien HS du vendredi : à défaut de tartiflette, de la raclette. Évalué à 2.

    plutôt pour les agneaux

    Le seigneur Dès…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Paramètres de LibreOffice

    Posté par  (site web personnel, Mastodon) . En réponse au message pour utilisation d'une clé. Évalué à 2.

    J'espère que c'est une volonté : je trouve bien de ne pas être spamé (mais ça oblige à passer régulièrement/quotidiennement quand on a lancé un sujet) En passant, regarde ton tableau de bord…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Il ne faut utiliser que des produits bio.

    Posté par  (site web personnel, Mastodon) . En réponse au journal Du ménage autour de nos ordinateurs. Évalué à 0.

    non assistance à acariens menacés par le voisinage

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: tests pcr

    Posté par  (site web personnel, Mastodon) . En réponse au lien Le résultat ne correspond pas à ta théorie fumeuse? Ben facile, change juste la façon de mesurer.. Évalué à 3.

    C'est exactement le sens de ma question :-) Doit-on prendre les résultats pour un ensemble de mesures comme ne s'appliquant qu'à une seule de l'ensemble ? Perso, ça me pose problème.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Perf

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 2.

    Je vérifie les définitions : L’héritage désigne l’utilisation du structure et du comportement d’une super classe dans une sous-classe. Bien que le polymorphisme se réfère à la modification du comportement d’une super-classe dans une sous-classe.
    Je vérifie ce qui se fait en C#, Java, Python, etc. Je ne vois pas non plus à quel moment le polymorphisme nécessite l'héritage. :-/

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: tests pcr

    Posté par  (site web personnel, Mastodon) . En réponse au lien Le résultat ne correspond pas à ta théorie fumeuse? Ben facile, change juste la façon de mesurer.. Évalué à 3.

    Toutes mes excuses pour cette question tabou, mais as-tu une source solide à propos de l'efficacité du confinement en France (ou même ailleurs) ?

    https://www.nature.com/articles/s41586-020-2405-7

    D'après cette étude, 3,1 millions de morts supplémentaires ont été évitées. Ces mesures de distanciation sociale d'intensités diverses ont abouti à une baisse de 82% en moyenne du taux de reproduction du virus, permettant de le ramener en dessous de 1, le seuil en-deçà duquel le nombre de nouveaux cas diminue.

    On parle de distanciation sociale pour conclure confinement ? Il me semble pourtant qu'on peut faire le premier sans devoir aller au second …ou je n'ai rien compris ? (ce qui est possible aussi, d'où mes questions.)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: License

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 2. Dernière modification le 20 novembre 2021 à 11:55.

    [FSF Ada / GNAT GPL / GNATPro]

    Les deux premiers ont fusionné et la GMGPL en a assoupli l'utilisation en passant de la GPL à un équivalent LGPL qui concerne bien la/les chaîne/outils de compilation (et les bibliothèques embarquées) comme précisé ailleurs en 1998 déjà

    Les deux premiers n'ont pas fusionnés et existe encore aujourd'hui. Il semblerait que la version GNAT Community soit un peu plus en avance que la version GNAT FSF (en terme de version, d'après ce que j'ai pu lire).

    Tu veux dire « un peu plus en avance » dans le sens où c'est la RC de ce qui sera livré à la FSF (si c'est le cas ça fait sens vu que c'est AdaCore qui qui fait le gros du boulot et travaille en parallèle pour sa version Pro) ? Ou tu veux dire que le majeur de la version Community est largement au dessus de celle de la version Free ?
    Ou tu parles de l'intégration dans les distributions Linux, qui effectivement n'est pas toujours au taquet de ce qui est disponible côté FSF ?

    Edit: Je viens de voir que BackKnight a répondu que c'est la première proposition qu'il faut comprendre

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Perf

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 3.

    Non, t'as pas dit de connerie, tout en restant succint ;-)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: License

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 3.

    Je l'avais mentionné ailleurs mais nos messages ont du se croiser ;-) Après, c'est vrai que de prime abord, ce n'est pas clair ; et de toute façon tout ce qui tourne autour de la GPL fait peur (on craint, parfois à juste titre, la viralité) …
    Je pense que le nom a été gardé parce-que c'est dans la suite logique (et que c'est toujours AdaCore qui se porte garant de l'implémentation de référence)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Je m'insurge !

    Posté par  (site web personnel, Mastodon) . En réponse au lien HS du vendredi : à défaut de tartiflette, de la raclette. Évalué à 2.

    Aucun rapport avec Hawaï police d'état :-)
    Soit dit en passant, c'est très bon ne déplaise.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: C'est pas un truc social à la base ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal la monnaie libre présentée par son créateur. Évalué à 1.

    La liste des usagers du système va fuiter dans les G1papers du coup ?

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: License

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 3.

    Non… https://www.developpez.net/forums/d762463/autres-langages/autres-langages/ada/gnu-gnat-license/

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: C'est pas un truc social à la base ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal la monnaie libre présentée par son créateur. Évalué à 3.

    Ah merci pour la précision qui rend les choses plus claires pour moi (du coup, je fais mon mea culpa pour y avoir vu du mal.)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: License

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 4.

    Nos réponses se sont croisées :-) Justement, le produit final ne doit pas être obligatoirement sous GPL : Synth en est la preuve. Par contre, si tu compiles avec GNAT et que ça fait appel à des bibliothèques externes (le besoin est assez rare à ma connaissance), soit celles-ci sont libres soit elles doivent être distribuées : il ne faudrait pas que tu te retrouves coincé pour faire évoluer/tourner/évaluer ton programme.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: License

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 3.

    C'est un standard ISO. Bon, l'accès aux documents est payant mais le langage en lui-même est utilisable.

    C'est valable pour tous les autres aussi, y compris le très répandu C. C'est ainsi que se finance, en partie, le groupe de normalisation…

    Au pire, tu dis que tu fais du "Lovelace", un dérivé d'Ada non certifié et tu seras tranquille :p (car je ne sais pas si le terme Ada est protégé ou non)

    Je dirai plutôt Augusta que Lovelace ou Byron :-)
    Je ne sais pas si le nom est protégé, et je n'ai pas trouvé de trace (pas pris le temps de bien chercher ceci dit.) Cependant, le nom étant déjà bien établi, ça n'apporte rien d'utiliser le même nom pour un langage différent (c'est la raison pour laquelle il y a, par exemple, ObjectiveC/C++/C#/etc.) Maintenant, si c'est juste un compilateur (et non un autre langage) bah il faut, pareillement, juste que ça s'appelle pas GNAT (pour reprendre le cas du C, on a bien : MS Visual C++, GCC C, Tiny C, Clang, Turbo C, etc. ; pareil, pour Ada aussi, il y a divers autres crèmeries.) Après, quand les applications sont écrites pour des milieux critiques et par/pour des entreprises devant montrer/avoir des garanties, il leur faut des compilateurs (et des environnements/chaines de développement) certifiés…

    Mais même si le langage est "libre", il n'existe pas de compilateur aujourd'hui qui le soit.

    GNAT est l'implémentation de référence libre (comme le sont OpenJDK et OpenJRE pour l'écosystème Java) portée par la FSF… Comme c'est la référence, par rapport aux standards du langage, ça ne peut pas partir dans n'importe quel sens. Mais rien n'empêche, à ma connaissance, d'avoir d'autres implémentations ouvertes/libres (visiblement le besoin ne s'est pas fait sentir.)

    Comme je le disais plus haut, même GNAT, pourtant sous licence libre, ne peut être utilisé que pour des projets open-source… sinon, il faut passer sur une version GNAT Pro. Et d'après ce que je lis ici, ça coûte une blinde (ticket d'entrée à 15 000 $ en 2011 !)

    Je ne vois pas en quoi c'est problématique de faire de l'Open-Source, qui n'est pas incompatible avec la monétisation (c'est juste que dans ce cas, le client doit pouvoir avoir accès aux sources et non se retrouver pris en otage…) Et de surcroit je n'ai pas vu cette obligation.

    Je cite cette remarque d'il y a six ans, sur Reddit /r/ada/ :

    If you're going to write Ada software using a free Ada compiler you have basically three options:

    • FSF Ada - This is what is provided on most Linux distributions. You can use this to develop non-free software, just as you could use Emacs to write it.
    • GNAT GPL - This is acquired directly from AdaCore. It is free, and all software compiled with it and subsequently distributed is covered by the full GPL. (No LGPL at all.)
    • GNATPro - This is the professionally supported version of GNAT Ada, and is quite expensive for a single developer--though the support is exemplary because that's what you're paying for. You can develop non-free software with this version.

    Les deux premiers ont fusionné et la GMGPL en a assoupli l'utilisation en passant de la GPL à un équivalent LGPL qui concerne bien la/les chaîne/outils de compilation (et les bibliothèques embarquées) comme précisé ailleurs en 1998 déjà

    a "modfied GPL" like that for libgcc2 that essentially allows you to incorporate runtime code without ANY restrictions if you simply link with what is provided. This means you can compile with GNAT, link with the standard runtime routines, and distribute without concerns for the GPL. However, if you do modify the runtime or incorporate other code that has an unmodified GPL or the LGPL all bets are off.

    Perso, je trouve ça rassurant…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Perf

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 3.

    Tout à fait. On le voit bien à certains messages d'erreurs de ces compilateurs qui ressemblent fortement à ceux des outils d'analyse statique pour C par exemple (il y en a pour d'autres langages mais je n'ai pas testé), outils qui mettent aussi un certain temps à faire leur boulot.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: C'est pas un truc social à la base ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal la monnaie libre présentée par son créateur. Évalué à 1.

    En fait, la fraude est déjà faite : il y a un noyau dur …dit référent :-) bon 'dredi ah tousse.

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Article en français sur le sujet de edge et Microsoft

    Posté par  (site web personnel, Mastodon) . En réponse au lien Microsoft blocks EdgeDeflector to force Windows 11 users into Edge - OSnews. Évalué à 3.

    Alors je les encourage vivement à continuer ; ce sera toujours ça de gagné…

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: Droit de réponse

    Posté par  (site web personnel, Mastodon) . En réponse au lien Statement on Daniel Pocock. Évalué à 4.

    …mais il est contributeur de l'inexistant (allez comprendre)

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume

  • [^] # Re: License

    Posté par  (site web personnel, Mastodon) . En réponse au journal la rouille et la comtesse. Évalué à 4.

    Donc (je sais que ce n'est pas académique de commencer une phrase ainsi) on est d'accord qu'il n'y a pas de licence sur le langage lui-même (ouf) ; mais qu'il s'agit de compilateurs certifiés (dont la majorité est propriété, mais il y a quand même GNAT qui est une référence libre…)

    Ça tombe bien : comme c'est utilisé pour des choses critiques, on aimerait avoir la garantie d'obtention du même code quelque soit la chaîne de compilation.
    Pour l'instant, pour Rust, il n'y a que La Fondation qui s'en occupe. Mais à terme ça devrait pouvoir évoluer, et si comme pour C ou Pascal ou d'autres il y a incompatibilité entre les compilos ça va moyennement le faire non ?

    “It is seldom that liberty of any kind is lost all at once.” ― David Hume