chimrod a écrit 1095 commentaires

Merci pour cette dépêche et cette découverte du langage, c’est vrai que les exemples sont parlants et donnent une bonne idée de ce que l’on peut faire avec !

Si je comprends, le langage ne contient pas de Null et passe par un type ['a] Optionnal, est-ce que cela peut être représenté au niveau du pattern matching ? Leurs exemples n’indiquent pas comment décomposer le type en question.

Le langage m’a l’air intéressant, (j’aime le ratio entre simplicité du code et garantie des types) et leur librairie standard semble bien fournie.

Je vais lui donner sa chance :)

Je ne serai pas aussi optimiste que toi, je dirai au contraire qu’il s’agit d’un échec de la démocratie. Malgré ses inculpations, ils continue d’avoir une avance de 40pt sur son concurrent DeSantis !

Pour pouvoir parler de démocratie, il faut que le peuple et les gouvernants se respectent mutuellement. On entend en France un discours qui parle de rupture car les élites se retrouvent déconnectées de la population, mais les états-unis sont dans une situation inverse : en continue de croire en Trump, c’est le peuple se retrouve coupé de la réalité politique.

Son discours est dangereux car il nie le pacte tacite entre les institutions et la population et une fois ce pacte rompu, tout ce qui relève de la justice devient discutable. Le premier exemple qui me vient en tete pour comparer et le vote de la réforme des retraites : la saturation des débats avec des amendements bidons, l’utilisation du 49.3, etc jouent avec les règles, mais sans les remettre en cause. Ici, c’est complètement différent car il continue de refuser les lois qui s’appliquent.

Et le fait qu’il continue d’avoir derrière lui une partie de la population ne me rassure pas du tout.

---

Je n’ai pas l’habitude de commenter sur ce terrain là, mais j’aimerai me sentir confiant comme toi. Or j’ai l’impression de regarder calmement le monde partir à la dérive et ça me fait peur. Vous pouvez moinsser, mais je préférai qu’on me donne des arguments pour retrouver un peu de positif dans tout ça :)

Ça va ouvrir une dépêche souvenir ça :)

Après avoir installé Woody, je me rappelle avoir ouvert un terminal et écrit help sur la ligne de commande. Le résultat n’était pas vraiment celui que j’attendais :D

Cela ne fonctionnera pas en wifi. Il faudrait que le mot de passe wifi et la borne de connexion soit enregistré dans le bios pour que ces informations restent disponibles une fois le PC éteint. Cela ne pose pas de problème en éthernet car la connexion physique est maintenue en continue.

Ça passe mieux quand on s’appelle Ulysse !

De manière plus simple, tu peux acheter un kit qui t’évite d’avoir tout souder toi même :

https://shop.pimoroni.com/products/pico-rgb-keypad-base?variant=32369517166675

Ça donne le côté visuel de suite, avec les leds que l’on peut contrôler, et les touches permettent d’interagir directement. Tu peux aller très loin avec un petit projet comme ça :

• jouer juste avec les leds et les touches (on / off, animations…)
• se construire un jeu de logique avec
• utiliser la connexion PC pour contrôler le PC (touches multimédia par exemple)
• utiliser la connexion PC avec une liaison série pour communiquer avec une application

Oui c’est ça

Je me suis permis d’envoyer le lien vers le thread au support,je ne peux/veux pas répondre à leur place :)

De mon coté je me crée des alias à l’année que je supprime au bout de quelques temps :

echo $(date +%Y)$(tr -dc a-z0-9 </dev/urandom | head -c 13)@...

Alias dynamiques :

La fonctionnalité Alias++ vous permet d'utiliser des alias pour recevoir des e-mails sans avoir à les créer au préalable. Ajoutez simplement les caractères ++ suivis du mot-clé de votre choix à la fin de votre identifiant, avant le @ (par exemple : user++shopping@domain.test).

Pour ne plus recevoir de messages envoyés à un alias++ spécifique, vous pouvez l'invalider.

Vous pouvez également utiliser un alias++ de l'un de vos alias classiques. Il n'est pas possible d'utiliser un alias++ comme adresse d'expéditeur de vos messages.

La fonctionnalité Alias++ est réservée aux comptes Premium.

Alias oui, il y a en 100 possibles.

Je l’utilise depuis 5 ans (cela s’appelait netc à l’époque), et je viens de renouveller pour 5 ans.

Au niveau du contexte : j’avais décidé d’arreter d’héberger mes courriels, considérant qu’il s’agissait d’une données trop précieuse pour etre laissée à un amateur comme moi :)

Je n’ai eu aucun problème depuis que je suis passé chez eux. J’ai gardé mon nom de domaine et cela fonctionne très bien, le support est vraiment réactif (par courriel, j’ai une réponse dans les 2h à chaque fois que je les ai sollicité).

