software-development

• Rewriting the Git history: user name and e-mail Jul 9, 2024 - 2 min read
• Bash: an underestimated tool for development Jan 26, 2024 - 9 min read
• Crafting a good command-line application Jan 6, 2023 - 14 min read