Une configuration de Firefox orientée privacy.
Un site de ressources sur le responsive web design.
À ajouter dans ton flux : https://responsivedesign.is/feed/ !
Un bon résumé de ce qu'il faut savoir sur flex-box.
Un bon résumé de ce qu'il faut savoir à propos des grid CSS.
Site regroupant de l'information statistique sur l'ensemble du fediverse. Ce qui permet notamment de découvrir des protocoles et des projets, mais aussi des instances de chacun de ces projets.
Un texte très intéressant de @bortzmeyer sur les arguties (ou pas) des distinctions entre logiciel libre et open source.
Parce que sur le web, aujourd'hui, toutes les balises sont <div>.
JSON contenant les ID des vulnérabilités vérifiées par pipenv via safety. Permet de retrouver, parfois, la bonne référence CVE.
Support de conférence sur une réflexion sur l'UX et l'utilisation de framework UI.
Déniché via @bayartb.
Encore une fois, les enjeux de sociétés sont des questions collectives, à résoudre collectivement. Article très bien écrit.
Un guide plutôt intéressant et utile sur la taille des polices pour les interfaces web, que ce soit d'un point de vue responsive ou encore pour différencier des interfaces dédiées à la lecture ou l'interaction.
Une checklist bien complète pour vérifier l'état d'un développement de frontend.
via le carnet d'@antoinetl
Attention, mettre des légumes directement dans l'huile est dangereux, risque de botulisme.
Merci à @nicod_ de m'avoir signalé le problème.
Le texte d'une conférence qui défend l'idée que l'augmentation de la complexité technologique pour en améliorer l'efficacité ne permet pas de réduire la consommation, bien au contraire. Le texte montre aussi que la basse technologique (Low Tech), ou une société sobre, ne signifie pas non plus le retour à la caverne.
Si la lecture sur Medium ne vous convient pas, je partage l'article via mon wallabag.
Voir aussi : BIHOUIX, Philippe, 2014. L’âge des low-tech: vers une civilisation techniquement soutenable [en ligne]. Paris : Seuil. Anthropocène. ISBN 978-2-02-116072-7. http://data.rero.ch/01-R007645400
Billet de blog décrivant un script cli en PHP pour mettre en place rapidement des configurations avec xrandr.
Un atelier #shaarli pour les professionnels de la bibliothèque, des archives et de la documentation, à la Bibliothèque de Genève, proposé par l'AGBD et @grolimur
Add fetch = +refs/pull/*/head:refs/remotes/origin/pr/* in your .git/config file:
[remote "origin"]
url = https://github.com/[user_or_org]/[repository].git
fetch = +refs/heads/*:refs/remotes/origin/*
fetch = +refs/pull/*/head:refs/remotes/origin/pr/*In this example, origin is the main repository, not the forked one.
And then git fetch origin and git checkout pr/[ID] to review changes.
Outil python pour faire des sauvegardes des dépôt GitHub d'un compte utilisateur ou d'organisation. L'intérêt c'est qu'il permet d'avoir ce qui n'est pas dans l'historique git, comme les issues ou les milestones.
Une Powerline pour BASH. Semble fonctionner plutôt bien.
via: https://www.journalduhacker.net/s/secwpj/une_invite_de_commande_dynamique_dans_le