Category Archives: Nerd

Letti? Dove andiamo noi non c’è bisogno di letti.

Anche per questo semestre, la nostra buona (???) notte in dipartimento a lavorare l’abbiamo fatta. Ho quasi difficoltà a credere di aver passato le ultime otto ore ad inserire dati in Excel, per poi darli in pasto a Matlab, ma tant’è. Per fortuna che ho scelto di fare teoria (per quanto molto applicata/applicabile), perché fare [...]

On film scanning

Learning how to use a film scanner is not hard but really time-consuming. You have to try different pieces of software, read documentation, read blogs and forums and group discussions on flickr, ask other people and, eventually, scan scan scan. I bought my Epson Perfection V700 in September, tired of shooting a lot of film [...]

Facebook Chat

Una volta mi capitavano su IRC. MR: mmh temo che questo yoghurt sia andato MR: come saperlo? ET: assaggia MR: lo temo perché l’ho assaggiato MR: da cosa dovrebbe sapere? MR è yoghurt greco, quindi è un po’ acido di suo MR: però boh. MR: questo si è fatto due viaggi casa-dipartimento-casa MR: però sempre [...]

P, NP, and Goedel

Some time ago I had the “intuition” that there should be a connection between Kurt Goedel’s Incompleteness Theorem and the P=? NP question. I never found the time to look at the literature on that, but eventually Suresh posted a short summary of a tutorial held at FOCS this year. It’s a nice, short, and [...]

Trying the omnifeed WordPress plugin

Using the omnifeed WordPress plugin, I managed to “import” the posts from my very old blog: they are now on the new page Vespaio (beware, it’s all in Italian). Anyway I find it unbelievable that there is no way to import RSS 1.0 (RDF) feeds into WordPress (you can only import RSS 2.0). Maybe in [...]

Elements of Ph.D., Volume 5

Hubris’ Prediction (no false negatives known) : The moment your advisor says you did a good job, you will stop doing anything for a week.

Geoloc Test

Test…. Update: Yes, it worked now. Good.Posted from Providence, Rhode Island, United States.

Geekiest

I am a geek and I am trying the new WP for Android with geolocation. Update: It didn’t work. Is this a problem of the theme I’m using? Maybe. Update2: It worked (but setting the location to San Diego, CA (I’m not there)) when updating the post from my desktop. More updates to come.Posted from [...]

From Android

This is just a test post to try the WordPress app for Android…it works!

Mobile version

While looking at my stats, I saw that someone tried to read my blog using an iPhone. Since mobile users are becoming a bigger and bigger fraction of web users (I got an Android myself too) I decided to install a WordPress mobile plugin and ended up choosing WordPress Mobile Edition (no particular reason: it [...]