C'est comme en informatique, le nommage précis est important.
J'ai vu un truc marrant avec les jeunes enfants : ils sont bien plus perdu quand on fait un circonvolution pour leur décrire quelque chose ("c'est une sorte de …"), il préfère le mot précis, même si ils ne le connaissent pas. Il le note dans un coin de leur tête comme un concept précis, ce qui n'est pas le cas avec "c'est comme…".
Mais j'ai l'impression que le français écrit s'est fossilisé quelque part dans les années 1850, lors de l'écriture des 1er manuels scolaires français, qui ont définit le "français correct". Au lieu de décrire la situation de l'époque, ils l'ont figé. Le concept même de "français correct" n'est pas censé avoir de sens en linguistique, pourtant on entend que ça dans la bouche des pro de l'orthographe.
J'avais entendu parler sur Twitter d'un linguiste français qui aurait créé une version écrite du parler français, mais c'est parfaitement illisible. Il utilise des nouvelles lettres et cela ne ressemble pas trop à notre français écrit actuelle. Dans ces specs, il a oublié de faciliter la transition :)
Il existe une langue utilisant les prédicats du 1er ordre et sans ambiguïté. Elle a ainsi l'avantage d'être facilement parsé par l'informatique, je me demandais si cela pourrait aider dans "l'open law" pour rendre compréhensible la loi automatiquement ou des specs…
Sinon, je me demandais aussi si on pouvait réinventer la langue écrite française, en écrivant ce que l'on entend et en réduisant au minimum le nombre de règles et autres exceptions, tout en le gardant lisible pour le commun des mortels (pas de nouvelles lettres, etc…)
Si tu as un bug, tu peux juste imaginer ce que cela t'aurait coûté de ne pas l'avoir, mais si tu n'as pas de bug, c'est dur de savoir combien tu as économisé grâce à ta solution actuelle.
Je parle à l'inverse : quelle sont les bugs qui, actuellement, dans les applications actuelles, ont couté hyper chère, et que l'on aurait détecté plus tôt.
Qu'est ce que tu aimerais ?
C'est assez rare de maitriser le client et le serveur en même temps. L'un évolue et pas l'autre, ou ne dépende pas de la même équipe ou société. On peut aussi avoir le problème de la gestion de version.
Alors ça c'est un super problème, mais je pense que c'est indépendant du problème de typeage décrit dans ce journal.
Oui, j'englobe le typage dans toutes les techniques statiques pour trouver les bugs. Et la gestion des versions de dépendances est vraiment un problème chiant. (dépendance trop vieille et tu as des failles de sécurité, trop jeune, tu as un risque de non compatibilité avec ton code)
D'ailleurs, je me demandais à quel point des projets de fuzzer comme https://github.com/rohanpadhye/jqf pourrait aider. Imaginons le refactoring d'une méthode : l'outil irait chercher l'ancienne version et la nouvelle pour lancer des tests fuzzing pour détecter des modifications de comportements. On pourrait imaginer comparer l'interface REST ./V1/ entre le vieux et le nouveau code qui aura aussi une interface ./V2/. Des tests unitaires peuvent aider, mais encore faut-il qu'ils existent.
Est-ce que ton système va au-delà des "tags" ? Il existe une méthode en Ocaml pour simuler un peu cela. J'ai voulu le faire pour gérer les unités dans les calculs, c'est juste infernal, car on passe son temps à multiplier des nombres de dimensions différentes. Si le système ne gère pas la multiplication/division des dimensions, c'est vraiment pénible à l'usage.
Pour gérer les problème de dimensions, les outils utilisé vont bien au dela (https://www.opengroup.org/face), ils définissent les API en terme d'unité, de dimension, mais aussi de référentiel (altitude vs le sol ou le point zéro, référentiel géodésique, etc…), de codage (nombre à virgule fixe 16.16 dans un entier 32 bits, par exemple)
Tous les cas que tu cites ne sont pas des cas d'erreurs fréquents ou des difficultés particulières à détecter rapidement au runtime.
Si vous pouviez trouver un truc pour les API REST, cela serait top, par contre; ou encore, la gestion de la compatibilité ascendante lors d'un changement de version ("est-ce que le futur $ go get ./.. va tout péter ou pas ?").
Cela me rappelle aussi l'histoire du client qui voulait une sortie papier pour un programme pour pouvoir recopier les valeurs sur une autre machine…
Parfois, la connaissance du client permet de lui faire éviter un tas de taches inutiles (intitulé "mais on a toujours fais comme ça" ou encore pire, dans la fonction hospitalière "ils sont payé pour ça").
J'ai découvert skip il n'y a pas si longtemps, c'est fait par l'équipe derrière React. J'avoue avoir été beaucoup impressionné par React (les hook !), alors que j'avais très peur de JS.
Le principe de skip est d'utiliser de la memoïzation directement dans le langage, pour mémoriser n'importe quel étape d'un calcul pour refaire uniquement ce qui change en cas d'évènement. Par exemple, le compilateur tourne comme un service et recompile très rapidement à chaque changement de fichier.
Il existe déjà des kits "scientifique" à 20€ en plastique bien plus fragile.
Tu peux faire quelques pièces de finitions supplémentaires, mais ce n'est pas utile. C'est le gros point noir de lego boost : il y a énormément de petites pièces, ainsi créer un nouveau design est long et complexe.
Ensuite, si tu peux rajouter des capteurs, cela rend plus de choses possibles :
- bumper "fiable", c'est très facile d'en faire qui ne s'enclenche pas
- combo magnétomètre, accéléromètre, gyroscope, il y en a plein pour les drones, et le code pour en faire de mini central inertiel existe déjà.
- capteur angulaire par résistance variable (potentiomètre), ce n'est pas sans doute pas très résistant à l'usure, mais c'est bien moins couteux et fiable pour mesurer un déplacement angulaire (servo moteur), qu'un compteur d'impulsion + capteur à effet hall (pour le reset)
- pouvoir avoir la consommation des moteurs permettraient sans doute de faire des commandes plus fine (mesure d'intensité)
[^] # Re: C'est du chinois
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Mi kama sona e toki pona*. Évalué à 3. Dernière modification le 18 mai 2020 à 09:03.
C'est comme en informatique, le nommage précis est important.
J'ai vu un truc marrant avec les jeunes enfants : ils sont bien plus perdu quand on fait un circonvolution pour leur décrire quelque chose ("c'est une sorte de …"), il préfère le mot précis, même si ils ne le connaissent pas. Il le note dans un coin de leur tête comme un concept précis, ce qui n'est pas le cas avec "c'est comme…".
"La première sécurité est la liberté"
[^] # Re: pour l'absence de genre c'est raté :-)
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Mi kama sona e toki pona*. Évalué à 3.
Je ne pense pas que c'est simple.
Mais j'ai l'impression que le français écrit s'est fossilisé quelque part dans les années 1850, lors de l'écriture des 1er manuels scolaires français, qui ont définit le "français correct". Au lieu de décrire la situation de l'époque, ils l'ont figé. Le concept même de "français correct" n'est pas censé avoir de sens en linguistique, pourtant on entend que ça dans la bouche des pro de l'orthographe.
"La première sécurité est la liberté"
[^] # Re: pour l'absence de genre c'est raté :-)
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Mi kama sona e toki pona*. Évalué à 3.
J'avais entendu parler sur Twitter d'un linguiste français qui aurait créé une version écrite du parler français, mais c'est parfaitement illisible. Il utilise des nouvelles lettres et cela ne ressemble pas trop à notre français écrit actuelle. Dans ces specs, il a oublié de faciliter la transition :)
La langue logique est Lojban mais je ne suis pas sûr : https://fr.wikipedia.org/wiki/Lojban.
"La première sécurité est la liberté"
[^] # Re: pour l'absence de genre c'est raté :-)
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Mi kama sona e toki pona*. Évalué à 3.
Il existe une langue utilisant les prédicats du 1er ordre et sans ambiguïté. Elle a ainsi l'avantage d'être facilement parsé par l'informatique, je me demandais si cela pourrait aider dans "l'open law" pour rendre compréhensible la loi automatiquement ou des specs…
Sinon, je me demandais aussi si on pouvait réinventer la langue écrite française, en écrivant ce que l'on entend et en réduisant au minimum le nombre de règles et autres exceptions, tout en le gardant lisible pour le commun des mortels (pas de nouvelles lettres, etc…)
"La première sécurité est la liberté"
[^] # Re: RGPD ready?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Rennes, les étudiants vont être télé-surveillés via leur webcam pendant les examens de fin d'année . Évalué à 3.
si il n'y a pas d'enregistrement, cela pose problème ?
https://www.cncf.io/certification/ckad/ fait la même chose, il me semble.
"La première sécurité est la liberté"
# exo en ligne
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Un livre libre de tutoriels en traitement et analyse d'images. Évalué à 3.
J'ai découvert katacoda, il y a peu de temps. Peut être que vos labs peuvent y être mis, il est possible de créer des exercices gratuitement.
https://katacoda.com/
"La première sécurité est la liberté"
[^] # Re: Go est lent, Rust est rouillé !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Explorer des langages de programmation - édition 2020. Évalué à 4.
Je ne connais pas any, mais dans le cas d'un comportement identique entre objet pourquoi ne pas utiliser une interface en Go ?
"La première sécurité est la liberté"
[^] # Re: Nombre dans les types
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Explorer des langages de programmation - édition 2020. Évalué à 3.
Je parle à l'inverse : quelle sont les bugs qui, actuellement, dans les applications actuelles, ont couté hyper chère, et que l'on aurait détecté plus tôt.
C'est assez rare de maitriser le client et le serveur en même temps. L'un évolue et pas l'autre, ou ne dépende pas de la même équipe ou société. On peut aussi avoir le problème de la gestion de version.
Oui, j'englobe le typage dans toutes les techniques statiques pour trouver les bugs. Et la gestion des versions de dépendances est vraiment un problème chiant. (dépendance trop vieille et tu as des failles de sécurité, trop jeune, tu as un risque de non compatibilité avec ton code)
D'ailleurs, je me demandais à quel point des projets de fuzzer comme https://github.com/rohanpadhye/jqf pourrait aider. Imaginons le refactoring d'une méthode : l'outil irait chercher l'ancienne version et la nouvelle pour lancer des tests fuzzing pour détecter des modifications de comportements. On pourrait imaginer comparer l'interface REST ./V1/ entre le vieux et le nouveau code qui aura aussi une interface ./V2/. Des tests unitaires peuvent aider, mais encore faut-il qu'ils existent.
"La première sécurité est la liberté"
[^] # Re: Nombre dans les types
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Explorer des langages de programmation - édition 2020. Évalué à 3.
Est-ce que ton système va au-delà des "tags" ? Il existe une méthode en Ocaml pour simuler un peu cela. J'ai voulu le faire pour gérer les unités dans les calculs, c'est juste infernal, car on passe son temps à multiplier des nombres de dimensions différentes. Si le système ne gère pas la multiplication/division des dimensions, c'est vraiment pénible à l'usage.
Pour gérer les problème de dimensions, les outils utilisé vont bien au dela (https://www.opengroup.org/face), ils définissent les API en terme d'unité, de dimension, mais aussi de référentiel (altitude vs le sol ou le point zéro, référentiel géodésique, etc…), de codage (nombre à virgule fixe 16.16 dans un entier 32 bits, par exemple)
Tous les cas que tu cites ne sont pas des cas d'erreurs fréquents ou des difficultés particulières à détecter rapidement au runtime.
Si vous pouviez trouver un truc pour les API REST, cela serait top, par contre; ou encore, la gestion de la compatibilité ascendante lors d'un changement de version ("est-ce que le futur $ go get ./.. va tout péter ou pas ?").
"La première sécurité est la liberté"
[^] # Re: wkhtmltopdf
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Naviguer sans tête dans un coquillage !. Évalué à 3.
Cela me rappelle aussi l'histoire du client qui voulait une sortie papier pour un programme pour pouvoir recopier les valeurs sur une autre machine…
Parfois, la connaissance du client permet de lui faire éviter un tas de taches inutiles (intitulé "mais on a toujours fais comme ça" ou encore pire, dans la fonction hospitalière "ils sont payé pour ça").
"La première sécurité est la liberté"
[^] # Re: wkhtmltopdf
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Naviguer sans tête dans un coquillage !. Évalué à 3.
Ce n'est donc, même pas le besoin d'avoir un "état figé cloturé", qui pourrait être un simple fichier JSON signé, par exemple.
"La première sécurité est la liberté"
[^] # Re: wkhtmltopdf
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Naviguer sans tête dans un coquillage !. Évalué à 3.
Vrai question : en 2020, à quoi sert une sortie "papier" ?
"La première sécurité est la liberté"
# skiplang
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Explorer des langages de programmation - édition 2020. Évalué à 4.
J'ai découvert skip il n'y a pas si longtemps, c'est fait par l'équipe derrière React. J'avoue avoir été beaucoup impressionné par React (les hook !), alors que j'avais très peur de JS.
Le principe de skip est d'utiliser de la memoïzation directement dans le langage, pour mémoriser n'importe quel étape d'un calcul pour refaire uniquement ce qui change en cas d'évènement. Par exemple, le compilateur tourne comme un service et recompile très rapidement à chaque changement de fichier.
http://www.skiplang.com/
"La première sécurité est la liberté"
[^] # Re: Histoires courtes
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Confinement, je bouquine. Évalué à 3.
j'ai oubié de te demander quelle histoire tu préférais.
"La première sécurité est la liberté"
[^] # Re: jouet ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Clip & block : un kit pour du montage électronique. Évalué à 6.
Il existe déjà des kits "scientifique" à 20€ en plastique bien plus fragile.
Tu peux faire quelques pièces de finitions supplémentaires, mais ce n'est pas utile. C'est le gros point noir de lego boost : il y a énormément de petites pièces, ainsi créer un nouveau design est long et complexe.
Ensuite, si tu peux rajouter des capteurs, cela rend plus de choses possibles :
- bumper "fiable", c'est très facile d'en faire qui ne s'enclenche pas
- combo magnétomètre, accéléromètre, gyroscope, il y en a plein pour les drones, et le code pour en faire de mini central inertiel existe déjà.
- capteur angulaire par résistance variable (potentiomètre), ce n'est pas sans doute pas très résistant à l'usure, mais c'est bien moins couteux et fiable pour mesurer un déplacement angulaire (servo moteur), qu'un compteur d'impulsion + capteur à effet hall (pour le reset)
- pouvoir avoir la consommation des moteurs permettraient sans doute de faire des commandes plus fine (mesure d'intensité)
"La première sécurité est la liberté"
# jouet ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Clip & block : un kit pour du montage électronique. Évalué à 6.
Tu devrais vendre un kit pour monter la voiture, tu aurais du succès :)
"La première sécurité est la liberté"
[^] # Re: Sois un (tout petit peu) patient.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Covid19. Quid du volontariat ?. Évalué à 3.
Tu te rend compte que cela n'a aucun sens ? Un truc obligatoire sans punition n'est simplement pas obligatoire.
"La première sécurité est la liberté"
[^] # Re: Sois un (tout petit peu) patient.
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Covid19. Quid du volontariat ?. Évalué à 4.
Les gestes barrières diminuent le "Ro" de la contamination.
Faire plein de testes permet de confiner un max les personnes contaminantes.
"La première sécurité est la liberté"
[^] # Re: C'est quoi la suite
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Covid19. Quid du volontariat ?. Évalué à 6.
Si on oublie la com autour du gel et des masques introuvables.
"La première sécurité est la liberté"
[^] # Re: Histoires courtes
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Confinement, je bouquine. Évalué à 3.
merci !
"La première sécurité est la liberté"
[^] # Re: BOINC
Posté par Nicolas Boulay (site web personnel) . En réponse au journal covid19 et puissance de calcul disponible. Évalué à 3.
tu as un lien ?
"La première sécurité est la liberté"
[^] # Re: Histoires courtes
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Confinement, je bouquine. Évalué à 3. Dernière modification le 23 avril 2020 à 08:44.
Et globalement, tu penses que c'est frustrant que cela soit si court ?
Mon idée était que faire de la qualité, sur un texte long est très compliqué et prend beaucoup de temps.
Que penses-tu des personnages, des scénarios, de l'écriture ?
"La première sécurité est la liberté"
[^] # Re: Histoires courtes
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Confinement, je bouquine. Évalué à 3. Dernière modification le 22 avril 2020 à 17:34.
C'est à dire ?
As tu lu toutes les histoires ?
Que veux-tu dire que tu reste sur ta fin ?
"La première sécurité est la liberté"
# bug ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Organiser des visioconférences de haute qualité (avec le logiciel libre Jitsi Meet). Évalué à 4.
Je viens de tester suricate.tv, je pense avoir touvrer un bug.
Si j'essaye un salon avec un mobile, il me donne 2 choix qui renvoient sur l'installation d'application et aucun choix pour rester dans le navigateur.
"La première sécurité est la liberté"
[^] # Re: Histoires courtes
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Confinement, je bouquine. Évalué à 3.
Je vais jeter un coup d'oeil. Dans mon cas, je suis vraiment sur des histoires courtes (300 à 800 mots par petites histoires).
"La première sécurité est la liberté"