222 private links
Some examples of why C is faster than Java, because C and algorithms
A random git commit joke on each refresh :D
And only the text version of it: http://whatthecommit.com/index.txt
About the workflow with Git and best practices 👍
I find it also useful to run eslint src/* ---fix
I hop cargo fmt
in the future.
Mhmhmh ok ! I note the hyperfine
command to benchmark the speed of cli commands :)
Si vous travaillez (et je vous le souhaite) dans un environnement qui n’a pas ces besoins, je vous invite à vous interroger sur vos propres pratiques.
Il est normal que quand on développe on soit attaché au produit de son travail, et vouloir faire les choses proprement est louable, mais j’ai l’impression qu’on a parfois tendance à porter une attention excessive aux commits et à l’historique git.
Cela ne veut pas dire systématiquement prendre le contre-pied du noyau Linux, mais qu’il faut savoir investir son énergie là où elle est le plus utile.
L'historique est vital pour GNU/Linux. Si des PRs durent des années, qu'ils faut adapter le code, l'abandonner ou le reprendre d'une autre personne, etc... effectivement avoir un historique et des commits normés et clairs sont primordiaux.
Programming languages are not really just lines of text. Diffs from two different changes to a source file are not necessarily composable, even if there are no overlapping changes. Program code has syntax, and this syntax is knowable, even in the case of the most dynamic of languages (such as those with configurable readers such as Common Lisp). A source file, if it isn't broken, represents a particular structured object, an abstract syntax tree.
We should be able to leverage this.
More on git: how the cli first git command works.
The different objects (data models) used by git under the hood.
Well explained 👍
The git checkout command is splitted in two git switch
and git restore
.
This post explains the reasons and how to use these two commands.
TL;DR Il arrive que le dossier .git à la racine du nom du domaine (i.e. example.com/.git) soi inaccessible, bien que les fichiers dans ce dossier sois disponible à la lecture !
Amend a commit message by ID. A simple script.
A git repository with a commit for every seven-character git commit shorthash (all 228 of them).
(Context: a shorthash is the first 6-digit hash of a commit)
Un outil en ligne de commande pour être plus efficace avec git.
En attendant, j'utilise Fork pour le côté professionnel, et je reste en CLI simple pour les projets personnels. C'est peut-être l'outil dont j'avais besoin au lieu de Fork ! Sous le coude, car ses commandes ressemblent à celles de git, et elle sont plus lisible pour les humains. Et c'est ce dont on a besoin avec git !
How to remove credentials inadvertenly inserted in the git repo
git-bundle
: package a git repository
git namespacing: share a codebase between repositories
git hooks: run custom executable on git actions
and more
git tag v1.0.0 8bad64f6e9 -f
: the -f
option force the tag to update if it already exists.
Then push with git push origin --tags --force