J'envisage d'utiliser ces technos pour réaliser un site de prise de décision par émergence de consensus.
Ce site permettra à chaque participant (d'un Conseil d'Administration d'une Scop ou d'association, par exemple) d'émettre des propositions et suggestions dans une sorte de forum (une agora) et d'ordonner préférentiellement celles-ci.
Par la méthode de Condorcet de ce rangement émerge le consensus et fait office de vote.
Je développe en Agda mais ne maitrisant pas suffisamment Haskell pour me lancer seul dans un tel projet, toute aide sera bienvenue.
Si vous souhaitez plus de précisions ou que cela vous intéresse, merci de me contacter :
_ Donc les objectifs de Microsoft, Apple et Google sont de répondre aux besoins des gens, parce qu'il y a une raison pour eux de le faire via un cercle vertueux._
À bon ? L’expérience nous montre qu’une fois assises sur un monopole, les boîtes ne ressentent plus le besoin de répondre au besoin des gens. Je prendrais pour exemple IE qui n’a plus évolué lorsqu’il était sur 95 % des postes.
Une grosse boîte n’a aucune raison de faire un logiciel qui marche bien ou qui réponde au besoin, elle a juste besoin de faire un logiciel qui se vend. Comme cela coûte cher de faire du logiciel fiable et répondant aux spécifications de chacun, elles font du mauvais code qui fonctionne suffisamment pour être vendu et te font repayer leurs bugs en te vendant une nouvelle version.
la véracité (ou/et la précision) d'une information est fortement liée à sa source, et j'aurais naturellement tendance à croire un ingénieur d'une centrale nucléaire, alors que je mettrai en doute instinctivement ce que dira greenpeace à l'égard du nucléaire.
Tu fais une importante erreur de jugement en ne prenant pas en compte les conflits d'intérêts.
Qui te dit que le militant Greenpeace, que tu mets en doute, n'est pas justement un ancien ingénieur responsable dans la sureté nucléaire ? Qu'en n'étant plus salarié d'Areva ou EDF il a une liberté d'opinion ! Alors que ton ingénieur ne peut contrevenir à son employeur sans risquer d'être licencié. S'il est en recherche d'un emploi, il se gardera bien de critiquer ses futurs employeurs.
Alors explique moi comment tu justifies, dans ton modèle concurentiel, le besoin de l'exception culturelle (art I-17).
"si tu laisses une concurrence libre et non faussée s'installée, les entreprises les plus compétitives survivront et les consommateurs auront les prix les plus bas."
Au détriment de la securité sur les lieux de travail, des consignes de sécurité, de la protection de l'environnement, des acquis sociaux. Ce modèle de compétition tend vers une asymptote menant vers une fracture. Ce qui est n'est pas bon pour l'humanité.
La directive sur les brevets logiciels a mis en exerge un dysfonctionnement démocratique de nos instances politiques européennes. Malheureusement le traité ne propose pas un fonctionnement plus citoyen de l'union : http://etienne.chouard.free.fr/Europe/(...)
Cela fait plus de deux ans que je suis cette directive. J'en conclue que nous ne vivons plus dans une démocratie mais bien dans une technocratie à la solde des grands groupes industriels.
Je suis fortement choqué de voir comment le conseil européen a pris une position soit disant commune le 7 mars 2005 en faisant fi des demandes du Danemark, de la Pologne et du Portugal alors qu'au moins ces trois pays sauhaitaient que cette directive fasse l'objet d'une discussion en point B. Un deni de démocratie.
Il est également choquant de voir comment lors de ces procédures de co-decision, le conseil s'asseoit royalement sur le travail des parlementaires.
Malheureusement le traité constitutionel n'apporte pas de réponse à ce problème de représentation des souhaits des citoyens. Au contraire le traité grave dans le marbre cette procédure de co-decision avec en plus une politique de la concurence (libre en non faussé). Alors que les réussites européennes (Airbus, Ariane) sont du à une coopération entre états. Mais pas une concurrence tirant vers le bas.
J'ai lu la constitution et relu les arguments du pour et du contre.
Depuis mon plus jeune âge je suis partisan d'une Europe qui trouve sa force dans la coopération entre les peuples. Mais ce texte que l'on me propose, je ne peux pas l'accepter. On m'offre pratiquement tout le temps de la concurrence libre et non faussée.
Les grands projets européens (par exemple Ariane, Airbus avec son A380 par lequel aujourd'hui c'est le vol inaugural) doivent leurs succès grâce à la coopération entre différents états et peuples mais pas par la concurrence.
Deuxièmement, on nous demande de ratifier ce texte pour qu'il ait valeur de constitution. Je rappelle qu'une constitution est le contrat que passe les hommes et leur gouvernement. C'est parce qu'il ont signé ce pacte que les hommes acceptent de se soumettre aux lois. Ce pacte doit protéger les hommes contre l'injustice et l'arbitraire.
Pour cela le pacte doit :
- être simple pour permettre un vote populaire,
- protéger de la tyrannie par l'organisation du contrôle par le peuple des pouvoirs,
- être révisable par le peuple,
- n'impose pas une politique ou une autre.
Avec ce texte, je n'ai aucune réponse claire et positive sur ces points.
Depuis plus de 2 ans je suis le débat sur les brevets logiciels, je vois comment le conseil européen agit par rapport au parlement (méthode digne de l'ex URSS). La constitution n'offre pas grand chose pour que les citoyens soient mieux entendus.
Elle va même jusqu'à nous supprimer le droit à la représentation directe, Article I-46 paragraphe 1, 1. Le fonctionnement de l'union est fondé sur la démocratie représentative.
Alors que l'article 6 du précédant traité mentionne seulement la « démocratie ».
Donc, le recours par l'union aux méthodes de démocratie directe est donc exclu.
Voilà tout ce traité est fait de subtiles méthodes pour faire croire que c'est mieux, mais en lisant correctement c'est l'arnaque. Du style l'union européenne promeut, oeuvre, etc..., termes qui n'ont aucune valeur, il est préférable de dire que l'union respecte, garanti, etc...
Elle à l'air d'être belle cette constition que l'on propose mais en fait c'est une vraie arnaque car elle malmène les droits consitutionnels fondamenteaux : http://etienne.chouard.free.fr/Europe/(...)
# Projet de réalisation d'un site internet utilisant ces technologies.
Posté par Serge Leblanc . En réponse à la dépêche Développement Web frontend en Haskell, Elm et Purescript. Évalué à 0.
J'envisage d'utiliser ces technos pour réaliser un site de prise de décision par émergence de consensus.
Ce site permettra à chaque participant (d'un Conseil d'Administration d'une Scop ou d'association, par exemple) d'émettre des propositions et suggestions dans une sorte de forum (une agora) et d'ordonner préférentiellement celles-ci.
Par la méthode de Condorcet de ce rangement émerge le consensus et fait office de vote.
Je développe en Agda mais ne maitrisant pas suffisamment Haskell pour me lancer seul dans un tel projet, toute aide sera bienvenue.
Si vous souhaitez plus de précisions ou que cela vous intéresse, merci de me contacter :
Serge Leblanc 33dbqNxPy7IF@gmail.com
GnuPG --fingerprint : 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F
# Vérification de la signature de l'iso.
Posté par Serge Leblanc . En réponse à la dépêche Tails 1.2, une distribution pour votre anonymat. Évalué à 2.
Est-ce que l'un d'entre vous peut me confirmer que la signature du fichier tails-i386-1.2.iso et bien :
-----BEGIN PGP SIGNATURE-----
iQIcBAABCgAGBQJUPvLdAAoJEBICghy+LNnB6AMQAIRK2w1BPigOAJ/1e01R1ZDp
OoNwN2EjE7cTcsfXfz10hH7I9zQIUL1FjApiSnHz6RJ05VmpIHWMDi95ntD8tOdg
edJxEJe9WasXfhBaEojECGBjjRQkMahunfeDYHJclfN1HA4Kjuz1F7xALwCry/MU
xKBYIC9K8Z69QnAlTgtH82VbCZE8i4NKlaBT2lg+OIH7zyZEptFLqZBfAknQIPmp
ZiI8LHsR7xuXiISRt98TzW2UFhduefl/Vc/Nz1WOIM1bh3NJcagQ3secIHUsAQxj
dVIy553ZX3R+NeNNW8GT/Knpo1t9dUwF0zj+NemIBgzkQaEI3V4pTxC4UrqVn04i
VO9ueEurjgfk90pyoq7E7aigoq5fo3sd8pFmkpNbVYvP2M7RhMUb04KDL1x/Qf16
C40OsDFQekpPqrXKj31N9k9vg3I/ZJ8dmC/KTu+6iIqUlQMXFhNLSVaGBTORujAH
Fyc/wEv5+i1dwMwp46+Kb7miXmOCo7fqxUgA92rsUcIVRqzbusWRYaoeT3LDbuES
7geNX3EBTLhz9QfC0BFWGVLftrfM8v6YLMpladqXcYpu5NXC2KZvS8XSJMEbl7q6
aO7xHUIUp9IElb+oKA4J1kQIoCPVgOt1yXX2KOykuOPUCCZvYcRGBPwn1xIeOpnq
oDscRU1nqi/EQQYxzyMa
=bjFF
-----END PGP SIGNATURE-----
Est-ce que cette information pourrait être incluse dans les prochaines dépêches ?
Merci.
# Bizarre, aucun commentaire ou comparaison avec Ocaml.
Posté par Serge Leblanc . En réponse à la dépêche Sortie du Glorious Haskell Compiler 7.8. Évalué à 2. Dernière modification le 15 avril 2014 à 16:28.
Saluton samideanoj! Vraiment surprenant de ne voir jusqu'à présent aucun commentaire comparant Haskell et Ocaml ?
[^] # Re: Autre: Linux est prêt pour le Desktop
Posté par Serge Leblanc . En réponse au sondage Selon vous, pourquoi Linux n'est-il pas prêt pour le bureau ?. Évalué à 7.
À bon ? L’expérience nous montre qu’une fois assises sur un monopole, les boîtes ne ressentent plus le besoin de répondre au besoin des gens. Je prendrais pour exemple IE qui n’a plus évolué lorsqu’il était sur 95 % des postes.
Une grosse boîte n’a aucune raison de faire un logiciel qui marche bien ou qui réponde au besoin, elle a juste besoin de faire un logiciel qui se vend. Comme cela coûte cher de faire du logiciel fiable et répondant aux spécifications de chacun, elles font du mauvais code qui fonctionne suffisamment pour être vendu et te font repayer leurs bugs en te vendant une nouvelle version.
# Que veut dir cette pharse ?
Posté par Serge Leblanc . En réponse à la dépêche Quatre questions cruciales et une élection européenne. Évalué à 5.
Est-ce que l'un d'entre vous arrive à comprendre cette phrase ?
Peut-il me l'énoncer dans un style compréhensible ?
[^] # Re: Certesf
Posté par Serge Leblanc . En réponse à la dépêche Chomsky & Cie. Évalué à 1.
Tu fais une importante erreur de jugement en ne prenant pas en compte les conflits d'intérêts.
Qui te dit que le militant Greenpeace, que tu mets en doute, n'est pas justement un ancien ingénieur responsable dans la sureté nucléaire ? Qu'en n'étant plus salarié d'Areva ou EDF il a une liberté d'opinion ! Alors que ton ingénieur ne peut contrevenir à son employeur sans risquer d'être licencié. S'il est en recherche d'un emploi, il se gardera bien de critiquer ses futurs employeurs.
[^] # Re: Brevet logiciel et référendum
Posté par Serge Leblanc . En réponse à la dépêche Brevets Logiciels: événements la semaine prochaine. Évalué à 2.
"si tu laisses une concurrence libre et non faussée s'installée, les entreprises les plus compétitives survivront et les consommateurs auront les prix les plus bas."
Au détriment de la securité sur les lieux de travail, des consignes de sécurité, de la protection de l'environnement, des acquis sociaux. Ce modèle de compétition tend vers une asymptote menant vers une fracture. Ce qui est n'est pas bon pour l'humanité.
La directive sur les brevets logiciels a mis en exerge un dysfonctionnement démocratique de nos instances politiques européennes. Malheureusement le traité ne propose pas un fonctionnement plus citoyen de l'union : http://etienne.chouard.free.fr/Europe/(...)
[^] # Re: Brevet logiciel et référendum
Posté par Serge Leblanc . En réponse à la dépêche Brevets Logiciels: événements la semaine prochaine. Évalué à 6.
http://www.pps.jussieu.fr/~dicosmo/Opinions/ConstitutionEuropeenne.(...)
Cela fait plus de deux ans que je suis cette directive. J'en conclue que nous ne vivons plus dans une démocratie mais bien dans une technocratie à la solde des grands groupes industriels.
Je suis fortement choqué de voir comment le conseil européen a pris une position soit disant commune le 7 mars 2005 en faisant fi des demandes du Danemark, de la Pologne et du Portugal alors qu'au moins ces trois pays sauhaitaient que cette directive fasse l'objet d'une discussion en point B. Un deni de démocratie.
Il est également choquant de voir comment lors de ces procédures de co-decision, le conseil s'asseoit royalement sur le travail des parlementaires.
Malheureusement le traité constitutionel n'apporte pas de réponse à ce problème de représentation des souhaits des citoyens. Au contraire le traité grave dans le marbre cette procédure de co-decision avec en plus une politique de la concurence (libre en non faussé). Alors que les réussites européennes (Airbus, Ariane) sont du à une coopération entre états. Mais pas une concurrence tirant vers le bas.
[^] # Re: La propriété intellectuelle et le TCE
Posté par Serge Leblanc . En réponse à la dépêche Faut-il célébrer la confiscation intellectuelle ?. Évalué à 1.
Depuis mon plus jeune âge je suis partisan d'une Europe qui trouve sa force dans la coopération entre les peuples. Mais ce texte que l'on me propose, je ne peux pas l'accepter. On m'offre pratiquement tout le temps de la concurrence libre et non faussée.
Les grands projets européens (par exemple Ariane, Airbus avec son A380 par lequel aujourd'hui c'est le vol inaugural) doivent leurs succès grâce à la coopération entre différents états et peuples mais pas par la concurrence.
Deuxièmement, on nous demande de ratifier ce texte pour qu'il ait valeur de constitution. Je rappelle qu'une constitution est le contrat que passe les hommes et leur gouvernement. C'est parce qu'il ont signé ce pacte que les hommes acceptent de se soumettre aux lois. Ce pacte doit protéger les hommes contre l'injustice et l'arbitraire.
Pour cela le pacte doit :
- être simple pour permettre un vote populaire,
- protéger de la tyrannie par l'organisation du contrôle par le peuple des pouvoirs,
- être révisable par le peuple,
- n'impose pas une politique ou une autre.
Avec ce texte, je n'ai aucune réponse claire et positive sur ces points.
Depuis plus de 2 ans je suis le débat sur les brevets logiciels, je vois comment le conseil européen agit par rapport au parlement (méthode digne de l'ex URSS). La constitution n'offre pas grand chose pour que les citoyens soient mieux entendus.
Elle va même jusqu'à nous supprimer le droit à la représentation directe, Article I-46 paragraphe 1,
1. Le fonctionnement de l'union est fondé sur la démocratie représentative.
Alors que l'article 6 du précédant traité mentionne seulement la « démocratie ».
Donc, le recours par l'union aux méthodes de démocratie directe est donc exclu.
Voilà tout ce traité est fait de subtiles méthodes pour faire croire que c'est mieux, mais en lisant correctement c'est l'arnaque. Du style l'union européenne promeut, oeuvre, etc..., termes qui n'ont aucune valeur, il est préférable de dire que l'union respecte, garanti, etc...
[^] # Re: La propriété intellectuelle et le TCE
Posté par Serge Leblanc . En réponse à la dépêche Faut-il célébrer la confiscation intellectuelle ?. Évalué à 2.
Que signifie 'la propriété intellectuelle est protégée' ?
Que l'on pourra obtenir des exclusivités sur des façons de penser ?
J'ai bien peur qu'avec ce traité, cela devienne une réalité. En regardant comment le conseil européen prend ses décisions de manière obscure et fait fi des amendements du parlement européen http://www.ffii.fr/lettre_au_conseil_est_il_passe_lundi_article137.(...)
J'ai personnellement déposé plainte au médiateur européen et je vous invite à en faire autant http://www.ffii.fr/sujet.php3?id_article=64&id_forum=55.(...)
Elle à l'air d'être belle cette constition que l'on propose mais en fait c'est une vraie arnaque car elle malmène les droits consitutionnels fondamenteaux : http://etienne.chouard.free.fr/Europe/(...)