En gros, tu me dis que la graphique audessus est un peu bidon, car il ne s'agit que de moyenne grossière et que localement, ce n'est pas le cas.
Si je comprends bien, l'humidité de l'air est composé de molécules qui se baladent, tout comme le ferait de l'eau sous forme de vapeur, même si la température ne colle pas. Mais alors la 1er phrase de wikipedia est fausse, car il n'y a pas vraiment de différence physique entre de la vapeur d'eau et de l'humidité de l'air.
Première ligne de wikipedia : "La vapeur d'eau est l'état gazeux de l'eau. C'est un gaz inodore et incolore. Le langage familier et quotidien tend à identifier la vapeur d'eau à un brouillard ou à une fumée, ce qui est faux."
"A 100°C l'eau ne peut plus être liquide, mais en dessous, elle peut très bien être gazeuse."
Bien sûr mais à très très basse pression, certainement pas à l'air libre.
Les vents fort font aussi un phénomène d'aspiration qui soulève les toits. Parfois un truc léger, pas chère à changer est plus intéressant qu'un truc lourd, qui fait écrouler la moitié des murs en tombant.
La vapeur d'eau est à 100°C à pression normal, j'en déduis qu'il s'agit simplement d'eau chaude. J'avoue que l'évaporation d'eau m'a toujours "questionné", car l'eau n'est pas un gaz à cette température.
J'ai toujours trouvé les GADT compliqués, il faut beaucoup réfléchir pour voir comment exprimer même des trucs simples. (genre exprimer ~ en GADT, c'est pas possible, pas possible de coller des fonctions dans l'arbre en question).
Concernant le foncteur, je ne vois pas trop. Les données au final sont des arbres typés avec des liens, qui respectent les différents niveau de raffinage ou de description.Pour moi le foncteur, permet de paramétrer avec des types ou changer la définition de fonction (tagless final), même avec du tagless final, je ne vois pas trop comment tu accumules les contraintes.
« les littéraux sont considérés différemment du type ». Veux-tu dire par là que les valeurs, comme 1, et les types, comme int, vivent dans des mondes différents ?
Oui, c'est exactement ça. Et c'est chiant.
Mais une telle situation est présente dans la quasi totalité des langages, à l'exception des langages avec types dépendants (comme Coq).
Oui (je ne connais pas coq), mais cela n’empêche pas d'être très gênant.
Je n'ai jamais dit « pourquoi se faire chier avec un système aussi compliqué »
C'est une figure de style, désolé.
le type des entiers non nuls se définie ainsi en Coq :
Definition non_nul := {n : nat | n <> 0}.
C'est ce que je connaissais des types paramétriques. Le problème est que d’accepter n'importe quoi comme équation booléenne rend la vérification très compliquée. L’intérêt de rester dans des types plus classiques est de simplifier. J'avais lu que la vérification formelle ne marche plus dés qu'il y a des multiplications dans une équation car le nombre des possibles explosent.
Si cela se trouve mon "langage" peut se traduire directement en coq.
Autrement dit on peut mélanger types et littéraux sans problèmes. Est-ce cela que tu veux ?
Oui, même si je voulais juste avoir un langage de description qui m'a l'air bien plus simple que du coq, mais je me trompe peut-être. coq me semble trop complexe pour être utilisé par n'importe qui.
Par contre, un appareil qui se sert de la mise à la masse via la prise de terre pour faire une cage de Farraday contre les perturbations HF risque de mal fonctionner.
J'ai un portable Dell comme ça. je pense que l'alim a sa cage de faraday relié à la terre. Sans terre, on se prend des "chtouilles" sur le plastique conducteur de la carcasse du PC. Le pire étant le tour en plastiques chromé + conducteur, cela fait comme une sensation de brulure sur les poignets. Quand on passe le doigt sur le plastique on dirait qu'il devient anti-dérapant. Sensation qui disparait si le PC est débranché ou branché à une terre. Bref, l'oscillo montre du 100V alternatif qui se baladent… Heureusement, il y a très peu de courant.
Tu m'as un peu largué dans les types paramétriques.
Le problème dont je parle relève bien de ingénieries des modèles, j'avais l'impression que du point de vue du code, ce n'est qu'une structure de donné (à la con).
Imagines que tu dois documenter des messages qui circulent sur un bus de communication. Tu as une lib de base "définition des champs d'octet d'un message de communication". Elle contient, des informations comme : nom, offset et taille de champ, type du champs. Ensuite, tu veux faire le boulot pour une techno de bus particulière A429, tu va réutilisé cette lib pour dire que les 3 premiers bits ont tel nom, et ont une valeur fixe, et champ de donné de type int (genre un champ d'adresse sur 8 bits, et un champs de donné sur 18 bits).
Pour une instance particulière de ce bus A429, tu va réutiliser la lib de description A429, définir des types de messages, avec des champs fixes (littéraux) et d'autres dépendantes du message (genre le message de vitesse est à l'adresse 121 fixe, mais le contenu est un entier 16 bits en km/h, en virgule fixe avec 6 bits après la virgule).
Chaque lib peut être vue comme le type de la lib qui l'utilise, ce n'est pas une transformation de type vers un autre. C'est ce mélange entre type de base et littéraux qui est impossible et très chiant en pratique.
Tu me dis pourquoi se faire chier avec un système aussi compliqué ? Le coté formel permet plein de choses. C'est pratique pour vérifier que parmi les 1000 messages échangés sur un bus, l'émetteur et le receveur reçoivent la vitesse dans la bonne unité et dans le bon encodage. Voir que dans le cas contraire, de générer un convertisseur à la volé. Cela permet de générer de la documentation propre non ambigüe. Cela permet aussi de générer du code de génération de trame (ton "float64 speed" dans un code C, a mettre au bon endroit dans le message).
J'avais déjà essayé d'en parler sur linuxfr. J'ai tenté de faire un langage de description qui permet de faire. L'idée de base est simplement d'ajouter un opérateur "est compatible avec le type de", je le notait '~' ou même '=' dans les définitions.
Ainsi, tu écris 'int ~ 1 ~ Name "a"', pour définir un truc du nom de "a" qui est de type int et vaux 1. Cela permet de le composer en plusieurs fois.
Genre 'Ref "a" ~ 2', la référence à "a" dont on ajoute 2, ce qui est faux.
Ainsi je peux définir Name "message" ~ (Name "adresse" ~ int & Name "data") dans une lib de base.
Puis Name "messageVitesse" ~ Ref "message" ~ (Ref "message/adresse" ~ 121 & Ref "message/Data" ~ (Name "Value" ~ int && Name "unit" ~ ("km/h" || "m/s") )) dans une lib plus précise. Puis Name "MessageBusTartenpion" ~ (Ref "messageVitesse" ~ (Ref "message/data/unit" ~ "km/h") || Ref "messageDistance" ) etc…
Tu peux aussi gérer plusieurs noms ou des alias 'Name "Vitesse" ~ Ref "messageVitesse"'.
La où cela devient marrant, c'est si on introduit la négation. Genre int ~ (! 0), pour faire un entier qui n'est pas nulle.
J'avais tenter de faire un type checker de façon simple en Ocaml, c'est un boulot énorme. Je voulais le refaire en tagless qui me parait super puissant, mais je n'ai pas eu le temps. Ce langage que j'appelais "Grape" (ou Cherry mais je n'assume plus :) permet de remplacer le xml, la description d'un schéma et rajoute la notion de nommage pour faire des graphs orienté et pas seulement des arbres de données. Cela permet de faire la même chose que l'UML ou SysML mais en beaucoup plus simple et de façon formelle.
Depuis, j'ai aussi un peu changer d'avis : il n'est pas possible de "mélanger" les modèles. Si on peut jouer avec des types un "peu" différent, avec un typage "weak", il reste le problème de compositions structurelles que l'on ne peut pas mixer (par exemple, un modèle de donné l'UML et sa représentation graphique en widget ). En fait, il faut faire de la transformation de modèle vers un autre (description des messages vers sa représentation html avec une lib html comme base). On peut aussi avoir la même chose décrite avec 2 normes différentes (beaucoup de standard arrivent avec leur metamodèle UML). Mixer les 2 normes est complexe et si une troisième arrive… C'est plus simple de prévoir des transformations. Cela implique des aller-retour, et de la gestion de différence. Mais je n'ai pas encore de solutions, surtout si on part du principe que le modèle est gigantesque :)
Ce que tu fais, cela s'appelle un mille feuille argumentatif, balancer un tas de machin vaguement vrai, ou vaguement faux pour que cela soit trop long à réfuter, et que l'ensemble apparaisse vraisemblable. C'est une technique adorée des complotistes en tout genre (cf les décodeurs du Monde).
Je note simplement que tu ne parles jamais de Bassel Khartabil Safadi, dans ce poste.
l’histoire telle qu’elle nous est racontée par les média.
La FSF n'est pas un média.
Les USA sont surnommés les « flics du monde » et même si ce sont les alliés de la France il faut bien dire ce qui est : ils foutent leur nez (et leurs oreilles…) partout. On peut citer la guerre Iran-Irak par exemple.
Quel rapport avec le sujet ? C'est pour montrer ton anti-américanisme ?
Reste que tout le monde a le droit d’exprimer son avis.
En effet, moi y compris.
En appelant à leur condamnation par tous tu ne fais que fournir de l’eau au moulin de leur auteur.
Jusqu’où être tolérant, c'est toujours la question. Toutes les opinions ne se valent pas. Quand 90% des experts pensent une chose, on ne peut pas mettre sur un pied d'égalité les pour et les contres, cela n'a aucun sens.
De plus, les éléments de langage des trolls en question de cette page ne laisse aucune ambiguïté sur leur origine politique extrémiste. Je ne vois pas l’intérêt de laisser linuxfr devenir un nouveau forum type jeuxvideo.com.
Cela fait quelques temps (plusieurs années ?) que je remarque que certain nouveau compte actif ont des colorations d’extrême droite. Alors oui, on a le droit d'être un peu con, quand on est jeune, et on a le droit de changer d'avis. Mais certains postes ressemblent plus à de "l'entrisme", c'est à dire rentrer dans une communauté pour la pourrir de l'intérieur. Le FN a été un des 1er partie à soutenir le logiciel libre par patriotisme, mais aussi pour faire l'inverse des autres. Ils capitalisent dessus.
De l'autre coté, Mélanchon a rendu l’extrême gauche agressive. Impossible de les critiquer sur les réseau sociaux sans être harceler ensuite. Pour eux, la fin justifie les moyens, ce qui est toujours une erreur. Et certains posteurs deviennent ici agressif, à justifier l'injustifiable comme les événements au Venezuela.
Bref, je n'ai aucune envie de voir les contributeurs intéressants du site partir devant ces postes nauséabonds.
La question a toujours été "jusqu’où tolérer les intolérants".
La liberté d'expression ou la démocratie n’empêche en rien de faire le ménage sur un site personnel, tu pourra toujours t'exprimer ailleurs. C'est un peu comme si tu es invité chez quelqu'un, tu le frappes, puis tu te plains de te faire mettre dehors.
On a un libriste reconnu (par la FSF, excusez du peu) qui est mort, et on trouve des gens pour cracher sur sa tombe, avec une tartine de gros FUD complotistes, avec des éléments de langage d’extrême droite pro-Assad. Et vous pensiez passer inaperçu ?
Salir un mort, histoire de ne pas trop salir vos "héros" personnel, cela reste très moche.
La discussion porte sur le fait que le nouveau contrat impose une nouvelle contre parti sur le code actuelle ou non. Si il y a une nouvelle contrepartie (renoncer à la prochaine mise à jour), alors il y a ajout de contraintes dans la GPL, ce qui n'est pas possible.
[^] # Re: préparation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 3.
Il pourrait au moins faire la préfecture, l’hôpital, les centrales électriques et le traitement de l'eau en souterrain.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 0.
Avec du sel ?
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -10.
Ce n'est pas de la vapeur d'eau au sens classique. La vapeur à la pression ambiante, c'est 100 °C. Elle ne peut pas exister autrement.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -2. Dernière modification le 07 septembre 2017 à 18:18.
En gros, tu me dis que la graphique audessus est un peu bidon, car il ne s'agit que de moyenne grossière et que localement, ce n'est pas le cas.
Si je comprends bien, l'humidité de l'air est composé de molécules qui se baladent, tout comme le ferait de l'eau sous forme de vapeur, même si la température ne colle pas. Mais alors la 1er phrase de wikipedia est fausse, car il n'y a pas vraiment de différence physique entre de la vapeur d'eau et de l'humidité de l'air.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 3.
A 1 Pa !! C'est une très basse pression.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -5.
Première ligne de wikipedia : "La vapeur d'eau est l'état gazeux de l'eau. C'est un gaz inodore et incolore. Le langage familier et quotidien tend à identifier la vapeur d'eau à un brouillard ou à une fumée, ce qui est faux."
Bien sûr mais à très très basse pression, certainement pas à l'air libre.
"La première sécurité est la liberté"
[^] # Re: Réchauffement ou Dérèglement ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 0.
En fait, la température n'a jamais changé autant que ce qui est prévus :
https://xkcd.com/1732/
"La première sécurité est la liberté"
[^] # Re: préparation
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 7.
Les vents fort font aussi un phénomène d'aspiration qui soulève les toits. Parfois un truc léger, pas chère à changer est plus intéressant qu'un truc lourd, qui fait écrouler la moitié des murs en tombant.
"La première sécurité est la liberté"
[^] # Re: Attention, n'allons pas trop vite…
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à 4.
Pour les évènements catastrophiques, ils peuvent souvent remonter longtemps dans les livres d'histoires.
"La première sécurité est la liberté"
[^] # Re: Exceptionnel ou systémique ?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Le jour d’après, c’est aujourd’hui. Évalué à -4.
La vapeur d'eau est à 100°C à pression normal, j'en déduis qu'il s'agit simplement d'eau chaude. J'avoue que l'évaporation d'eau m'a toujours "questionné", car l'eau n'est pas un gaz à cette température.
"La première sécurité est la liberté"
[^] # Re: Reason
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.
Le plus souvent oui. Je pense juste que mon code est un poil plus léger, et rend l'indépendance plus évident.
"La première sécurité est la liberté"
# Ça a coupé, chérie
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Il dit qu'il s'est fait bronsoniser. Évalué à 10.
"La première sécurité est la liberté"
[^] # Re: Zéro pointé Nico
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 4.
la suite : https://twitter.com/iyad_elbaghdadi/status/856824095215943681
"La première sécurité est la liberté"
[^] # Re: Reason
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.
J'ai toujours trouvé les GADT compliqués, il faut beaucoup réfléchir pour voir comment exprimer même des trucs simples. (genre exprimer ~ en GADT, c'est pas possible, pas possible de coller des fonctions dans l'arbre en question).
Concernant le foncteur, je ne vois pas trop. Les données au final sont des arbres typés avec des liens, qui respectent les différents niveau de raffinage ou de description.Pour moi le foncteur, permet de paramétrer avec des types ou changer la définition de fonction (tagless final), même avec du tagless final, je ne vois pas trop comment tu accumules les contraintes.
"La première sécurité est la liberté"
[^] # Re: Reason
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.
Oui, c'est exactement ça. Et c'est chiant.
Oui (je ne connais pas coq), mais cela n’empêche pas d'être très gênant.
C'est une figure de style, désolé.
C'est ce que je connaissais des types paramétriques. Le problème est que d’accepter n'importe quoi comme équation booléenne rend la vérification très compliquée. L’intérêt de rester dans des types plus classiques est de simplifier. J'avais lu que la vérification formelle ne marche plus dés qu'il y a des multiplications dans une équation car le nombre des possibles explosent.
Si cela se trouve mon "langage" peut se traduire directement en coq.
Oui, même si je voulais juste avoir un langage de description qui m'a l'air bien plus simple que du coq, mais je me trompe peut-être. coq me semble trop complexe pour être utilisé par n'importe qui.
"La première sécurité est la liberté"
[^] # Re: CPL + Wifi
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 4.
J'ai un portable Dell comme ça. je pense que l'alim a sa cage de faraday relié à la terre. Sans terre, on se prend des "chtouilles" sur le plastique conducteur de la carcasse du PC. Le pire étant le tour en plastiques chromé + conducteur, cela fait comme une sensation de brulure sur les poignets. Quand on passe le doigt sur le plastique on dirait qu'il devient anti-dérapant. Sensation qui disparait si le PC est débranché ou branché à une terre. Bref, l'oscillo montre du 100V alternatif qui se baladent… Heureusement, il y a très peu de courant.
"La première sécurité est la liberté"
[^] # Re: Reason
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 3.
Tu m'as un peu largué dans les types paramétriques.
Le problème dont je parle relève bien de ingénieries des modèles, j'avais l'impression que du point de vue du code, ce n'est qu'une structure de donné (à la con).
Imagines que tu dois documenter des messages qui circulent sur un bus de communication. Tu as une lib de base "définition des champs d'octet d'un message de communication". Elle contient, des informations comme : nom, offset et taille de champ, type du champs. Ensuite, tu veux faire le boulot pour une techno de bus particulière A429, tu va réutilisé cette lib pour dire que les 3 premiers bits ont tel nom, et ont une valeur fixe, et champ de donné de type int (genre un champ d'adresse sur 8 bits, et un champs de donné sur 18 bits).
Pour une instance particulière de ce bus A429, tu va réutiliser la lib de description A429, définir des types de messages, avec des champs fixes (littéraux) et d'autres dépendantes du message (genre le message de vitesse est à l'adresse 121 fixe, mais le contenu est un entier 16 bits en km/h, en virgule fixe avec 6 bits après la virgule).
Chaque lib peut être vue comme le type de la lib qui l'utilise, ce n'est pas une transformation de type vers un autre. C'est ce mélange entre type de base et littéraux qui est impossible et très chiant en pratique.
Tu me dis pourquoi se faire chier avec un système aussi compliqué ? Le coté formel permet plein de choses. C'est pratique pour vérifier que parmi les 1000 messages échangés sur un bus, l'émetteur et le receveur reçoivent la vitesse dans la bonne unité et dans le bon encodage. Voir que dans le cas contraire, de générer un convertisseur à la volé. Cela permet de générer de la documentation propre non ambigüe. Cela permet aussi de générer du code de génération de trame (ton "float64 speed" dans un code C, a mettre au bon endroit dans le message).
J'avais déjà essayé d'en parler sur linuxfr. J'ai tenté de faire un langage de description qui permet de faire. L'idée de base est simplement d'ajouter un opérateur "est compatible avec le type de", je le notait '~' ou même '=' dans les définitions.
Ainsi, tu écris 'int ~ 1 ~ Name "a"', pour définir un truc du nom de "a" qui est de type int et vaux 1. Cela permet de le composer en plusieurs fois.
Genre 'Ref "a" ~ 2', la référence à "a" dont on ajoute 2, ce qui est faux.
Ainsi je peux définir Name "message" ~ (Name "adresse" ~ int & Name "data") dans une lib de base.
Puis Name "messageVitesse" ~ Ref "message" ~ (Ref "message/adresse" ~ 121 & Ref "message/Data" ~ (Name "Value" ~ int && Name "unit" ~ ("km/h" || "m/s") )) dans une lib plus précise. Puis Name "MessageBusTartenpion" ~ (Ref "messageVitesse" ~ (Ref "message/data/unit" ~ "km/h") || Ref "messageDistance" ) etc…
Tu peux aussi gérer plusieurs noms ou des alias 'Name "Vitesse" ~ Ref "messageVitesse"'.
La où cela devient marrant, c'est si on introduit la négation. Genre int ~ (! 0), pour faire un entier qui n'est pas nulle.
J'avais tenter de faire un type checker de façon simple en Ocaml, c'est un boulot énorme. Je voulais le refaire en tagless qui me parait super puissant, mais je n'ai pas eu le temps. Ce langage que j'appelais "Grape" (ou Cherry mais je n'assume plus :) permet de remplacer le xml, la description d'un schéma et rajoute la notion de nommage pour faire des graphs orienté et pas seulement des arbres de données. Cela permet de faire la même chose que l'UML ou SysML mais en beaucoup plus simple et de façon formelle.
Depuis, j'ai aussi un peu changer d'avis : il n'est pas possible de "mélanger" les modèles. Si on peut jouer avec des types un "peu" différent, avec un typage "weak", il reste le problème de compositions structurelles que l'on ne peut pas mixer (par exemple, un modèle de donné l'UML et sa représentation graphique en widget ). En fait, il faut faire de la transformation de modèle vers un autre (description des messages vers sa représentation html avec une lib html comme base). On peut aussi avoir la même chose décrite avec 2 normes différentes (beaucoup de standard arrivent avec leur metamodèle UML). Mixer les 2 normes est complexe et si une troisième arrive… C'est plus simple de prévoir des transformations. Cela implique des aller-retour, et de la gestion de différence. Mais je n'ai pas encore de solutions, surtout si on part du principe que le modèle est gigantesque :)
"La première sécurité est la liberté"
[^] # Re: Haute trahison ?
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 5.
C'est une blague ? C'est celui qui le plus de sang syriens sur les mains !
Les barils d'explosifs jeté sur des quartiers d'habitations ? Les gaz ?
"La première sécurité est la liberté"
[^] # Re: Laisse tomber NB
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 10.
Ce que tu fais, cela s'appelle un mille feuille argumentatif, balancer un tas de machin vaguement vrai, ou vaguement faux pour que cela soit trop long à réfuter, et que l'ensemble apparaisse vraisemblable. C'est une technique adorée des complotistes en tout genre (cf les décodeurs du Monde).
Je note simplement que tu ne parles jamais de Bassel Khartabil Safadi, dans ce poste.
"La première sécurité est la liberté"
[^] # Re: J'ai compris !
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 5.
Il y a toujours une limite à la tolérance.
La FSF n'est pas un média.
Quel rapport avec le sujet ? C'est pour montrer ton anti-américanisme ?
En effet, moi y compris.
Jusqu’où être tolérant, c'est toujours la question. Toutes les opinions ne se valent pas. Quand 90% des experts pensent une chose, on ne peut pas mettre sur un pied d'égalité les pour et les contres, cela n'a aucun sens.
De plus, les éléments de langage des trolls en question de cette page ne laisse aucune ambiguïté sur leur origine politique extrémiste. Je ne vois pas l’intérêt de laisser linuxfr devenir un nouveau forum type jeuxvideo.com.
Cela fait quelques temps (plusieurs années ?) que je remarque que certain nouveau compte actif ont des colorations d’extrême droite. Alors oui, on a le droit d'être un peu con, quand on est jeune, et on a le droit de changer d'avis. Mais certains postes ressemblent plus à de "l'entrisme", c'est à dire rentrer dans une communauté pour la pourrir de l'intérieur. Le FN a été un des 1er partie à soutenir le logiciel libre par patriotisme, mais aussi pour faire l'inverse des autres. Ils capitalisent dessus.
De l'autre coté, Mélanchon a rendu l’extrême gauche agressive. Impossible de les critiquer sur les réseau sociaux sans être harceler ensuite. Pour eux, la fin justifie les moyens, ce qui est toujours une erreur. Et certains posteurs deviennent ici agressif, à justifier l'injustifiable comme les événements au Venezuela.
Bref, je n'ai aucune envie de voir les contributeurs intéressants du site partir devant ces postes nauséabonds.
"La première sécurité est la liberté"
[^] # Re: J'ai compris !
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à -3.
Pour information, le régimes lui-même a fait bien plus de mort que les autres factions.
moi, c'est les complotistes à 2 balles, qui me défrisent, alors que c'est uniquement pour protéger leur agenda politique.
"La première sécurité est la liberté"
[^] # Re: J'ai compris !
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le développeur libriste Bassel Khartabil exécuté dans une prison syrienne fin 2015. Évalué à 1.
La question a toujours été "jusqu’où tolérer les intolérants".
La liberté d'expression ou la démocratie n’empêche en rien de faire le ménage sur un site personnel, tu pourra toujours t'exprimer ailleurs. C'est un peu comme si tu es invité chez quelqu'un, tu le frappes, puis tu te plains de te faire mettre dehors.
On a un libriste reconnu (par la FSF, excusez du peu) qui est mort, et on trouve des gens pour cracher sur sa tombe, avec une tartine de gros FUD complotistes, avec des éléments de langage d’extrême droite pro-Assad. Et vous pensiez passer inaperçu ?
Salir un mort, histoire de ne pas trop salir vos "héros" personnel, cela reste très moche.
"La première sécurité est la liberté"
[^] # Re: risque de quoi?
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 3.
le compteur "intelligent".
"La première sécurité est la liberté"
[^] # Re: CPL + Wifi
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Linky et filtre cpl. Évalué à 3.
Ce n'est pas sur du tout que cela impose les disjoncteurs différentielles ou la mise à la terre généralisée.
"La première sécurité est la liberté"
[^] # Re: Les quatre libertés des logiciels libres
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Grsecurity attaque Bruce Perens en justice pour diffamation. Évalué à 5.
La discussion porte sur le fait que le nouveau contrat impose une nouvelle contre parti sur le code actuelle ou non. Si il y a une nouvelle contrepartie (renoncer à la prochaine mise à jour), alors il y a ajout de contraintes dans la GPL, ce qui n'est pas possible.
"La première sécurité est la liberté"