Visualizzare e scrivere le emoji con la tastiera in Linux

Le emoji sono le famose faccine nate originariamente in Giappone parecchi anni fa, e portate più recentemente al successo da applicazioni mobili come Whatsapp, Facebook Messenger e Google Hangouts. Praticamente chiunque possieda uno smartphone avrà usato almeno una volta la faccina sorridente ☺,  il pollice in su 👍 o, perché no, anche la “cacchetta” 💩.Continua a leggere “Visualizzare e scrivere le emoji con la tastiera in Linux”

Installare ed utilizzare i font Latin Modern su LyX

LyX è una applicazione con interfaccia grafica per la redazione di documenti. Utilizza un proprio formato di file, ma è essenzialmente basato sul motore LaTeX e dipende da esso per funzionare. Tale tecnologia, oltre ad essere software libero, è anche lo standard utilizzato per le pubblicazioni matematiche e più in generale scientifiche. In occasione delContinua a leggere “Installare ed utilizzare i font Latin Modern su LyX”

Nouveau e i freeze di Xubuntu 14.04

Di recente ho avuto problemi con due differenti PC aventi entrambi Xubuntu e una scheda Nvidia. Il primo è il mio PC fisso di casa, ormai con qualche annetto, e recentemente è stato aggiornato a Xubuntu 14.04. Va perfettamente, alla faccia dell’obsoleto Windows XP con cui era nato. L’altro è un PC di GrappaLUG, sempreContinua a leggere “Nouveau e i freeze di Xubuntu 14.04”

ShareLaTeX è diventato open source

LaTeX è una tecnologia libera e open source che consente di creare pubblicazioni di qualità professionale a qualsiasi livello, dai CV ai libri, passando per le tesi di laurea e le pubblicazioni scientifiche. In particolare, la stragrande maggioranza — probabilmente più del 90% — dei libri universitari di matematica e informatica vengono scritti usando questaContinua a leggere “ShareLaTeX è diventato open source”

Script per Rai Replay 8.0: breve lista dei cambiamenti

Oggi ho rilasciato la versione 8.0 del mio script che permette di guardare i video della Rai (e scaricarli) anche con Linux. Ci sono stati diversi cambiamenti, molto “sotto al cofano”, ma in breve si possono riassumere nelle seguenti novità: La gestione di Rai Replay è stata completamente ripensata. Ora c’è una componente lato serverContinua a leggere “Script per Rai Replay 8.0: breve lista dei cambiamenti”

Scaricare i contenuti audio e video presenti nelle pagine web — Guida completa

Premessa: ho impiegato mesi per lavorare a questo articolo, rivedendo in continuazione le idee di cui parlare e valutando come dare i consigli nel modo migliore possibile. Questo post racchiude quindi numerose informazioni e potrebbe richiedere più di una lettura per assimilarle tutte. Ormai 6 anni fa avevo scritto un articolo che continua ad essereContinua a leggere “Scaricare i contenuti audio e video presenti nelle pagine web — Guida completa”

Aggiungere rapidamente software a una distribuzione live sfruttando i pacchetti Slackware

Ultimamente mi capita con una certa frequenza di utilizzare delle distribuzioni live, in particolare quelle dedicate al recupero dati. Possiedo una chiavetta che ho creato appositamente, contenente una decina di dischi di ripristino e distribuzioni dedicate, chiamata Lemur Toolkit. Nota: so di avervi promesso il tutorial su come crearla, però poi ci sono stati inContinua a leggere “Aggiungere rapidamente software a una distribuzione live sfruttando i pacchetti Slackware”

Ex script per scaricare da La7.tv diventa script per La7.it

Mi avete scritto in tanti per segnalarmi che lo script che avevo messo a punto per il vecchio sito La7.tv non era più utilizzabile per il nuovo portare La7.it. In effetti l’emittente non ha semplicemente modificato il proprio sito, l’ha totalmente rimpiazzato con uno nuovo. Venerdì ho finito gli esami, perciò oggi ho potuto dareContinua a leggere “Ex script per scaricare da La7.tv diventa script per La7.it”

Spotify rimuove il limite di 10 ore mensili e introduce la riproduzione casuale gratuita per cellulari

Spotify è uno dei maggiori servizi di streaming musicale legale e gratuito in circolazione, con in più la possibilità di pagare per alcune funzioni premium. Io personalmente ne sono diventato un avido utilizzatore fin da quando mi ero trasferito in Danimarca (dove è attivo da anni) per l’Erasmus, mentre in Italia è stato introdotto solamente aContinua a leggere “Spotify rimuove il limite di 10 ore mensili e introduce la riproduzione casuale gratuita per cellulari”