Categoria: internet

Convertire un file CSV in una tabella MD in Python

Markdown

Utilizzo spesso Markdown perché è un modo veloce di produrre documenti formattati che ospitano molto codice e contenuti tabulari. Con Python, qui di seguito descrivo un modo per convertire una tabella csv in una tabella markdown: Step 1. Intallazione di Pandas $ pip install pandas Defaulting to user installation because normal site-packages is not writeable …

Continua a leggere

Aggiornamento di TeXLive

TeXLive è un package per gestire in modo centralizzato LaTeX e tutte le ue componenti (librerie, fonts, ecc.) Tempo fa ho installato un plugin che renderizza la sintassi di campi di tipo codice sorgente con la sintassi che si vuole. Si chiama Pygmentize. Ora però aggiornando il plugin non mi funziona più LaTeX, e dopo …

Continua a leggere

Routing IP

Topologia dei sistemi autonomi

Mi sono trovato a dover studiare meglio l’argomento del routing IP in seguito a problemi di configurazione nel nuovo pc della VPN di un cliente. Una delle cose che mi sono ritrovato a fare è stampare la tabella di routing dalla quale posso vedere gli indirizzi raggiungibili dal mio host (ho un computer nuovo e …

Continua a leggere

Pillole Git: creare un branch per una nuova attività

Git: creare branch per ogni microattività

Creare un nuovo branch nel repository Git viene naturale se pensiamo che qualsiasi cosa facciamo al codice possa sporcare il branch master (o quello in cui stiamo lavorando) . Per manetenere il branch attivo pulito possiamo quindi creare una nuova derivazione dove possiamo fare quello che vogliamo senza interferire con il lavoro degli altri sviluppatori. …

Continua a leggere

Pillole Linux – recuperare spazio disco

Menu IDE delete cache

Possiamo fare un po’ di spazio eliminando pacchetti snap obsoleti. L’utility Disk Analyzer mi indica come cartella più voluminosa come prima tra le cartelle a dimensione variabile – collocate sotto la directory /var – la directory /var/lib/snapd/snaps): $ sudo -s # cd /var/lib/snapd/snaps # ll totale 14399508 drwxr-xr-x 3 root root 4096 dic 11 09:51 …

Continua a leggere

Python Challenges: Risoluzione di rompicapi

Benvenuti nella raccolta di “Python Challenges”, un viaggio attraverso la risoluzione di problemi con un certo grado di difficoltà utilizzando il potente linguaggio di programmazione Python. In questo articolo, esploreremo una serie di sfide stimolanti, ciascuna progettata per mettere alla prova le vostre abilità e ampliare la vostra comprensione della programmazione. L’Arte di superare le …

Continua a leggere

Un altro Nobel per la Fisica per lavori sull’ottica e gli impulsi ad attosecondo

Speckle Noise o rumore di puntinatura

L’Ottica sembra diventata la regina delle discipline all’interno della Fisica: già nel 2022 erano stati premiati con Nobel tre fisici (Aspect, Clauser e Zeilinger) per i lavori sui fotoni e il loro contributo allo sviluppo dell’Informazione Quantistica: la produzione di fotoni entangled viene fatta con i laser. Quest’anno si parla sempre di laser da un …

Continua a leggere

Amarcord del professor Malesani

Al corso di Complementi di Elettronica Applicata, un corso del quinto anno tenuto dal prof. Gaetano Malesani, forse era il 1992, oltre a studiare tante belle cose come le PLL o gli alimentatori switching, il prof. Malesani dispensava perle di saggezza tipo “Non pensate che quando lavorerete ci sarà qualcuno ad insegnarvi ciò che dovete …

Continua a leggere

Pillole Linux – grep

Come selezionare con una regex (espressione regolare) tutte le righe di uno stream che non contengono una certa stringa? % cat file | grep -v “some string” Et voilà.

php-curl una storia infinita

Dopo l’ultimo aggiornamento di php-curl ho nuovamente il fastidio di emendare l’errore che stavolta si presenta in una veste diversa, a volte Warning $ php -m | grep curl PHP Warning: PHP Startup: Unable to load dynamic library ‘curl.so’ (tried: /usr/lib/php/20220829/curl.so (/usr/lib/php/20220829/curl.so: undefined symbol: curl_mime_addpart, version CURL_OPENSSL_4), /usr/lib/php/20220829/curl.so.so (/usr/lib/php/20220829/curl.so.so: cannot open shared object file: No …

Continua a leggere