Comme beaucoup de langages de programmation, Haskell n’a pas d’environnement de développement officiel ni même consensuel. Cependant, il existe différentes configurations classiques : Emacs + Intero/Dante, Vim + Ghcid, IntelliJ-Haskell…

Depuis quelque temps, l’éditeur de texte Visual Studio Code propose un environnement intéressant pour développer en Haskell, notamment couplé à HIE et à Stack. Cette configuration apporte les principales fonctionnalités d’un IDE : coloration syntaxique, navigation de code, compilation, documentation, auto‑complétion… Cependant, l’installation de ces outils n’est pas complètement triviale (…)

Il y a quelques jours, mon historique zsh a apparemment été vidé, peut‑être à cause d’une fausse manip dont je parlerai peut‑être. Je crois avoir rempli mon $HOME complètement, et ça n’a peut‑être pas plu à zsh.

Mes shells n’enregistraient donc plus les nouvelles commandes dans le fichier .zsh_history, et surtout, ce fichier est devenu vide. Or, je tiens à mon historique ! Il y a un tas de commandes que je rappelle simplement en tapant leurs premières lettres (…)

D'après leur réputation, Go et Haskell sont des langages de programmation assez opposés : Go privilégie la simplicité, Haskell l'expressivité. Cependant ces deux langages ne sont pas si éloignés que cela. Plus exactement, les concepts de base de Go se retrouvent, de façon assez ressemblante, en Haskell.

Ce journal reprend, en Haskell, les exemples de code en Go de l'article Comprendre Go en 5 minutes. L'objectif n'est pas de présenter exhaustivement Go ou Haskell, ni de démontrer que l'un (…)

Nouvelle version de HomeBox, pour Noël.

Après plusieurs mois de travail, de quelques développeurs, notamment Frédéric et moi même, une nouvelle version de la solution d'auto-hébergement a été publiée. Pour l'instant, pas de numéro de version, mais plutôt un branche "master" sur github.

https://github.com/progmaticltd/homebox

Je rappelle que c'est pour l'instant une version qui se déploie avec Ansible, elle ne s'adresse actuellement pas aux néophytes qui voudraient faire de l'autohébergement en quelques clics, mais plutôt aux personnes soucieuses de sécurité.

Installation

'lut les gens,

Depuis quelque temps mon outil de montage vidéo kdenlive me déçoit de plus en plus, je le trouve de plus en plus lent et j'ai perdu les 3/4 des effets qui pouvaient exister par le passé (dont ceux apportés par frei0r). Il devient impossible de monter sans activer les clips intermédiaires, fonction qui permet de dégrader la vidéo lors du montage, mais qui préserve la qualité au rendu de la vidéo finale. Et encore ça reste (…)

Les banques, en retard sur la mise en place de la directive DSP2, semblent presser leurs clients à adopter une authentification à deux facteurs ne passant plus par le SMS.

La solution, notamment chez le carré vert et sa filiale à bas coût, c’est d’utiliser un module d’authentification « forte » dans l’application bancaire dédiée.

Cette solution française pour imposer le second facteur est donc de regrouper le système d’authentification sur le même moyen, et de surcroît dans la (…)

Cent trente‐quatrième épisode dans la communication entre les différents intervenants autour du site LinuxFr.org : l’idée est de tenir tout le monde au courant de ce qui est fait par les rédacteurs, les admins, les modérateurs, les codeurs, les membres de l’association, etc.

L’actu résumée ([*] signifie une modification du sujet du courriel) :

Statistiques

Du 1^er au 15 décembre 2019 :

• 1 978 commentaires publiés (dont 3 masqués depuis) ;
• 371 étiquettes (tags) posées ;
• 97 (…)

Bonjour tout le monde

