TL;DR: A totally biased and incomplete selection of tools, services, and packages that I am using in day-to-day operations to boost efficiency and free up time for the things that really matter. List is expanding over time. Use at your own risk - happy to answer questions.

One of the biggest struggles that I have faced is to keep all the auxiliary tasks that rain down on one, often offering little value add, at bay. Good tools and hacks can make one’s life much easier and can lead to significant speedups and time savings. I purposefully want to take a utilitarian stance here and do not want to engage in any philosophical discussions: the goal is to operationalize and execute. This list will be extended over time and, yes, there are many setups that can work but:

These are my tools. There are many tools like these, but these ones are mine. My tools are my best friends. They are my life. I must master my tools as I must master my life. I will learn their weaknesses, their strength, their shortcuts, their add-ons, their packages, and their configurations. I will keep my tools up-to-date and ready, even as I am up-to-date and ready.


Python libraries and distributions