martedì 29 settembre 2026

Somma dei primi n numeri dispari - Dimostrazione per induzione

Facciamo un classico esempio di dimostrazione per induzione.

Dimostriamo che la somma dei primi $n$ numeri dispari e' esattamente pari a $n^2$:

$$
\sum_{k=0}^{n-1}\left(2k+1\right) = n^2
$$

Primo passo: dimostriamo che e' vera per $n=1$:

$$
\sum_{k=0}^{0}\left(2k+1\right) = 1^2
$$

cioe':
$$
1 = 1
$$

con eccesso di zelo, vediamo facilmente che e' vera anche per $n=2$:

$$
\sum_{k=0}^{1}\left(2k+1\right) = 2^2
$$

cioe':
$$
1 +3  = 4 
$$

E adesso passiamo alla vera dimostrazione per induzione: assumiamola vera per un certo $n$ e dimostriamo che, se e' vera per quel $n$,allora e' vera anche per $n+1$, cioe' assumiamo che se vale:

$$
\sum_{k=0}^{n-1}\left(2k+1\right) = n^2
$$

Allora e' vero che:

$$
\sum_{k=0}^{n}\left(2k+1\right) = \left(n+1 \right)^2
$$

procediamo:

$$
\sum_{k=0}^{n}\left(2k+1\right) = \sum_{k=0}^{n-1}\left(2k+1\right) + 2n +1 = n^2+2n+1 =  \left(n+1 \right)^2
$$

QED

 

martedì 4 agosto 2026

Egadi2026 - day 3 - Levanzo

Sveglia in porto a Favignana ... partiamo verso le 10 abbondanti per andare a Levanzo, alla Cala Tramontana, dove passeremo tutta la giornata e la notte. 
Uscendo dal porto incrociamo la barchetta di Bezos, la"Black Pearl":
Arriviamo a Cala Tramontana ingarellati con un conoscente del ns capitano... 
Il posto e' spettacolare.

Varie session di snorkeling con avvistamento di un'aquila di mare!
Spettacolare!

lunedì 3 agosto 2026

Egadi2026 - day 2 - Favignana

Ci svegliamo nella rada di Cala Marasolo.
Dopo lungo bagno salpiamo l'ancora e ci dirigiamo verso...
Nel viaggio ci appare l'Isola che non c'e':
Marettimo.
Giornata top con sosta di un paio d'ore a cala Rotonda, con bella session di snorkeling, pranzo e session di SUP a cala del Pozzo, sosta alla grotta dell'amore.

Concludiamo la nostra navigazione nel porto di Favignana, dove passiamo la serata, visitando lo stabilimento Florio
Usciti da li, Venere fa capolino sopra il Castello di Santa Caterina, teatro di una parte delle riprese dell'Odissea di Nolan.




domenica 2 agosto 2026

Egadi2026 - day 1 - Marsala - Favignana

Primo giorno di navigazione.
Partiamo dal porto turistico verso le 10:30 alla volta di Favignana.

Prima tappa a Lido Burrone.
Poi Cala Marasolo, dove passeremo la notte:

sabato 1 agosto 2026

Egadi2026 - day0

Ed eccoci, alla nostra sospirata vacanza!
Volo Roma-Trapani, e poi con un taxi a Marsala.
Nel pomeriggio conosciamo il nostro skipper, Giacomo, e la sua barca Africa, un Sun Odissey 43.
Cena memorabile al ristorante "i  Bucanieri".

mercoledì 20 maggio 2026

Python 3.14 su Slackware 15.0

Ho disinstallato Anaconda ... troppo pesante ... poi, non scrivendo piu' attivamente codice, non aveva senso mantenere quel "coso" ;-), e sono passato ad una installazione piu' snella con solo python, pip e venv.

Slackware, di default, di sistema ha solo python 2.7 e python 3.9 ... 

Mi scarico i sorgenti di Python 3.14.5 e, su suggerimento di Claude (anche se lui suggeriva Python 3.11), compilo (come user normale) e installo (come root) con: 

./configure --prefix=/usr/local \
            --enable-optimizations \
            --with-ensurepip=install 
make -j$(nproc)
make test
sudo make
altinstall # <-- critical: NOT "make install"

e mi trovo con 

/usr/local/bin/python3.14
/usr/local/bin/pip3.14 
 

Mi configuro una directory per i virtual environments al di fuori della mia home (in modo che non venga salvata durante le operazioni di backup!)

/opt/python_envs

Scelgo /opt anche perche' risiede su un SSD. Ovviamente gli assegno ownership corretta. E creo il mio environment:

