Collection of useful resources for coding:

Bag of commands

• Shell Tricks That Actually Make Life Easier (And Save Your Sanity) : Super useful shell tricks.

• Git commands for analyzing a repo.

Bag of ambiance

• Music for programming.

Lectures de l’année 2025