Dic 11
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 …
Ott 10
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 …
Ott 04
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 …
Lug 17
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 …
Apr 18
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à.
Gen 13
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 …
Nov 16
Stamattina non riesco più a stabilire una connessione SSH con un server in cui ho lavorato l’ultima volta un po’ di tempo fa. Facciamo che questo host si chiami web.mysecretserver.it come FQNS. Anche oggi ho la mia occasione per sentirmi stupido. Primo tentativo Al primo tentativo il protocollo mi dice che non ha trovato tra …
Ott 18
Ovvero come scrivere un’istruzione SQL per aggiornare i campi di una tabella prendendo i valori da un’altra in join. La soluzione è valida per il dialetto di Oracle, con qualche modifica si fa girare per altri RDBMS. Me lo dimentico sempre e ogni volta devo andare a googlare per trovarlo. Basta! Me lo riporto qui …
Set 28
Un piccolo breviario con la spiegazione succinta dei principali concetti riguardante i sistemi operativi (operating systems, OS). Sistemi Operativi Sono i software fondamentali per poter utilizzare di una macchina di tipo Von Neumann (quella col processore e la memoria per dati/programmi). Consentono di usare il processore, la memoria, il network, l’I/O, di gestire l’allocazione in …
Set 09
Da tempo sono perseguitato da un errore che si ripete (per quanto sospetto) ad ogni aggiornamento di php e che riguarda la libreria curl. Sia l’invocazione da Apache che da client mi presentano un errore con questo tono: $ php -r “curl_init();” PHP Warning: PHP Startup: Unable to load dynamic library ‘curl.so’ (tried: /usr/lib/php/20210902/curl.so (/usr/lib/php/20210902/curl.so: …
Commenti recenti