I Moderni Sistemi Operativi

Impara da zero i concetti dei sistemi operativi

Concepito come strumento per gestire la ramificazione del codice del kernel Linux, Git si è velocemente guadagnato i favori dei programmatori grazie alla sua solidità e alle numerose funzioni, diventando lo strumento di riferimento per il versioning del codice. Tuttavia, soprattutto per i meno esperti, il suo utilizzo non è così immediato e orientarsi tra comandi e opzioni può non essere facile. Questo manuale insegna a eseguire le operazioni fondamentali di Git. Si inizia con una breve guida di installazione per poi approfondire l'uso di Git in locale e in remoto, privilegiando la pratica alla teoria. Vengono in seguito trattati argomenti come la generazione di branch e il merge, la creazione e la gestione di un repository in GitHub e le richieste di fork del codice. Si arriva infine a interagire con un server Subversion, illustrando i concetti e i comandi necessari per convertire un repository SVN in un repository Git..

Lavorare con i sistemi di controllo di versione è un must per chiunque sia coinvolto in un progetto software, programmatori e non. Git è lo strumento più popolare e attorno a esso è stato costruito GitHub, che ne ha valorizzato le potenzialità rendendole accessibili via Web. Tuttavia utilizzare correttamente GitHub può non essere scontato. Partendo dalle basi della creazione di un repository, questo agile manuale mostra come tracciare e organizzare i problemi attraverso l'issue tracker, utilizzare i wiki e scrivere una documentazione accurata. Quindi si passa alla gestione delle versioni del codice, al lavoro tra organizzazioni e team e agli strumenti di collaborazione. Per concludere, viene mostrato come creare pagine web di un progetto su GitHub e personalizzare le impostazioni di un account e di un repository. Una guida semplice ed essenziale per iniziare a usare GitHub in modo efficace e contribuire nelle varie fasi dello sviluppo di software.

La riflessione sulla felicità è una componente strategica di fondo della tradizione filosofica occidentale, che nasce dalla domanda socratica sulla virtú. I filosofi hanno preso sul serio due problemi cruciali, la fugacità e la casualità nella distribuzione dei momenti felici, interrogandosi sulla scelta del modello di vita da seguire, per garantirsi dai colpi della mutevole fortuna, per dare bella forma alla propria esistenza, per meritare il sorriso del destino agli occhi degli uomini o di Dio. Nei percorsi mutevoli che segue oggi l'immaginario della felicità, la progettazione a lungo termine e la complessa problematica della buona riuscita di una vita hanno lasciato il posto ad un fragile edonismo. C'è piu di un motivo per riaprire il confronto con una secolare riflessione..

Il libro è scritto in forma di dialogo galileiano e illustra concettualmente il dibattito sui fondamenti fisici ed epistemologici della meccanica quantistica. Di quest'ultima vengono quindi esplorate tutte le diverse interpretazioni che si sono susseguite nel tempo (dal dialogo tra Einstein e Bohr ai paradossi del gatto di Schrödinger e dell'amico di Wigner, dalla teoria dei molti universi a quella della decoerenza) e le teorie alternative alla sua interpretazione ortodossa, con una particolare attenzione alla teoria di Ghirardi, Rimini e Weber (elaborata all'Università di Trieste) e alla meccanica bohmiana. Il lettore vi troverà inoltre tutti i temi al centro del dibattito sulla meccanica quantistica, dall'entanglement quantistico alla non-località. Completano il testo undici appendici matematiche per il lettore che volesse approfondire rigorosamente le questioni concettuali presentate nel dialogo in maniera più divulgativa. Un libro pensato per chiunque voglia accostarsi con curiosità intellettuale a un dibattito filosofico ancora in corso.