J'avais rater cette partie dans ton commentaire fleuve :
Si on veut un futur acceptable pour l'humanité, il faut aussi accepter que tout n'est pas juste une question du "choix de chacun". Ici, tu es en train de leur dire en gros "ils ont qu'à choisir autre chose et pas nous faire chier avec le choix des autres". Or il faut aussi se demander à un moment si certains choix sont vraiment valides. Et notamment quand le "choix" implique de zigouiller notre nature.
Ce genre de discours a déjà eu lieu et mener au dictature prolétarienne" avec le même genre de discours mais en rapport avec les classes sociales. C'est très glissant comme concept.
Aucun agriculteur ne fait le choix de "zigouiller" la nature. Si il mets des pesticides, c'est pour qu'il reste des trucs à manger après le passage d'insectes. L'interdiction de ressemer des OGM, les brevets OGM, la privatisation du vivant sont des problèmes juridiques, pas téchniques.
La technique est neutre, elle peut être utilisé en mal ou en bien. Que tu bosses pour Gimp ou pour un Gafa, finalement, tu utilises les mêmes outils. La finalité peut être radicalement différente par contre.
Ces élèves auraient très bien pu aussi créer une plante nécessitant peu d'eau et l'offrir au monde, comme l'inventeur du gel hydroalcolique. Comme toi, tu offres un remplaçant à Photoshop.
Leur texte fait référence aux capitalismes et pas vraiment à la technique agricole. Celle-ci a plein de défauts, mais les gens ont oublié ce qu'est une famine.
J'ai du mal à suivre ces élèves, si une telle carrière ne les intéresse pas pourquoi utiliser un discours anticapitaliste pour parler de leur erreur d'orientation ?
Cela me rappelle la nana qui voulait faire de la mécanique, qui a été envoyé de "force" en couture…
Les "conseillers" sont là pour remplir des formations, pas pour pousser les élèves à leur maximum. Et ceux qui n'ont pas les codes se font avoir. (j'avais un pote plutôt bon aux collèges, orienté en bac pro médicaux-social, je suis sûr qu'il aurait pu être un bon ingénieur)
Si tu veux éviter les problèmes de la théorie des ensembles, il y a une théorie dont j'ai oublié le nom (théorie des types ?) qui a donné les "modules" d'Ocaml. Il me semble que c'est la base de coq par exemple.
Oui. En gros, on peut mettre des littéraux dans une définition, et l'on peut définir le type d'un champ plus tard.
Tu veux quelque chose de similaire à Boundary en Elixir. C'est aussi dans mon radar mais pour bien plus tard.
Oui, en gros, c'est ça. Si tu définit une architecture hexagonal, par exemple, comment faire pour le déclarer dans le code pour éviter que des refactorisation ne casse accidentellement l'architecture. Typiquement, tu veux éviter l'introduction de certaine dépendance, que des modules feuilles restent des feuilles, etc…
D'ailleurs, est-ce que tu as déjà codé et tester le "&" et le "non" dans ton typage ? J'ai écris un début de truc semblable qui mélange type et validité, et le "non" me pose un gros problème de définition. Si cela t'intéresse je pourrais retrouver le cas.
Tu aurais un cas ou tu définis message comme :
class messageDef({
address: int,
type_: type,
})
class messageDefSpeed({
adress: 0x04,
type: float32,
})
classe messageSpeed({
def: messageDefSpeed,
data: def.type
})
Les 3 classes pourraient être dans 3 bibliothèques différentes. Une instance de messageSpeed serait le contenu d'un paquet circulant sur le réseau.
La différence avec ton cas, est l'existence d'un "metatype" qui contraint ce que peut être messageDefSpeed qui est lié à la nature du lien (un message sur ARINC 429). Et chaque message est différent selon son adresse.
C'est une manière de contraindre les données lors d'utilisation d'une lib. Peut-être que c'est faisable avec des types paramétriques, mais est-ce que cela resterait lisible ?
Cela me fait aussi penser que j'aurais aimer parfois un moyen de déclarer les dépendances entre modules, et surtout les dépendances que je ne veux jamais. Le but est d'éviter un refactoring avec des inclusions sauvages qui transforment le code en plat de spaghetti.
Par exemple, exiger qu'une classe utilitaire ne puisse jamais être dépendante de module "business". Cela serait une manière de contraindre la structure du programme.
Je vois que tu as pensé à créer des types pour les litéraux. C'est une bonne idée.
J'ai un cas d'usage assez chiant quand tu veux créer des définitions de configuration pour un système. Imagines une liste de définition de message, tu peux avoir une matrice de base (exemple A429), une lib de ta boite (A429 + extension Thales), et tu veux tout mettre ensemble et ajouter les spécificités de ton équipements (pilote auto). La lib peut définir des messages (vitesse), messages définis dans le fichier final, mais qui peut contenir des informations comme "le type de la colonne 2 est un entier". Concrètement, cela veut dire que le type est une donnée comme une autre.
Aujourd'hui, vouloir faire cela avec les outils classiques imposent d'utiliser un enum et de recoder un système de typage.
Le deuxième point qui pourrait être très sympa, est d'étendre le concept de "constante propagation" lors de la phase d'optimisation en incluant les types structurées. Actuellement, ce genre d'optimisation ne marche qu'avec les types primitifs. Peu de langages permettent d'écrire un littéraux d'un type structuré ou une liste (comme le Json de JS). Imagines si on peut faire de la constante propagation de string, si on a un interpréteur de regexp, on obtient un compilateur de regexp. Les performances obtenus n'auraient plus rien à voir.
Esterel a été développer par Esterel technologie EDA qui a fait faillite en 2009. Le produit a été transféré à une filial de Xillinx qui faisait un produit concurrent.
Texas Instrument a utilisé Esterel pour plusieurs blocks avec un gros succès. C'était quelques jours avant la crise de 2008. Le langage se synthétise très bien. Il y a eu des POC de dsp fait chez TI. Il était très naturelle de faire de mini FSM qui dialoguait, plutôt qu'une grosse FSM. Le dialogue de FSM en vhdl est un enfer. Ainsi, des spécifications sois-disant pour simplifier le code le complexifiait (pas de hit under miss pour un cache)
Il y avait aussi un outil de preuve formel associé. Il était possible d'avoir des tests qui revenait à dire que telle sortie était toujours vrai. Le système trouvait le contre-exemple en quelques secondes.
Lustre a été renommer en SCADE et existe toujours chez Esterel Technologies. SCADE 6 a eu les FSM de Esterel en plus. Il est plus orienté logiciel temps réel dur (code aéronautique, …). Je ne crois pas qu'il génère du VHDL ou autre. Je crois avoir entendu parler de générateur de code pour des puces "matrice de processeurs".
Esterel Tech a été vendu à Ansys (le gros concurrent de Dassaut System) vers 2015.
Est-ce que tu connais le langage Esterel de Gérard Berry ? C'était un langage purement synchrone très efficace. Une version V7 était en cours de standardisation. Puis la boite a coulé.
Ce que l'on essaie de te dire, c'est que le vote par jugement majoritaire est un sur-ensemble du vote Condorcet avec la possibilité d'égalité.
Les votes par classement ont tous les même propriété (théorème d'impossibilité d'Arrow) et parfois on ne peut pas avoir de solutions simples. Le dépouillement est aussi très complexe.
Le JM est à la fois plus simple et sans les problèmes de Condorcet tout en ayant les mêmes propriétés positives.
Je ne vois pas ou tu veux en venir. Le vote utile est le fait de voter pour le moins pire au lieu de voter pour son choix préféré. Cela n'a pas de sens pour le jugement majoritaire ou condorcet : il y a plusieurs votes.
De plus, condorcet est bien plus complexe a mettre en œuvre et n'apporte rien de plus.
Je ne vois pas ou tu veux en venir. Le vote utile est le fait de voter pour le moins pire au lieu de voter pour son choix préféré. Cela n'a pas de sens pour le jugement majoritaire ou condorcet : il y a plusieurs vote.
De plus, condorcet est bien plus complexe a mettre en œuvre et n'apporte rien de plus.
[^] # Re: erreur d'orientation ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Des jeunes diplômés d’AgroParisTech appellent à « refuser de servir ce système ». Évalué à -1.
Faudrait déjà arrêter de prendre les agriculteurs pour des demeurés.
"La première sécurité est la liberté"
[^] # Re: erreur d'orientation ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Des jeunes diplômés d’AgroParisTech appellent à « refuser de servir ce système ». Évalué à -1.
La "guerre au vivant" ? Vous parlez de quoi ?
"La première sécurité est la liberté"
[^] # Re: erreur d'orientation ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Des jeunes diplômés d’AgroParisTech appellent à « refuser de servir ce système ». Évalué à -8.
J'avais rater cette partie dans ton commentaire fleuve :
Ce genre de discours a déjà eu lieu et mener au dictature prolétarienne" avec le même genre de discours mais en rapport avec les classes sociales. C'est très glissant comme concept.
Aucun agriculteur ne fait le choix de "zigouiller" la nature. Si il mets des pesticides, c'est pour qu'il reste des trucs à manger après le passage d'insectes. L'interdiction de ressemer des OGM, les brevets OGM, la privatisation du vivant sont des problèmes juridiques, pas téchniques.
"La première sécurité est la liberté"
[^] # Re: erreur d'orientation ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Des jeunes diplômés d’AgroParisTech appellent à « refuser de servir ce système ». Évalué à -5.
La technique est neutre, elle peut être utilisé en mal ou en bien. Que tu bosses pour Gimp ou pour un Gafa, finalement, tu utilises les mêmes outils. La finalité peut être radicalement différente par contre.
Ces élèves auraient très bien pu aussi créer une plante nécessitant peu d'eau et l'offrir au monde, comme l'inventeur du gel hydroalcolique. Comme toi, tu offres un remplaçant à Photoshop.
Leur texte fait référence aux capitalismes et pas vraiment à la technique agricole. Celle-ci a plein de défauts, mais les gens ont oublié ce qu'est une famine.
"La première sécurité est la liberté"
[^] # Re: erreur d'orientation ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Des jeunes diplômés d’AgroParisTech appellent à « refuser de servir ce système ». Évalué à 6.
Ils annoncent détester leur secteur et vont faire autres choses.
"La première sécurité est la liberté"
# erreur d'orientation ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Des jeunes diplômés d’AgroParisTech appellent à « refuser de servir ce système ». Évalué à 3.
J'ai du mal à suivre ces élèves, si une telle carrière ne les intéresse pas pourquoi utiliser un discours anticapitaliste pour parler de leur erreur d'orientation ?
"La première sécurité est la liberté"
[^] # Re: Un titre peut en cacher un autre
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Conférence "Les freins à l’accès des filles aux filières informatiques et numériques du Lycée". Évalué à 3.
Cela me rappelle la nana qui voulait faire de la mécanique, qui a été envoyé de "force" en couture…
Les "conseillers" sont là pour remplir des formations, pas pour pousser les élèves à leur maximum. Et ceux qui n'ont pas les codes se font avoir. (j'avais un pote plutôt bon aux collèges, orienté en bac pro médicaux-social, je suis sûr qu'il aurait pu être un bon ingénieur)
"La première sécurité est la liberté"
[^] # Re: théorie des ensembles pas naives
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 5.
Si tu veux éviter les problèmes de la théorie des ensembles, il y a une théorie dont j'ai oublié le nom (théorie des types ?) qui a donné les "modules" d'Ocaml. Il me semble que c'est la base de coq par exemple.
"La première sécurité est la liberté"
[^] # Re: Bref résumé
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Attaque sur le format d’échange des clefs privées OpenPGP. Évalué à 3.
Pourquoi à la base, il ne reutilisait pas leur chiffrement classique ? Pourquoi voir un deuxième mécanisme ?
"La première sécurité est la liberté"
[^] # Re: Bref résumé
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Attaque sur le format d’échange des clefs privées OpenPGP. Évalué à 4.
Pourquoi à la base, il ne reutilisait pas leur chiffrement classique ? Pourquoi voir un deuxième mécanisme ?
"La première sécurité est la liberté"
[^] # Re: type
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 3). Évalué à 3.
Mes erreurs autour de non était lors de composition.
J'ai utilisé les tautologies de https://fr.wikipedia.org/wiki/Implication_(logique) comme test. De mémoire, c'était le Modus Tollens qui était faux : ((A -> B) & ~B) -> ~A avec (a -> b) = (~a or b)
"La première sécurité est la liberté"
[^] # Re: type
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 3). Évalué à 3.
Oui. En gros, on peut mettre des littéraux dans une définition, et l'on peut définir le type d'un champ plus tard.
Oui, en gros, c'est ça. Si tu définit une architecture hexagonal, par exemple, comment faire pour le déclarer dans le code pour éviter que des refactorisation ne casse accidentellement l'architecture. Typiquement, tu veux éviter l'introduction de certaine dépendance, que des modules feuilles restent des feuilles, etc…
D'ailleurs, est-ce que tu as déjà codé et tester le "&" et le "non" dans ton typage ? J'ai écris un début de truc semblable qui mélange type et validité, et le "non" me pose un gros problème de définition. Si cela t'intéresse je pourrais retrouver le cas.
C'est l'outil coherentyaml ( https://github.com/nicolasboulay/coherentyaml ). Il faudrait que je le termine d'ailleurs.
"La première sécurité est la liberté"
[^] # Re: type
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 3). Évalué à 3.
Non, cela n'est pas strictement équivalent.
Tu aurais un cas ou tu définis message comme :
class messageDef({
address: int,
type_: type,
})
class messageDefSpeed({
adress: 0x04,
type: float32,
})
classe messageSpeed({
def: messageDefSpeed,
data: def.type
})
Les 3 classes pourraient être dans 3 bibliothèques différentes. Une instance de messageSpeed serait le contenu d'un paquet circulant sur le réseau.
La différence avec ton cas, est l'existence d'un "metatype" qui contraint ce que peut être messageDefSpeed qui est lié à la nature du lien (un message sur ARINC 429). Et chaque message est différent selon son adresse.
C'est une manière de contraindre les données lors d'utilisation d'une lib. Peut-être que c'est faisable avec des types paramétriques, mais est-ce que cela resterait lisible ?
Cela me fait aussi penser que j'aurais aimer parfois un moyen de déclarer les dépendances entre modules, et surtout les dépendances que je ne veux jamais. Le but est d'éviter un refactoring avec des inclusions sauvages qui transforment le code en plat de spaghetti.
Par exemple, exiger qu'une classe utilitaire ne puisse jamais être dépendante de module "business". Cela serait une manière de contraindre la structure du programme.
"La première sécurité est la liberté"
[^] # Re: type
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 3). Évalué à 3.
Dommage, pour les variables qui contiennent un type, cela serait pratique pour un truc comme du JSON.
"La première sécurité est la liberté"
# type
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Écrire un compilateur en Rust (partie 3). Évalué à 4.
Je vois que tu as pensé à créer des types pour les litéraux. C'est une bonne idée.
J'ai un cas d'usage assez chiant quand tu veux créer des définitions de configuration pour un système. Imagines une liste de définition de message, tu peux avoir une matrice de base (exemple A429), une lib de ta boite (A429 + extension Thales), et tu veux tout mettre ensemble et ajouter les spécificités de ton équipements (pilote auto). La lib peut définir des messages (vitesse), messages définis dans le fichier final, mais qui peut contenir des informations comme "le type de la colonne 2 est un entier". Concrètement, cela veut dire que le type est une donnée comme une autre.
Aujourd'hui, vouloir faire cela avec les outils classiques imposent d'utiliser un enum et de recoder un système de typage.
Le deuxième point qui pourrait être très sympa, est d'étendre le concept de "constante propagation" lors de la phase d'optimisation en incluant les types structurées. Actuellement, ce genre d'optimisation ne marche qu'avec les types primitifs. Peu de langages permettent d'écrire un littéraux d'un type structuré ou une liste (comme le Json de JS). Imagines si on peut faire de la constante propagation de string, si on a un interpréteur de regexp, on obtient un compilateur de regexp. Les performances obtenus n'auraient plus rien à voir.
"La première sécurité est la liberté"
# mail ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien vers la dématérialisation du ticket de caisse sans concession ?. Évalué à 7. Dernière modification le 23 avril 2022 à 12:14.
Ils vont rendre obligatoire de donner son mail ?
Et donc google récupére tout ou presque.
"La première sécurité est la liberté"
[^] # Re: autre insipiration
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Hydromel : mon langage de description de matériel idéal ?. Évalué à 4.
Esterel propose un système d'event présent/absent plus facile à gérer qu'un booléen, les operateurs pre ou post pour gérer les registres.
En 2000, il était question de behavioral compiler. L intérêt était surtout le code avec des wait, qui infére les FSM.
"La première sécurité est la liberté"
[^] # Re: autre insipiration
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Hydromel : mon langage de description de matériel idéal ?. Évalué à 6.
Esterel a été développer par Esterel technologie EDA qui a fait faillite en 2009. Le produit a été transféré à une filial de Xillinx qui faisait un produit concurrent.
Texas Instrument a utilisé Esterel pour plusieurs blocks avec un gros succès. C'était quelques jours avant la crise de 2008. Le langage se synthétise très bien. Il y a eu des POC de dsp fait chez TI. Il était très naturelle de faire de mini FSM qui dialoguait, plutôt qu'une grosse FSM. Le dialogue de FSM en vhdl est un enfer. Ainsi, des spécifications sois-disant pour simplifier le code le complexifiait (pas de hit under miss pour un cache)
Il y avait aussi un outil de preuve formel associé. Il était possible d'avoir des tests qui revenait à dire que telle sortie était toujours vrai. Le système trouvait le contre-exemple en quelques secondes.
Lustre a été renommer en SCADE et existe toujours chez Esterel Technologies. SCADE 6 a eu les FSM de Esterel en plus. Il est plus orienté logiciel temps réel dur (code aéronautique, …). Je ne crois pas qu'il génère du VHDL ou autre. Je crois avoir entendu parler de générateur de code pour des puces "matrice de processeurs".
Esterel Tech a été vendu à Ansys (le gros concurrent de Dassaut System) vers 2015.
"La première sécurité est la liberté"
# autre insipiration
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Hydromel : mon langage de description de matériel idéal ?. Évalué à 4.
Est-ce que tu connais le langage Esterel de Gérard Berry ? C'était un langage purement synchrone très efficace. Une version V7 était en cours de standardisation. Puis la boite a coulé.
"La première sécurité est la liberté"
[^] # Re: Jugement majoritaire
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tournesol pour l'élection présidentielle. Évalué à 6.
Ce que l'on essaie de te dire, c'est que le vote par jugement majoritaire est un sur-ensemble du vote Condorcet avec la possibilité d'égalité.
Les votes par classement ont tous les même propriété (théorème d'impossibilité d'Arrow) et parfois on ne peut pas avoir de solutions simples. Le dépouillement est aussi très complexe.
Le JM est à la fois plus simple et sans les problèmes de Condorcet tout en ayant les mêmes propriétés positives.
"La première sécurité est la liberté"
[^] # Re: sondage et vote utile
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tournesol pour l'élection présidentielle. Évalué à 6.
C'était interdit avant, mais c'est oublié "radio Londres" et les sondages belges et suisses.
"La première sécurité est la liberté"
[^] # Re: Jugement majoritaire
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tournesol pour l'élection présidentielle. Évalué à 3.
Oui, c est pour ça que je parlais de culture politique. Dans un tel système, il est possible de franchement jouer au con.
"La première sécurité est la liberté"
[^] # Re: Jugement majoritaire
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tournesol pour l'élection présidentielle. Évalué à 4.
Modulo le fait qu'il faut a un moment se mettre d accord. Que cela soit par culture politique ou par une part de majoritaire.
"La première sécurité est la liberté"
[^] # Re: Jugement majoritaire
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tournesol pour l'élection présidentielle. Évalué à 2. Dernière modification le 09 avril 2022 à 08:54.
Je ne vois pas ou tu veux en venir. Le vote utile est le fait de voter pour le moins pire au lieu de voter pour son choix préféré. Cela n'a pas de sens pour le jugement majoritaire ou condorcet : il y a plusieurs votes.
De plus, condorcet est bien plus complexe a mettre en œuvre et n'apporte rien de plus.
"La première sécurité est la liberté"
[^] # Re: Jugement majoritaire
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tournesol pour l'élection présidentielle. Évalué à 2.
Je ne vois pas ou tu veux en venir. Le vote utile est le fait de voter pour le moins pire au lieu de voter pour son choix préféré. Cela n'a pas de sens pour le jugement majoritaire ou condorcet : il y a plusieurs vote.
De plus, condorcet est bien plus complexe a mettre en œuvre et n'apporte rien de plus.
"La première sécurité est la liberté"