Par contre, je ne sais pas d’où sort leur appli web. Ils auraient mieux fait d’utiliser une application tierce plutot que de mettre leur interface mais bon… c’est leur truc et ça fonctionne je n’ai pas grand chose à y dire. J’utilise seulement leurs applications de base (courriel - agenda - annuaire) et passe très peu par leur site web en fait. Je n’utiliserai jamais leur application gpg (quelle idée de devoir communiquer sa clef privée !), ni le stockage des mots de passe.

Au final je pense que je rentre dans la catégorie des utilisateurs qui savent ce qu’il font et se contentent seulement de ce dont ils ont besoin, mais je reste très satisfait du service.

Je suis frustré de ne pouvoir plusser qu’une fois ! (Même si à l’époque je ne comprenais pas tout ce que je lisais)

Comme le programme n’indique pas l’adresse, c’est en Ile de France, à la médiathèque de Choisy-le-Roi

https://passageenseine.fr/

Je pose mes jours de congés !

Ha dit ce que je me fais vieux

Cette manipulation existait déjà en 2015, et je l’ai également appliquée sur ma liseuse. Il faut noter que cela n’empêche pas les mises à jour du système, et elle est donc complètement utilisable comme périphérique USB.

Si tu lance le serveur vnc en manuellement, tu peux lui donner une résolution :

vncserver :1 -geometry 3440x1440

À préciser en fonction des réponses données aux questions de cg.

Il y a un article que je garde dans les brouillons de mon blog depuis trop longtemps, qui explique comment je fais les sauvegarde avec duplicity.

L’application chiffre les données avec gpg, ça peut donc passer dans le cloud sans risque, et permet d’avoir une configuration mixte, ou les données sont stockées dans un glacier, alors que les méta-datas sont sur un environnement à chaud. Ça permet de minimiser les coûts tout en gardant de la souplesse pour faire des sauvegardes différentielles.

Ah c’est pas mal, c’est fou ce que l’on peut faire avec l’UTF-8.

Je pensais à ça en fait : Chiffres elzéviriens dit également chiffres bas de casse par rapport aux chiffres en capitales.

En elzévirien tu veux dire ?

par défaut, c'est les retours à la ligne, pas les espaces

Merci tu m’apprends quelque chose là !

Pas vraiment. J’ai le sentiment qu’il y a des plages d’IP qui prennent la relève successivement dès que la première est bloquée. Je pense que fail2ban est impuissant face un réseau de botnet un peu organisé :

• Dès que tu es bloqué sur un hôte, tu commences à en attaquer un autre (ça ne sert à rien d’insister, il suffit d’attendre que le temps passe)
• Tu communiques l’info à ton réseau pour qu’une autre pc vérolé prenne la relève.

Tu peux changer les règles pour empêcher ça (tu fais une méta-règle qui parse les logs de fail2ban, et si la même IP est présente 10 fois en 3j tu la ban à vie), mais tu auras toujours un train de retard.

Attention, la commande va se mettre à donner des résultats bizarres dès que tu auras des espaces dans le nom de fichier. Quitte à utiliser une redirection, je préfère le couple find / xargs qui te permet aussi d’utiliser plusieurs process :

Exemple trivial :

find . -name '*.jpg' -print0 | xargs -0 -I '{}' --max-procs 0 echo "fichier {}"

ou la version avec find tout seul (mais séquentielle) :

find . -name '*.jpg' -exec echo fichier {} \;

Tout à fait. Autant cela peut être parfois bénéfique de s’accrocher à un projet pour garder un cap, autant cela peut devenir toxique si cela devient une contrainte. Dans ton message, je sens poindre la culpabilité, et ça n’est jamais bon (c’est selon moi le pire des sentiments). Prend ce journal pour ce qu’il est, une interrogation et une source d’inquiétude, mais surtout pas comme une accusation.

Prends soin de toi.

(C’est peut être évident pour tout le monde mais dès fois ça peut servir d’enfoncer des portes ouvertes !)

Oh merci ! Je cherchais depuis longtemps une application à la Zim à faire tourner sur mon PC au travail. C’est en test depuis ce matin, la prise en main s’est faite tout de suite.

Tu as aussi une version en ligne de commande (qui n’est pas mise en avant et n’est accessible que par ceux qui savent qu’elle existe déjà). Je l’utilise dans vim avec le plugin éponyme.

Il faut récupérer l’archive standalone et utiliser le programme languagetool-commandline.jar. Voir le manuel sur le wiki.

sxhkd fait partie du gestionnaire de fenêtre bspwm. C’est un petit démon utilisé dans le gestionnaire pour gérer tous les raccourcis claviers mais peut être utilisé de manière autonome. Il est paramétré avec un simple fichier texte (et un syntaxe très concise)