jeanas a écrit 166 commentaires

Déjà posté ici à l'époque : https://linuxfr.org/users/glandos/liens/europol-s-oppose-aux-messageries-chiffrees

Comme me l'a fait remarquer Patrick Massot, la ligne

Lean, créé par Leonardo de Moura et développé depuis 2013 chez Microsoft Research, écrit en C++, placé sous licence Apache 2.0.

contient des infos obsolètes : Leonardo de Moura ne travaille plus chez Microsoft Research, et contrairement à Lean 3, Lean 4 est principalement écrit en Lean 4 (je n'ai pas regardé comment c'était bootstrappé).

Est-ce qu'un modérateur voudrait bien corriger ça ? Merci !

Merci !

Je ne suis pas développeur moi-même, pourtant je certifie que je passe énormément de temps à découvrir des bugs dans l'intranet de mon école, dans mon émulateur de terminal, dans Firefox, … 🙂 Certes, ce n'est pas moi qui écris les tests. Mais si un modérateur passe par là, on pourrait effectivement changer ça en « tous les développeurs (voire les autres !) passent … »

Oui, voilà, ça m'a l'air d'être de la logique de Hoare, pas de la théorie des types.

La pétition demande d'être autoconfirmé (automatique au bout de quelques jours), pas autopatrouillé.

Entre ce journal, celui-là, celui-là, celui-là et maintenant celui-ci, vous faites un concours du journal le plus moinssé ? Le plus pédant ? Le plus hors-sujet ? Faites un petit effort, merci.

Armin Ronacher et Drew DeVault ont tous les deux écrit des billets de blog sur le marché des imprimantes 3D (je ne suis pas forcément d'accord, je pointe juste qu'ils sont intéressants) :

https://lucumr.pocoo.org/2023/12/25/life-and-death-of-open-source/

https://drewdevault.com/2023/12/26/2023-12-26-Prusa-is-floundering.html

DeVault a écrit un nouveau billet de blog pour s'expliquer davantage : https://drewdevault.com/2025/01/20/2025-01-20-FOSDEM-protest.html

Ah, désolé, je ne l'avais pas vu passer.

Personnellement, j'ai moinssé uniquement parce que, toute légitime que soit la cause des personnes victimes de racisme et de violences policières, ça n'a aucun lien même ténu avec le thème du site.