Mon activité professionnelle quotidienne m'ayant éloigné du développement (je suis devenu DBA parce que le développement logiciel en entreprise me paraissait de plus en plus ridicule, mais libre à vous de me convaincre du contraire), je travaille en auto-entrepreneur sur les projets intéressants que l'on pourrait me présenter. Depuis quelques temps, je travaille sur un système embarqué, où une carte centrale (Raspberry Pi hélas, faute de mieux sur le plan prix/fiabilité d'apprivisionnement notamment) avec une interface (…)

Ça fait quelques temps (en années, probablement) que la notion d'intégration continue m'intéresse, de loin, mais j'ai toujours eu l'impression que les outils existants sont super spécialisés, difficiles à installer réellement (souvent distribué avec l'OS quasi-complet, que ce soit via un conteneur ou une VM, ou pire: installé par wget foobar | sudo sh), pas vraiment très séduisant selon moi.

Bref, après la lecture du journal sur citop j'ai refait des recherches, et suis tombé sur laminar, outil (…)

Des cartes Unlock! à imprimer et découper

J'aime bien l'escape game de salon Unlock! et j'ai découvert que l'éditeur du jeu proposait plusieurs scénarios de démo gratuits, les cartes nécessaires au jeu étant fournies dans des pdf à imprimer et découper.

Se passer de l'impression ? imagemagick permet de "découper" certaines portions d'un pdf pour en tirer des images. Voici un exemple de commandes utilisables avec le pdf du scénario "Le donjon de Doo-Arann" (toutefois après avoir donné les droits (…)

Si vous faites un achat sur la FNAC et qu'il est annulé (article non dispo par exemple), surveillez bien votre compte PayPal si vous l'avez utilisé pour le paiement. En effet, lors de la commande, le compte PayPal est débité du montant, même si ce montant n'est pas viré au vendeur. PayPal appelle cela une "Suspension de compte pour autorisation en cours". C'est une sorte de provision faite par PayPal et le montant est bel est bien enlevé du solde (…)

Dans cette release de CPU :

Pomme, crochet ouvert, crochet fermé ou deux barres obliques. Notre invité est Antoine “LoGo” Vignau, archiviste d'Apple II.
Émission enregistrée en Août 2019 lors de l'Apple II Festival France, produite par Silicium.

Fiche de l'émission, podcast et liens documentaires

Chroniques :

• Bonjour à toi, Enfant du Futur Immédiat : Deux Steve font un ordi
• Le Gourou : Steve “The Woz” Wozniak
• Interview

Nous revenons le 9 Janvier 2020, très bonnes (…)

Bonjour,

j'ai besoin de conseils. parce que ça part dans tous les sens.

pour faire une petite appli web, qui grosso modo stocke des paramètres utilisateurs, lit sur un ou plusieurs RPI/thermomètre(sonde) connecté (via une autre pageweb json) des entrées sorties analogiques me fait un calcul (paramètre * entrées), le stocke et me fait un beau graphe.
Les paramètres sont pour les sondes de température calibrées et étalonnées.

Je dois stocker en base les valeurs pour consultation ultérieure. Y a (…)

Chers linuxiens,

Je souhaite vous faire part de la sortie de la première version de citop: https://github.com/nbedos/citop

Il s'agit d'un programme qui affiche les pipelines de CI associé à un commit Git donné dans une interface similaire à celle du programme top. Il est possible de consulter l'état d'un pipeline, de ses jobs ainsi que leurs logs. Le programme fonctionne avec les dépôts hébergés sur GitHub ou GitLab et est intégré avec les fournisseurs de service de CI (…)

Pour ceux qui voudraient utiliser un raspberry pi comme NAS, je partage cet article que je viens de voir sur minimachines.net.

Il s'agit de Rock Pi SATA HATs, une carte qui est développé à la base pour la ROCKPI 4 et permettant de connecter jusqu'à 5 pérphériques SATA. . Attention cependant, le RPI n'est pas compatible avec toutes les versions de cette carte. Pour plus d'infos, je vous laisse consulter le lien en référence. En pratique j'ai qand même (…)