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 27
C’è un concetto che per tanti anni mi è apparso misterioso, quello di espressione lambda o lambda expression in inglese – che poi mi è risultato analogo a quello di funzione anonima – da quando me l’hanno raccontato nel corso di Automi e Linguaggi Formali all’Università nell’ambito del corso di LISP moltissimi anni fa. Sì, …
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: …
Set 06
Mi è capitato un paio di volte di rimanere in braghe di tela col network: il browser mi dice che non sono connesso a internet, un ping generico all’host che voglio raggiungere mi dice questo: $ ping www.google.com ping: www.google.com: Nome o servizio sconosciuto Sintomo 2: posso fare ping direttamente ad un nameserver pubblico come …
Commenti recenti