Pubblicati da Davide

Markdown: Guida Completa 2018

Markdown è un linguaggio di markup leggero, creato nel 2004 (e lasciato lì) da un tizio chiamato John Gruber. Data l’età e l’apparente abbandono, sembra inspiegabile come molti siti supportino Markdown; esempi rilevanti sono: GitHub; BitBucket; Reddit; Stack Exchange; Facebook (parzialmente). Più alcuni software importanti come Slack e WhatsApp, che usano qualche piccola cosa che […]

Memoria Virtuale: cos’è e come funziona?

Nello scorso articolo sulla gestione della memoria, ci siamo lasciati accennando alla segmentazione con paginazione, e dicendo che per parlarne avremmo prima dovuto affrontare la memoria virtuale. Il che è corretto, perché per capire come funziona la segmentazione paginata, dobbiamo conoscere almeno a grandi linee la memoria virtuale. In questo articolo non andremo molto sul […]

Gestione della Memoria in un Sistema Operativo

La gestione della memoria principale (RAM, primaria, o come vogliamo chiamarla) è uno degli aspetti più importanti dei sistemi operativi. Come tutte le risorse di un computer, anche la RAM deve essere gestita secondo i soliti principi di equità e prestazioni. In particolare, la gestione della memoria deve: Essere economica (basso overhead); Massimizzarne l’uso. Detto […]

Splash Screen in Android: come crearle (bene)

Alzino la mano le persone a cui piace aspettare. Quante mani alzate? Nessuna, o comunque poche. A nessuno piace aspettare. In particolare, nel mondo della tecnologia ci piace avere tutto a disposizione nel minor tempo possibile. Guai a far aspettare all’utente del tempo inutile. Lo fai incavolare. In una guida sulla Technical SEO mostro una […]

Introduzione allo Stack TCP/IP

Se ti interessa l’argomento reti, sicuramente hai incontrato almeno una volta il termine TCP/IP, insieme ad almeno uni di questi altri: Stack protocollare; Suite di protocolli; TCP, UDP, IP; Modello TCP/IP; Modello ISO/OSI. Volendo possiamo aggiungerne altri. Ciò che li accomuna è questo: tutti hanno a che fare con l’argomento di questo articolo, ovvero la […]

SumoMe Share: La Guida Coccolosa per Rimuovere il Badge

Quell’icona grossa, blu, ingombrante. È proprio necessaria? Sì, potrebbe. Questo dipende da cosa abbiamo bisogno. Quel pulsante ha una doppia funzionalità: Mostrare altri servizi di condivisione; Pubblicizzare SumoMe. Guardiamo questa situazione. In questo caso abbiamo messo in evidenza tre soli pulsanti di condivisione. Cosa succede se l’utente clicca sulla corona di SumoMe? Esatto. Gli comparirà […]

Google Docs: Impostare Font Predefiniti (in 30 secondi)

Arial a 11pt? Si, è bello, ma non piace a tutti. Ad esempio, a noi due non piace tanto, e cerchiamo un modo per cambiarlo. Visto che siamo molto fortunati, Google Docs ci permette di farlo. In sostanza possiamo definire delle combinazioni di stile predefinite, che verranno caricate per ogni documento. Questo significa che oltre […]

Windows: spostare le Cartelle Personali e metterle al Sicuro

Prima di iniziare, facciamo chiarezza su cosa stiamo parlando. Per cartelle personali, intendo quelle che in lingua anglosassone vengono spesso chiamate “My” Folders, ovvero quelle che iniziano con “My”. Queste directory sono, infatti: My Documents; My Music; My Videos; My Pictures; My Downloads. Che nei sistemi Windows tradotti in italiano, corrispondono a: Documenti; Musica; Video; Immagini; […]

Frammentazione: Come Peggiora le Performance

La frammentazione è un fenomeno inevitabile su Windows. Perchè ho specificato su Windows? Perchè su Linux e Mac, che usano filesystem diversi, la frammentazione viene ridotta nativamente. Windows, invece, non ha nessuna contromisura alla frammentazione, ed inevitabilmente dopo alcuni giorni di utilizzo, i file vengono frammentati sul disco. Per mostrarti come, quando, e perchè, facciamo […]

Selettori CSS3: La Guida Completa

Cos’è un selettore? Abbiamo la nostra pagina HTML. Bene. Come sappiamo, questa pagina è formata da vari blocchi che chiamiamo tag. Quando andiamo a creare il nostro CSS, sostanzialmente definiamo lo stile per questi tag. Come facciamo, ad esempio, a dire al browser di formattare quel paragrafo in un particolare modo? Lo specifichiamo nel CSS. […]