Monthly Archives: April 2022

Guerra per interposta nazione

Manzoni una volta riferendosi a Napoleone scrisse “Ai posteri l’ardua sentenza”. Allo stesso modo è impossibile ora fare riflessioni distaccate sulla guerra in Ucraina, con le atrocità, le violenze e i morti che toccano così da vicino i paesi Europei, … Continue reading
Posted in Italian Content, Lettere a mia figlia, Lettere a mio figlio | Tagged | Comments Off on Guerra per interposta nazione

Resistenza

La guerra: un massacro di gente che non si conosce, per gli interessi di gente che si conosce, ma non si massacra Paul Valéery (proiettato all’entrata dello IULM di Milano a Marzo 2022)   E’ oramai da quasi due mesi … Continue reading
Posted in Italian Content | Tagged , | Comments Off on Resistenza

Mainim engine behind 3Blue1Brown videos

Manim is an animation engine for explanatory math videos. It’s used to create precise animations programmatically, as demonstrated in the videos of 3Blue1Brown.
Posted in English Content | Tagged , , | Comments Off on Mainim engine behind 3Blue1Brown videos

Bash Regular expression replace (regexp)

You can easily use bash to search-and-replace on variables… f="/home/alice/myfile.md" $ echo ${f//.md/.pdf} /home/alice/myfile.pdf $ echo ${f//alicee/bob} /home/alice/myfile.md $ echo ${f////-} -home-alice-myfile.md  
Posted in English Content, Knowledgebase, Unix | Tagged , | Comments Off on Bash Regular expression replace (regexp)

Let PiHole play nice with docker-compose

When you run pihole in a docker container, it could be difficult to build images on the same docker daemon, because docker-compose cannot pass DNS request to another container during build, and normal dns resolution fixes won’t work. I solved … Continue reading
Posted in DevOps, IT Featured, Knowledgebase, Unix | Tagged , | Comments Off on Let PiHole play nice with docker-compose

Git tips 2022

Git Summary and more! Git extras package add some nice commands to git, like git summary, which give you some insights on commit stats  
Posted in English Content | Tagged | Comments Off on Git tips 2022