python3.14 -m venv /opt/python_envs/mario314
source  /opt/
python_envs/mario314/bin/activate
pip install numpy matplotlib netcdf4 spyder

Ci salviamo la configurazione dell'environment:
pip freeze > ~/programming/python_envs_reqs/mario314_requirements.txt

pip list --not-required --format=freeze > ~/programming/python_envs_reqs/mario314_requirements_dev.txt
Il secondo salva solo i pacchetti "top-level", ovvero quelli che si trascinano come dipendenze tutti gli altri. 
Per un ambiente di produzione, ovviamente si salva tutto (pip freeze) per un ambiente di sviluppo e' meglio usare il secondo comando. 
La reinstallazione di un environment avviene semplicemente cosi':
pip install -r requirements.txt

 (in caso di environment dedicati a un progetto, ovviamente il file "requirement.txt" sta nella directory del progetto e va sotto controllo revisione).

M. 

domenica 17 maggio 2026

Campo Pericoli

 Again ;-)

Ma stavolta saliti al Duca degli Abruzzi, traversata in cresta fino alla Sella di Monte Aquila, poi giu' per Campo Pericoli e di nuovo giu' per la Sella di Monte Aquila.

 

In salita, sulla cresta: 



Il rifugio Garibaldi:


 C'e' ancora un po' di neve! Anche a Campo Imperatore:


 

lunedì 11 maggio 2026

Polar Night at The Museum

Su segnalazione della BIS, ci registriamo per questo evento:

 https://norgepolar100.com/polar-night-at-the-museum/

ovvero la celebrazione del centenario dell'impresa del dirigibile N1 Norge. 

sabato 9 maggio 2026

Campo Pericoli

 Da Campo Imperatore, scesi per la stradina, calzati sci e pelli, saliti alla sella di Monte Aquila, scesi per Campo Pericoli fino al rifugio Garibaldi, e way back ;-)

La piccola sorella, Federico, amico esordiente ed io.


 Soccorso alpino vicino a noi

 

Rifugio Garibaldi ancora sepolto:


 

sabato 2 maggio 2026

Valle Lupara, monte Sirente

Volevamo fare il Canale Majori, la piccola sorella ed io, per cui ... ci siamo persi nel bosco e abbiamo risalito la Valle Lupara!


 

Spettacolari panorami:


 Ups ... cornici:


 E camosci:


 

sabato 25 aprile 2026

Costa della Tavola

 Gran completo: Fabione, piccola sorella, laFiore e la doce meta'!




lunedì 9 marzo 2026

reptyr ... WHAT a HACK!!!

Situazione: sono collegato in ssh dal PC Windows (dell'azienda, mica il mio: io non uso windows su macchine mie!) alla mia macchina GNU/Linux (ovviamente Slackware). 

Faccio partire l'upgrade via sboui di LibreOffice, sapendo che lo slakcbuild ricompilera' l'intero pacchetto dai sorgenti e che la cosa richiedera' molte ore.

Ovviamente, dopo molte ore, ma con la compilazione ancora in corso, windows mi si congela, malamente,  come solo windows sa fare: prima rallenta, poi non copia un file, poi ... poi alcune applicazioni non rispondono ... 

La sessione su supertux e' ancora viva e continua a compilare, ma il pc windows richiede evidentemente un reboot a freddo ... 

Mi arrabbio moltissimo, smoccolo come un portuale di Genova, ma alla fine chiedo a ChatGPT ... che mi svela l'esistenza di questo tool:

https://github.com/nelhage/reptyr 

https://blog.nelhage.com/2011/02/changing-ctty/ 

Ovviamente c'e' anche su https://www.slackbuilds.org/, ma non posso installarlo da li perche' sboui sta ancora girando!

Per cui:

git clone https://github.com/nelhage/reptyr.git
cd reptyr/
make
./reptyr --help
sudo make install 

E reptyr si trova in /usr/local/bin!  (ovviamente anche il man, etc..)

Ho imparato una serie di cose nuove:

ps -t pts/<n> -o pid,ppid,sid,user,cmd
ps -s <SID> -o pid,ppid,sid,user,tty,cmd

Il SID, Session Id e' il PID del "session leader", tipicamente la shell attaccata a un terminale e che poi ha fatto partire, per esempio, sboui, che poi ha fatto partire il make -j 4, che a sua volta ha fatto partire i processi di compilazione ... per cui l'intera sessione e' di 16 processi!

Everyday a school day ;-) 

 


 

sabato 28 febbraio 2026

Monte San Franco

 Federico ed io


 Lupi:


 Fede fa l'artista:


 