On peut être d'accord ou pas avec l'utilité des lettres de motivation dans la vie adulte. Je ne suis pas sûr d'être d'accord (surtout maintenant que ChatGPT en fait qui sont difficile à distinguer de lettres sincères), mais ce n'est pas le propos. Toujours est-il que le monde professionnel, dans son état actuel, exige ces documents, et qu'ils ont des codes assez stricts, comme ne pas commencer une lettre de motivation par le mot « je », mettre son nom en haut à gauche et le destinataire juste en-dessous à droite, donner ses qualités sans avoir l'air trop prétentieux, conclure par une formule très spécieuse comme « En souhaitant une réponse positive de votre part, je vous prie d'agréer, Madame, Monsieur, mes salutations distinguées » (et d'après certains, mettre « espérer » plutôt que « souhaiter » serait une faute), etc. Tant que ce sera le cas, je trouve que c'est une très bonne chose de former les élèves à cet exercice, et ça fait partie de la découverte du monde professionnel qui après tout est le but de ces stages.

Pour le CV, certes, c'est un peu difficile. Mais il y a quand même des choses qu'on peut mettre, comme tu l'as recommandé dans ton modèle (activités extrascolaires, langues, stages précédents, éléments liés au stage qu'on demande comme « j'ai lu tel livre de maths » ou « je connais tel langage de programmation », …). Et là aussi, l'intérêt est surtout d'apprendre que la mise en forme d'un CV se travaille énormément.

Du coup, le fait que les ados soient obligés de « singer les adultes » est certes un peu ridicule, mais finalement possiblement formateur. (Sinon, comme d'habitude, ce sont ceux qui auront appris ces codes de leur milieu familial qui s'en sortiront…)

L'article fait suite à l'appel à temoignages du Monde qui avait déjà été posté ici : https://linuxfr.org/users/thoasm/liens/lemonde-fr-appel-a-temoignages-vous-etes-ou-avez-ete-utilisateur-de-firefox-racontez-nous

Merci pour le retour !

Merci pour ce journal ! Je réfléchissais justement à en écrire un sur ma quête un peu désespérée d'un éditeur de texte qui me satisfasse.

J'ai utilisé Emacs plusieurs années, je continue de l'utiliser pour certaines choses et dans l'ensemble j'aime bien, mais je me suis arraché les cheveux avec les n systèmes de paquets différents et la difficulté de configurer un LSP. Le temps perdu m'a un peu refroidi.

Je suis donc passé à Helix pour la plupart des langages. J'aime beaucoup la configuration simple et lisible en TOML et la facilité d'utilisation des LSP. Le seul hic, c'est que je ne suis pas fan de l'édition modale. Je préfère les raccourcis avec Control, Alt et Control-Alt, et j'aime bien garder les bases des zones de texte de toutes les autres applications que mon éditeur de texte, à savoir : sélection avec Shift, mouvement mot par mot avec Control, et les raccourcis clavier de base Control-X, Control-C, Control-V. (Ça rend la navigation entre plusieurs applications plus fluide pour moi.)

Est-ce que quelqu'un connaîtrait une sorte d'équivalent de Helix, mais non-modal ?

(Un autre critère important est que l'éditeur puisse fonctionner dans un terminal, pour les sessions SSH.)

Thank you for contacting DigitalOcean Support. […] I understand your concerns around port 25, but unfortunately at this point of time, we are unable to review our decision to unblock SMTP on your account.

🙁

Bonjour, et merci. Je regarderai Scaleway. Je n'ai pas envie d'aller chez Amazon — je n'aime pas les giga-monopoles tout-puissants des GAFAM.

Pour DigitalOcean, il est possible de demander l'utilisation de la porte smtp/25

Comment ? Je n'ai pas trouvé.

Leur doc dit : « SMTP port 25 is blocked on all Droplets for new accounts to prevent spam and other abuses of our platform. » et ne cite pas de procédure pour demander un déblocage.

Leur syntaxe Markdown est documentée là : https://github.com/pbek/qmarkdowntextedit/tree/000cc7227866bfc5edbdc68e9412a06c9bb6ec1b?tab=readme-ov-file#supported-markdown-features

Il n'y a pas les notes de bas de page.

D'ailleurs, il n'y a aucune syntaxe pour les notes de bas de page dans la spécification CommonMark, même si beaucoup de librairies l'ajoutent en extension, activée par défaut ou non.

Les éditeurs de Markdown, ce n'est pas ça qui manque, et il y a aussi beaucoup d'éditeurs généralistes avec un bon mode Markdown. Je suis sûr que tu trouveras ton compte ailleurs. On peut faire des suggestions si tu précises tes besoins.

Je n'ai pas trouvé que les citations soient sorties de leur contexte, et d'autre part ce sont presque exclusivement des citations de billets sur son blog (pas de vidéos) et le lien vers son blog est toujours donné, donc il suffit de cliquer pour lire plus de contexte si on a un doute.

J'ai du mal à croire qu'il pense ce genre d'idées. Y a t'il des preuves qu'il ait tenu ce genre de discours ?

Pourquoi ne pas simplement aller voir ce qu'écrit le rapport ?

Je suis complètement d'accord avec le point (1). Pour que les choses soient parfaitement claires, je rappelle néanmoins que le rapport ne présente pas RMS comme un violeur ou un pédophile (« Stallman has also incited numerous controversies for advancing a political agenda which normalizes sexual misconduct and advocates for reforming our social and legal understanding of sexual conduct in a manner which benefits the perpetrators of abuse. »).

C'est probablement le cas en revanche de beaucoup de commentateurs, à tort (malheureusement, sur un sujet explosif, on retrouve habituellement des exagérations et accusations infondées dans tous les sens…).

Sur ton point (2), je suis aussi d'accord sur le fait que certaines accusations du rapport sont exagérées, et notamment sur la pédopornographie (après tout j'écrivais justement récemment qu'on ne peut pas poursuivre la propagation de pédopornographie à tout prix au détriment de toute considération de vie privée). Néanmoins, ce que j'apprécie avec ce rapport est qu'il est sérieusement documenté : toutes les citations sur lesquelles il s'appuie sont données in extenso, rien n'est affirmé sans s'appuyer sur des citations. Ce n'est donc pas une accusation à charge sans preuves, chacun peut lire et se faire une opinion. (À titre personnel, ce qui me choque le plus, et de loin, n'est pas dans les citations sur la pédopornographie mais sur la nécrophilie.)

Pour reprendre un parallèle que j'ai déjà évoqué, si un député de droite se met à défendre la taxation des riches et du capital, la nationalisation des entreprises et la réduction du temps de travail, il n'a rien fait de légalement punissable ni même en l'occurrence d'immoral, pourtant son parti peut légitimement l'exclure en jugeant qu'il ne correspond plus aux idéaux du parti. C'est très différent d'une entreprise qui licencierait un employé pour des raisons idéologiques, ce qui serait à la fois illégal et immoral. Au passage, il n'y a pas de salaire associé à ses responsabilités au board de la FSF, c'est un travail volontaire.

Le logiciel libre est un mouvement de société — ce n'est pas moi qui le dit, c'est la FSF elle-même —  et la FSF se donne pour but de promouvoir les idées de ce mouvement, donc la situation est assez similaire, et on ne peut pas dire que les prises de position en question soient complètement détachées du logiciel libre, parce que c'est aussi le climat de travail à la FSF qui est en jeu ainsi que certaines interventions à des conférences sur les logiciels libres.

Mon but en faisant connaître ce rapport n'est pas de « faire la peau » de RMS, mais de signaler le fait que présenter RMS comme un leader idéologique n'est pas forcément une si bonne idée. Par ailleurs, s'il est vrai qu'elle a peu d'influence aujourd'hui, la FSF garde un énorme pouvoir de nuisance à cause du fait qu'énormément de projets sont sous licence « GNU GPL version 3.0 or later », ce qui veut dire que la FSF pourrait publier une nouvelle version de la GPL et elle s'appliquerait à eux automatiquement. Pour ça, il est souhaitable qu'il y ait une relation de confiance entre le monde du libre et la FSF, et concrètement, à voir les problèmes qu'il y a dans sa gouvernance, je n'ai pas très envie aujourd'hui de publier un logiciel en GPL 3.0 or later.

Sans surprise, je suis globalement d'accord. Au passage, il y a un petit souci de syntaxe Markdown autour du lien vers https://stallman-report.org, est-ce qu'un modérateur pourrait corriger ça ? Merci !

Parce que toutes ces "affaires sexuelles" qu'on lui reproche, à part quelques abus de language de la part de ceux là même qui prétendent les dénoncer (abus de langage qui mériteraient, eux, bien plus d’attention de notre part: sexual misconduct et violence, really?), c'est juste des propos qu'il a pu tenir au long des dernières décennies. Des propos. Or, que je sache, dire quelque chose, même de très con, n’est pas encore considéré comme un crime (ce serait même plutôt considéré comme un droit de dire ce qu'on pense, non?). Et, que je sache aussi, Stallman n’a été reconnu coupable d’aucun crime par aucun tribunal? Il n'est donc coupable de rien, à part peut-être d'avoir des idées à la con (qui va annoncer à la population mondiale que 99.9% d'entre-nous mérite aller en prison pour crime de connerie?)

Déjà répondu : non, il n'a commis aucun crime, simplement c'est normal de s'intéresser aux idées de quelqu'un qui se veut un leader idéologique.

Comme tu l'as toi-même admis je crois dans un autre commentaire, tu n'avais pas suivi la précédente tentative de spread des rumeurs sur le compte de Stallman.

Tout ce que j'ai dit, c'est que je n'avais pas connaissance du journal écrit là-dessus sur LinuxFR en 2021 parce que je ne lisais pas LinuxFR en 2021.

… mais seulement sous forme de lien.