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.
Les méthodes avec un ordre comme Condorcet ont un problème : il n'y a pas toujours de gagnant.
Le jugement majoritaire est à notation de tous les candidats (cela revient à pouvoir voter pour plusieurs candidats). C'est plus simple et cela enlève tout un tas de truc stupide comme le "vote utile" ou l’introduction d'un petit candidat pour faire perdre un gros.
Il n'y a pas de seulement. Le sujet a déjà été traité ici, il y a longtemps. La clause est absolument nécessaire pour éviter des embrouilles potentiels. Un cadre n'a pas d’horaire, donc tout travail est censé appartenir à l'employeur ("exercice de leur fonction").
Je n'ai pas la source, mais on m'a dit par le passé que ce n'est pas la notion d'horaires qui compte, mais plutôt de champ d'application/compétence.
Oui, car on est souvent cadre, et un cadre n'a pas d'horaire. Il faut donc parler de "hors cadre du travail". Le problème se pose pour la réalisation d'un soft qui serait utile au boulot, sans mention dans le contrat de travail l'employeur peut se l’approprié en parti.
Comprendre que si tu veux breveter un truc (car on parle ici de transfert de propriété industrielle, la propriété intellectuelle reste à l'auteur et est inaliénable en France) que tu as fait le soir à la maison mais qui a trait à l'activité de ton employeur, alors c'est pour lui.
Un brevet, ce n'est pas du droit d'auteur.
La paternité du droit d'auteur est inaliénable, mais cela n'a quasiment aucun effet concret. Par exemple, le droit de modification est assorti de clause de dédommagement.
Comme dit dans l'autre commentaire, c'est une question de droit. Pas de moral.
Je pense que si les droits d'auteurs de logiciel était géré comme la création artistique avec une part des bénéfices, beaucoup d'entre nous seraient millionnaires. Je ne suis pas contre.
Il faut bien noter aussi que le système de droit d'auteur artistiques ne rend riche qu'une infime parti des artistes. L'exemple est le top 10 des ventes Bd : avec 10 000 ventes tu n'es pas mauvais, mais tu touches 10k€ pour un an de boulot. Le dessinateur d'Asterix qui en vend 300 000, va toucher 300k€, par contre. Les 8% devraient vraiment être un ultra minimum, et une avance sur commande ne devrait pas être en dessous du smic (les éditeurs proposent 6k€ d'avance au lieu de 18 pour un an de boulot…)
Mais ce n'est pas forcément vrai dans le privé, et hors logiciel.
Le logiciel est bien traité à part dans la loi.
La cession générale dans le contrat de travail ne vaut rien
Attention, pour les logiciels, c'est automatique de par la loi. Dans le contrat de travail, on demande juste une exception concernant les logiciels développés en dehors du cadre du travail. Cela permet d'éviter une appropriation du travail perso par l'entreprise.
C'est un projet complexe de faire un laptop démontable avec le surcout de la connectique. Mais je souhaite que vous réussissiez pour produire moins de déchet.
Vous vous êtes concentré sur un sous-ensemble (le clavier) pour vous financer, avez-vous un autre sous-ensemble dans le pipeline ?
Alors que l’extrémisme d'une glacière en béton, qu'il faut payer en 30 ans et qui se révèle une passoire thermique à l'usage, ça juste passe.
Pourquoi inventer ? Les maisons modernes sont loin d'êtres des passoires thermiques surtout aux nouvelles normes. J'ai du mal à croire qu'une yourte fasse mieux (pour le même nombre de m²)
Souvent les algo finissent avec de la bouillis de constantes. C est parfois difficile de trouver la bonne unité.
Le delta vs valeur absolu se généralise à toutes les unités. Cela aide si tu ne simplifie pas trop l eqyation dans le code.
Si tu utilises une précision, le mieux est d'utilisé une valeur absolu et surtout pas un pourcentage. Cela correspond aux capteurs physiques réels. Avec un tel système, tu dois même pouvoir choisir entre float, double, int et int64, à la génération de code.
[^] # 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é"
# Jugement majoritaire
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Tournesol pour l'élection présidentielle. Évalué à 3.
Les méthodes avec un ordre comme Condorcet ont un problème : il n'y a pas toujours de gagnant.
Le jugement majoritaire est à notation de tous les candidats (cela revient à pouvoir voter pour plusieurs candidats). C'est plus simple et cela enlève tout un tas de truc stupide comme le "vote utile" ou l’introduction d'un petit candidat pour faire perdre un gros.
"La première sécurité est la liberté"
[^] # Re: Quelques réponses
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à -7.
Ne pas avoir d'horaire n'a rien à voir à une obligation de bosser 24/24, vous avez tout compris de travers.
"La première sécurité est la liberté"
[^] # Re: Quelques réponses
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à 4.
Et le faire en pro en open source ? L'opinion a pas mal changé sur le sujet.
"La première sécurité est la liberté"
[^] # Re: Licences "grises"
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à 3.
Le coté freestyle ne pose problème que dans un cas : celui avec des apports extérieurs intégrés et que l'on veut refermer le code.
"La première sécurité est la liberté"
[^] # Re: Quelques réponses
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à -3.
Il n'y a pas de seulement. Le sujet a déjà été traité ici, il y a longtemps. La clause est absolument nécessaire pour éviter des embrouilles potentiels. Un cadre n'a pas d’horaire, donc tout travail est censé appartenir à l'employeur ("exercice de leur fonction").
"La première sécurité est la liberté"
[^] # Re: Quelques réponses
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à 2.
Oui, car on est souvent cadre, et un cadre n'a pas d'horaire. Il faut donc parler de "hors cadre du travail". Le problème se pose pour la réalisation d'un soft qui serait utile au boulot, sans mention dans le contrat de travail l'employeur peut se l’approprié en parti.
Un brevet, ce n'est pas du droit d'auteur.
La paternité du droit d'auteur est inaliénable, mais cela n'a quasiment aucun effet concret. Par exemple, le droit de modification est assorti de clause de dédommagement.
"La première sécurité est la liberté"
[^] # Re: Dans la fonction publique, c'est la même chose
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à 5.
Comme dit dans l'autre commentaire, c'est une question de droit. Pas de moral.
Je pense que si les droits d'auteurs de logiciel était géré comme la création artistique avec une part des bénéfices, beaucoup d'entre nous seraient millionnaires. Je ne suis pas contre.
Il faut bien noter aussi que le système de droit d'auteur artistiques ne rend riche qu'une infime parti des artistes. L'exemple est le top 10 des ventes Bd : avec 10 000 ventes tu n'es pas mauvais, mais tu touches 10k€ pour un an de boulot. Le dessinateur d'Asterix qui en vend 300 000, va toucher 300k€, par contre. Les 8% devraient vraiment être un ultra minimum, et une avance sur commande ne devrait pas être en dessous du smic (les éditeurs proposent 6k€ d'avance au lieu de 18 pour un an de boulot…)
"La première sécurité est la liberté"
[^] # Re: Dans la fonction publique, c'est la même chose
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à 4.
Tu veux dire qu'un soft développé par un fonctionnaire (payé par l'état donc pour cela), peut demander des parts d'une revente ?!
"La première sécurité est la liberté"
[^] # Re: Quelques réponses
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à 3.
Le logiciel est bien traité à part dans la loi.
Attention, pour les logiciels, c'est automatique de par la loi. Dans le contrat de travail, on demande juste une exception concernant les logiciels développés en dehors du cadre du travail. Cela permet d'éviter une appropriation du travail perso par l'entreprise.
"La première sécurité est la liberté"
[^] # Re: Cas des élèves et étudiants
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Droits d'auteurs. Évalué à 10.
Tu as des sources pour ce que tu dis dans le cadre scolaire ?
"La première sécurité est la liberté"
[^] # Re: Feedback, prix et disponibilité
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche L’ordinateur portable modulaire : La lumière au bout du tunnel. Évalué à 4.
C'est un projet complexe de faire un laptop démontable avec le surcout de la connectique. Mais je souhaite que vous réussissiez pour produire moins de déchet.
Vous vous êtes concentré sur un sous-ensemble (le clavier) pour vous financer, avez-vous un autre sous-ensemble dans le pipeline ?
"La première sécurité est la liberté"
[^] # Re: xfs ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Remplacement du système de fichiers utilisé en natif par Windows. Évalué à 4.
Les 2 informations sont contradictoires non ?
"La première sécurité est la liberté"
# xfs ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Remplacement du système de fichiers utilisé en natif par Windows. Évalué à 3.
A quel moment XFS est devenu plus populaire que ext4 ou btrfs ? Il n a pas de fsck par exemple.
"La première sécurité est la liberté"
[^] # Re: faut voir
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Petites observations sur le travail (que l'on fait pour soi). Évalué à 4.
En création de CO2, une machine n'est rien par rapport à un maison.
"La première sécurité est la liberté"
[^] # Re: Deux poids deux mesures ?
Posté par Nicolas Boulay (site web personnel) . En réponse au lien Pourquoi s’opposer à la création de Mon Espace Santé ?. Évalué à 3.
Comme pour n importe quelle prestataire de santé en fait.
"La première sécurité est la liberté"
[^] # Re: faut voir
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Petites observations sur le travail (que l'on fait pour soi). Évalué à 2.
Pourquoi inventer ? Les maisons modernes sont loin d'êtres des passoires thermiques surtout aux nouvelles normes. J'ai du mal à croire qu'une yourte fasse mieux (pour le même nombre de m²)
"La première sécurité est la liberté"
# les constantes !
Posté par Nicolas Boulay (site web personnel) . En réponse au journal [Letlang] Faire la différence entre un nombre et une quantité. Évalué à 3.
Souvent les algo finissent avec de la bouillis de constantes. C est parfois difficile de trouver la bonne unité.
Le delta vs valeur absolu se généralise à toutes les unités. Cela aide si tu ne simplifie pas trop l eqyation dans le code.
Si tu utilises une précision, le mieux est d'utilisé une valeur absolu et surtout pas un pourcentage. Cela correspond aux capteurs physiques réels. Avec un tel système, tu dois même pouvoir choisir entre float, double, int et int64, à la génération de code.
"La première sécurité est la liberté"