Blackknight a écrit 1234 commentaires

  • [^] # Re: Quand pensez-vous ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal Il est temps que la communauté internationale fasse un choix. Évalué à 3.

    On a dit : "Dans nos contrées !" :)

  • [^] # Re: 워 !!!!

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche Comment écrit-on les systèmes d’écriture aujourd’hui ?. Évalué à 2.

    Perdu, le Coréen est le seul survivant d'une famille de langues disparues :D
    L'un des ancêtres pourrait être le Goguryeoan qui reste toutefois une langue coréanique pas une langue sino-tibétaine :)

    Et si l'ancien Coréen, s'il utilisait bien les hanja, c'était pour reproduire les sons coréens pas pour leur signification (c'est ).
    Là, on est grosso modo en 37 avant Jean-Christophe.

  • # 워 !!!!

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche Comment écrit-on les systèmes d’écriture aujourd’hui ?. Évalué à 3.

    L’écriture chinoise a été utilisée aussi bien en Chine qu’au Japon ou en Corée. Ce faisant, même si la langue et la prononciation différaient, le texte restait compris entre les diverses populations.

    Surpris je suis. Apprenant le Coréen, je me suis un peu renseigné et même si les hanja sont bien des caractères chinois, leur interprétation n'est pas forcément celle du Chinois.

    Pour paraphraser Wikipedia :

    Leur prononciation, et interprétation, est différente en coréen et en chinois, mais leur forme est quasiment identique à celle des caractères chinois traditionnels (hanzi), à l'instar des kanjis japonais, et non à ceux des caractères simplifiés. Seuls quelques rares hanja sont spécifiques au coréen.

    D'où sort donc cette diablerie ? :)

  • # Quel formalisme pour ton modèle ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal Modélisation - question de point de vue ?. Évalué à 3.

    Bon, un peu comme les autres, que veux-tu modéliser ?
    Quel formalisme ? A qui veux-tu montrer ton modèle ?

    En vrac, j'ai pensé à :

    • OpenModelica mais c'est de la simulation d'un système physique
    • AADL
    • UML qui est plus orienté concption logiciel
    • SysMl pour de la conception d'un système
    • ArchiMate pour un truc haut niveau

    Au final, faire un modèle, ça peut correspondre à plein de trucs

  • [^] # Re: Spectre autistique et "être" autiste

    Posté par  (site web personnel, Mastodon) . En réponse au journal L'autisme. Évalué à 5.

    Par contre, il est tout aussi logique et souhaitable qu'on puisse utiliser cet adjectif, dans le contexte médical évidemment pour la prise en charge. Mais aussi quand cela peut aider d'autres personnes à comprendre ou anticiper certains comportements ou réactions.

    Justement, pour avoir fréquenté le centre de ressources sur l'autisme en Haute-Normandie pour mon fils, ils utilisent bien troubles du spectre autistiques pour la bonne et simple raison que le diagnostic se fait sur un ensemble de facteurs qui sont plus ou moins représentés suivant l'individu.
    D'ailleurs, il a été diagnostiqué à l'âge de 20 ans alors que toute son enfance et adolescence, il était diagnostiqué dyspraxique.
    Contrairement à d'autres exemples que j'ai lus rapidement plus haut, c'est le côté multi-facteur qui empêche de dire autiste tout court.
    Gilbert Montagné peut être qualifié d'aveugle car cela ne touche qu'une seule fonction.

  • [^] # Re: La meilleure façon...

    Posté par  (site web personnel, Mastodon) . En réponse au journal Vie numérique et mort physique. Évalué à 6.

    Suite au décès d'un de mes meilleurs amis, ma femme n'a cessé de me demander l'ensemble des mots de passe.
    Finalement, disposant d'une machine chez Scaleway pour héberger un serveur XMPP, j'ai fini par y mettre un serveur VaultWarden (Bitwarden en Rust).
    J'ai donné les accès à la machine à un pote sysadmin et crée un compte pour mon fils et ma femme, ces deux derniers étant contacts d'urgence.
    Bon, ne nous voilons pas la face, ça aide d'avoir un gamin dans la maintenance informatique.
    A terme, l'idéal est que l'ensemble de mes potes qui sont sur XMPP l'utilisent de façon à "mutualiser" et à créer une sort de toile de confiance.
    Même si ce n'est pas la solution à tout, c'est déjà beaucoup plus que ce que j'ai vu lors du décès du pote et du père d'un copain.

  • [^] # Re: Pédagogique

    Posté par  (site web personnel, Mastodon) . En réponse au lien A défaut d'une devroom, il y aura un stand Ada au FOSDEM. Évalué à 3.

    Oups, désolé, je viens seulement de voir le message.
    Merci pour eux, je n'ai pas pu aller au FOSDEM cette année mais l'équipe était très contente de cette édition.

  • [^] # Re: Très bel article, petite remarque de français

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche Nouveautés du langage C dans sa prochaine version C23. Évalué à 2.

    Passé l'étape de WTF, après lecture du lien je comprends la démarche. C'est cool :)

    Y a quand même une petite peur côté communauté que la boîte se détourne d'Ada au profit de Rust et laisse tomber la maintenance du compilateur open source.
    L'avenir le dira.

  • [^] # Re: Très bel article, petite remarque de français

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche Nouveautés du langage C dans sa prochaine version C23. Évalué à 4.

    Je ne connais pas l'écosystème ada. J'ai tendance à imaginer que pas mal d'utilisateurs sont des NASA/ESA/aéronautique très frileux face aux nouveautés. Du coup est-ce que l'adoption d'une nouvelle version arrive vite ou la majeure partie de l'industrie utilise ada83 ?

    Ça dépend de quand date le système qu'il faut maintenir :)
    Dans mon ancien boulot, c'était du 83 mais bon, la conception du système à bord de l'hélico datait de 92.
    Pour ce qui est de la nouveauté, pendant longtemps dans l'aéronautique embarqué, on n'avait pas le droit de faire d'objet. Il y a d'ailleurs de la littérature sur ça (cf. l'OOTiA ou ça).
    Aujourd'hui, on trouve de l'Ada 2005 et aussi du SPARK, comme chez NVidia (voir ici et ).

    La page de présentation des clients donne quelques indications de l'étendue des projets.

  • [^] # Re: Très bel article, petite remarque de français

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche Nouveautés du langage C dans sa prochaine version C23. Évalué à 3. Dernière modification le 10 février 2023 à 09:12.

    Dans les news, il y a Ada202X qui est en cours de normalisation à l'ISO, tout le reste du processus est terminé… Il faut juste que je prenne mon courage à deux mains :)

    bon, c'est vrai, la dernière fois que la norme a changé, c'était en 2012 donc 10 ans pour préparer une dépêche, j'aurai pu m'y prendre avant.

    Et puis, y AdaCore qui vient d'entrer dans la Rust Foundation (cf.).

  • [^] # Re: Très bel article, petite remarque de français

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche Nouveautés du langage C dans sa prochaine version C23. Évalué à 4.

    En fait, c'est effectivement plutôt lib que j'utilise.

    Mais du coup l'argument « c'est un anglicisme » n'est pas suffisant pour disqualifier un mot. Je n'apprends rien à personne en disant qu'une proportion non négligeable des mots de notre vocabulaire sont justement des emprunts (de l'anglais ou d'autres langues).

    Et inversement, on trouve du français das beaucoup d'autres langues.

    Même les plus islamophobes ne se permettent pas de dire qu'il faut préférer "aléa" plutôt que "hasard".

    Et ne se privent pas d'utiliser toubib, assassin, kif-kif, bled… :)

  • [^] # Re: Très bel article, petite remarque de français

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche Nouveautés du langage C dans sa prochaine version C23. Évalué à 5. Dernière modification le 09 février 2023 à 16:34.

    Parce que ça conforte les Anglophones natifs qu'ils ont la meilleure langue au monde !!!
    Du coup, ils ne font même plus d'effort pour prononcer les noms français correctement.
    Dernier exemple en date, la prononciation de Jean Ichbiah à 36'18'' ici

    Au passage, j'utilise bibliothèque ou sinon library… En gros je m'en tape un peu.

    Et du coup, c'était juste pour passer un peu d'Ada dans cette news sur le C ;)

  • [^] # Re: C'est gratuit ?!

    Posté par  (site web personnel, Mastodon) . En réponse au journal imagemagick, GraphicsMagick, vips, chatgpt. Évalué à 4.

    Ben non, je me suis arrêté dès le mail, je ne savais même pas que ça allait jusque là.
    Merci de l'info.

  • # C'est gratuit

    Posté par  (site web personnel, Mastodon) . En réponse au journal imagemagick, GraphicsMagick, vips, chatgpt. Évalué à 8.

    Merci à lui c'est gratuit pour le moment.

    Moi, quand on me demande mon mail, je me pose toujours la question de la gratuité.
    Pour du profilage, ceci dit, c'est assez sympa, ça permet de se constituer une base de mails avec les textes demandés et donc de définir un profil utilisateur avec les centres d'intérêt…

    Par contre, les résultats, de ce que j'ai vu de droite à gauche, ont l'air pas mal. Faut bien être un peu positif :)

  • [^] # Re: dissonance ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal J'ai ressuscité un ordinophone. Évalué à 3.

    Heu… J'espère que le droit à la déconnexion te concerne…

    Totalement et je refuse catégoriquement un portable pro pour en avoir fait les frais il y a quelques années… Pourtant je l'éteignais après le boulot, mais recevoir 15 SMS quand on le rallume le lundi matin et se faire faire remarquer qu'on n'a pas vu qu'il y avait une réunion qui s'était organisée le dimanche est tout sauf agréable.

    Et dans tous les cas, je ne m'explique pas qu'il faille mettre le truc pro sur son appareil à usage perso et vice-versa.

    Oui, sur le principe, je suis d'accord, dans les faits, tu n'as pas franchement de solution.

  • [^] # Re: dissonance ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal J'ai ressuscité un ordinophone. Évalué à 5.

    Des fois, on est obligés de subir ce genre de choses :(
    J'ai le même problème, un employeur qui utilise du MS pour tout jusqu'à me demander d'implémenter la délégation d'authentification dans le SSO Apereo pour contrôler plus finement le MFA.
    Heureusement, on résiste sur les applis web internes en installant du Linux, sinon, ce serait IIS à tous les étages.

    Sinon, pour utiliser autre chose que Microsoft Authenticator, il fallait donner son numéro de portable (ou alors je me suis loupé) donc j'ai fait comme les copains, j'ai installé ce truc.

  • [^] # Re: Je pose la question dans l'autre sens

    Posté par  (site web personnel, Mastodon) . En réponse au journal Les problèmes d’un desktop sans systemd ?. Évalué à 4.

    Par exemple, j'ai du corriger quelques bugs pour Ansible sur NetBSD et FreeBSD (la détection du système de paquet, ce genre de chose) parce que je devais être le premier à m'en servir.

    En quoi est-ce la faute des BSD ? Ansible fait partie de l'installation de base ? Non, donc là, c'est plutôt du côté d'Ansible qu'il faut regarder.
    D'ailleurs, ils le disent eux-mêmes:

    BSD support is important to us at Ansible. Even though the majority of our contributors use and target Linux we have an active BSD community and strive to be as BSD-friendly as possible. Please feel free to report any issues or incompatibilities you discover with BSD; pull requests with an included fix are also welcome!

    Ça ne dépend donc que de la communauté.

    Par exemple, il y a 3 firewalls sur NetBSD (PF, NPF, IP Filter) et FreeBSD (PF, IPFW et IPFILTER). Ce n'est pas un souci, mais c'est pas ce que j'appelle de l'intégration.

    Pourquoi ? Les trois fonctionnent très bien ? Perso, il y a 15 ans environ, j'étais passé d'IPFilter à PF sans aucun souci et sans rien installer de supplémentaire, juste une config noyau parce qu'à l'époque, je construisais mes noyaux.

  • [^] # Re: OS en Rust

    Posté par  (site web personnel, Mastodon) . En réponse au journal KataOS, un OS sécurisé basé sur SeL4 écrit en Rust ... par Google. Évalué à 4.

    Tu as du passer à coté de Redox c'est un OS pour le bureau entièrement en Rust qui semble quazi fonctionnel

    En fait, quasi en Rust. Si tu regardes le code source :

    • redoxfs est en pur Rust
    • relibc est à 63% en Rust mais dépend d'autres libs dont certaines comme pthreads-emb ou openlibm sont en C à 100% ou core_io qui est en partie en C

    Ça reste très bien mais de là à dire que c'est entièrement en Rust, y a un pas et pas un petit.
    Écrire un OS complet, ça reste une tâche énorme.

  • [^] # Re: Et hare, alors?

    Posté par  (site web personnel, Mastodon) . En réponse au journal Ces langages avec lesquels il faut tout réécrire. Évalué à 3.

    L'agent puppet peut interpréter les manifestes directement via puppet apply, donc même sans puppet server ça reste un puppet à part entière. D'ailleurs il y a des environnements qui ont choisi de fonctionner en mode serverless avec git.

    Effectivement, j'avais jamais pensé à cette utilisation-là :)

    Autre utilisation que j'ai de l'écosystème, c'est Bolt.
    Je continue à garder le DSL Puppet tout en faisant du fonctionnement à la Ansible.
    Couplé à Vault pour la gestion des credentials, ça permet de faire pas mal de trucs.
    Enfin, mes derniers essais ont été d'interfacer Bolt avec PuppetDB (cf. ), histoire de ne pas me trimballer un fichier Inventory.yml trop volumineux.

  • [^] # Re: Et hare, alors?

    Posté par  (site web personnel, Mastodon) . En réponse au journal Ces langages avec lesquels il faut tout réécrire. Évalué à 4.

    C'est exactement la raison pour laquelle je fais encore du Puppet :)
    Je sais, je fais de l'Ada, je fais du Puppet, je code encore en Java comme il y a 20 ans… Ouais, chui un dino :D

  • [^] # Re: En faire aussi une page de wiki ?

    Posté par  (site web personnel, Mastodon) . En réponse au journal Vulgarisation scientifique en vidéo et en français. Évalué à 4.

    je sais c'est une réponse de Normand

    On a beaucoup exagéré sur les Normands :)

  • # Petit retour sur l'utilisation de SPARK chez NVidia

    Posté par  (site web personnel, Mastodon) . En réponse au lien Exploitation in the era of formal verification - a peek at a new frontier. Évalué à 3.

    En 2019, AdaCore et NVidia ont signé un accord en vue de "sécuriser le logiciel des véhicules autonomes".
    La présentation est un retour sur ce qui s'est passé depuis et une analyse des améliorations apportées par SPARK.

  • [^] # Re: Ayé, je l'ai reçu

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche 🏆 Meilleures contributions LinuxFr.org : les primées de juin 2022. Évalué à 2.

    Je me renseignerai parce que c'est mon fils qui a récupéré pendant mes vacances.
    Par contre, je n'ai pas reçu de SMS ou quoique ce soit d'autre.

  • # Ayé, je l'ai reçu

    Posté par  (site web personnel, Mastodon) . En réponse à la dépêche 🏆 Meilleures contributions LinuxFr.org : les primées de juin 2022. Évalué à 3.

    Ça y est, j'ai reçu mon Machine Learning — Implémentation en Python avec Scikit-learn !
    Bon il est arrivé pendant que j'étais en vacances mais pas grave, je vais pouvoir m'y mettre tranquillement ;)

    De ce que j'ai pu lire pour l'instant, c'est très intéressant :D

  • [^] # Re: Ajustement de méninges

    Posté par  (site web personnel, Mastodon) . En réponse au journal LinuxFr.org : première quinzaine de juin 2022. Évalué à 3.

    Il m'a fallu un temps pour percuter pour Ada et le vote, j'avais un peu oublié l'épisode (et pourtant). C'est aussi ce qui a un peu retardé, d'ailleurs, la publication de la dépêche.

    C'est quoi l'histoire complète ?
    Comme c'était dans la tribune de modération, c'est très énigmatique :)