mercoledì 4 febbraio 2026

Blindo Termini

Sono giorni che questo veicolo è parcheggiato vicino alla stazione Termini...
È la nuova arma del governo contro i borseggiatori? Oppure è in panne? 
Il rasoio di Occam mi impone di propendere per la spiegazione più semplice...

martedì 27 gennaio 2026

Monte Gorzano

 Nuovi amici, nuova gita ;-) 

 


 


Una delle cose che ho letto di questa gita e' che riserva spettacolari panorami sul Gran Sasso. Ed e' anche vero, pero mi sembra che questo la sminuisca un po'. In realta' la salita a Monte Gorzano, e la successiva discesa e' di grande soddisfazione!


 


mercoledì 26 novembre 2025

Le tribolazioni di un informatico in informatica

Le tribolazioni di un informatico in informatica
Ovvero come le procedure e le misure di sicurezza ci hanno preso un po’ la mano...

Premetto: non sono un informatico in senso stretto, nel senso che, al momento, il mio lavoro non è far funzionare l'infrastruttura informatica di una qualche organizzazione, ma ne sono un utente. In passato ho fatto anche il lavoro di informatico in senso stretto, ma adesso no.
In ogni caso sono dipendente di un'azienda di ingegneria in campo aerospaziale e in quanto tale sono allocato su un progetto e presto la mia insostituibile opera presso il cliente del mio datore di lavoro. 

Mi collego ad una VPN dove risiedono le macchine che utilizziamo per i nostri test, fornendo una password impossibile (nel senso di molto complicata e che non posso cambiare) ed una OTP (One Time Password) a sua volta fornitami da una app sul telefono.
Controllo i dati dell’ultimo RUN e decido di aprire una SPR (Software Problem Report) al nostro fornitore. Apro la URL del sistema di gestione degli errori, do username e password … e l'applicazione mi risponde con "OTP password sent to your mail"… ma è la mail nel dominio del cliente... per poterci accedere devo lanciare un'applicazione di accesso VDI (Virtual Desktop Interface) che mi chiedera’ username, password, un'altra OTP sempre dal telefono e di nuovo la password. Dopo l’accesso alla VDI, potrò aprire la mail e trovare l’OTP per entrare nel sistema di reporting...

Da casa ormai non faccio in tempo. Chiudo il laptop e mi precipito alla stazione Termini, ma perdo comunque il treno!
Vado al bar e mi collego al WiFi. Riprovo la procedura... ma il WiFi della stazione non fa passare il protocollo VPN... e neanche l’ssh...  

Ok forse è colpa mia...

domenica 7 settembre 2025

Direttissima

 Direttissima e discesa per la cresta Ovest (via della cresta o via della creste)


sabato 9 agosto 2025

Namibia2025 - Day1- Stargazing in Hakos

All'alba atterriamo ad Addis Abeba, per uno scalo di un paio d'ore. Siamo un po' cotti... Il nostro secondo volo (ET835, ADD - WDH, 08:35 - 13:20) ci porta a Windhoek. 
Ci vengono a prendere all'aeroporto:
Prendiamo le nostre SIM namibiane, una tastiera bluetooth per me, e finalmente ci portano al Sand Rose Guest House, dove finalmente troviamo Paolo.
Dopo qualche ora di relax al Sand Rose, partiamo alla volta della Hakos astro farm:
dove arriviamo in tempo per vedere il tramonto:

Ci riposiamo un po', ceniamo e dopo cena partecipiamo ad una fantastica serata di stargazing nel cielo australe, con un freddo becco!
Vediamo chiaramente Alfa Centauri, la Croce del Sud e una nebulosa, di cui non ricodro il nome, in cui appaiono 3 stelle colorate allineate.
Nonostante la luna piena, la serata è fantastica.

venerdì 8 agosto 2025

Namibia2025 - Day0

E' Venerdì... E' l'ultimo giorno di lavoro, ma non riesco a finire tutto quello che volevo finire prima di partire per la nostra avventura nell'Africa del Sud.
Too bad... Ma forse anche chissene importa 😀
Riesco, riusciamo in qualche modo a finire di preparare le nostre borse e per le riusciamo a partire, con la nostra mitica Panda, alla volta dell'aeroporto di Fiumicino; dove ci aspetta la piccola sorella che si terrà la Panda.
Ceniamo in aeroporto per quasi " 'na piotta", anche se poi, a bordo, troveremo la cena, che, ovviamente, dovremo rifiutare.
Alle 23 circa il nostro volo (ET713, FCO - ADD) parte ... 😁

domenica 25 maggio 2025