Senior researcher at Fondazione Bruno Kessler leading the ICT4G group

Nginx Rewrites

Written on: Wed, Dec 20, 2017

Nginx rewrite rules allows one to specify how URLs have to be redirected.

Nginx Locations

Written on: Wed, Dec 20, 2017

This note contains some of the configuration rules I use on my web server at home. The web server servers content of three different websites.

Basic TeX

Written on: Wed, Dec 20, 2017

BasicTex is an official and greatly simplified version of TeX which ships with the essential stuff only.

Page Titles in Rails Apps

Written on: Mon, Jul 04, 2016

Giving meaningful page titles to distinguish different views is a nice touch you can easily add to your Rails application.

Restoring Keybinding changed by major mode

Written on: Thu, Apr 28, 2016

The Markdown major mode in Emacs binds M-<right> and M-<left> to markdown-demote and markdown-promote, respectively.

Grep in Emacs

Written on: Wed, Apr 06, 2016

M-x grep in Emacs is a great command and I use it quite often.

Please install activerecord-mysql2-adapter

Written on: Wed, Nov 11, 2015

I recently got this error on a Rails 3 application I am working on:

Updated Bookstream

Written on: Sun, Jul 05, 2015

I have updated the bookstream page, adding a timeline (built with Timesheet.js) and some statistics.

Determining the URL of CalDAV Calendars

Written on: Sat, Jul 04, 2015


Simple Email Obfuscator for Middleman

Written on: Mon, Jun 01, 2015

Markdown natively supports mail obfuscation for emails put in angular brackets. However, if you are using a different markup format (most notably Textile), you do not have any specific support.

Using CSV data in Middleman

Written on: Sat, May 30, 2015

Middleman allows you to specify data in yaml format, as explained in the Data Files page. However, certain data is best represented in CSV (comma separated value).

Ruby Command Line Parsers

Written on: Mon, Jan 05, 2015

This is a list of Ruby Gems to simplify parsing of command lines and managing text output.

Emacs CalDav

Written on: Sun, Jan 04, 2015

Using Emacs to manage your Calendar/Diary

One Level Up

Written on: Tue, Dec 30, 2014

I have moved my home page one level up, removing the “home” element in the path.

Reading IMAP Mail in Emacs on OSX

Written on: Sat, Dec 27, 2014



Written on: Mon, Dec 22, 2014


Money and Happiness

Written on: Fri, Dec 12, 2014

I came across If money doesn’t make you happy, then you probably aren’t spending it right, a paper by Dunn, Gilbert, and Wilson and I found it very interesting. You can download it from Science Direct, if you want.

Format a USB key in MS-DOS FAT16 format with diskutil

Written on: Wed, Dec 10, 2014

The Columbus V-900 logger requires a MicroCard formatted using the MS-DOS FAT16 format. The Diskutil application, however, does not allow to specify this format.

Written on: Sun, Nov 16, 2014

If you use Emacs, there are various choices for navigating the file system. This is a recap of the main choices.

Colored Bash Prompt

Written on: Sun, Nov 09, 2014

Color you Bash Prompt

Switching to Middleman

Written on: Thu, Oct 30, 2014

I just switched my homepage from Jekyll to Middleman. The frameworks are very similar and the migration has been relatively painless. The following notes recap the motivations for the switch and what I had to to move to the new framework.

Source Code in Org Mode

Written on: Sun, Sep 28, 2014

To enable execution of ruby code in OrgMode files, put in your .emacs file

Change OSX Terminal Settings from Command Line

Written on: Wed, Jul 16, 2014

Changing fonts and colors should be easy, also with terminals. Alas, neither iTerm2 nor OSX Terminal seem to have an easy way of doing this: you need to define a profile or change some of the options of the current profile. This is often an overkill.

Quick Rising Bread

Written on: Sun, Jul 13, 2014


Running Multiple Services on localhost/Fast Completion

Written on: Mon, Jun 16, 2014

A simple solution to a micro-problem.

Shower Slide Generator

Written on: Thu, Jun 12, 2014

I recently came across the Shower slide generator, which generates nice HTML-based presentations.


Written on: Fri, Apr 18, 2014


Switching to Nginx

Written on: Sat, Apr 12, 2014

Last Friday I switched the web server running on my Mac Mini (MacOS) from Apache to Nginx.

No-Knead Bread

Written on: Mon, Mar 31, 2014


Book about to be released

Written on: Mon, Feb 10, 2014

book cover

Columbus 1.4.1

Written on: Thu, Feb 06, 2014

Columbus 1.4.1 (the viewer of GPS tracks generated by the Columbus tracker) is out.

Columbus 1.4.0 is out

Written on: Sat, Jan 25, 2014

Columbus 1.4.0 (the viewer of GPS tracks generated by the Columbus tracker) is out.

RHoK June Announced

Written on: Tue, May 07, 2013

RHoK is coming back to Trento!

SPM Website

Written on: Wed, Feb 27, 2013

The website of the SPM course is up and running: (updated on May 13, 2016 with the new location).

Written on: Tue, Jan 01, 2013

I just made available a ruby script (and simple layout) to generate photo galleries in Jekyll.

ZURB Foundation

Written on: Sat, Nov 24, 2012

I have migrated the website layout to ZURB Foundation, mainly out of curiosity for the framework.

RHoK Trento Sold Out!

Written on: Sat, Nov 24, 2012

RHoK Trento is sold out!

RHoK Trento

Written on: Fri, Jun 01, 2012

A new website is available about RHoK Trento (link updated on 2012-11-23 to reflect the new location).

New ICT4G Blogs

Written on: Fri, Jun 01, 2012

Follow us on the two new ICT4G blogs dedicated to our applications:

RHoK Trento

Written on: Wed, May 16, 2012


SPM 2012

Written on: Thu, Mar 01, 2012

The website for the 2012 edition of the Software Project Management course is up and running.

RHoK Trento on RAI Radio 2

Written on: Fri, Feb 24, 2012

The regional branch of RAI Radio 2 broadcast, on the 24th of January, an interview with Aaron Ciaghi, Andrea Nodari and myself about RHoK Trento and the activities of the ICT4G unit. (RAI is the Italian public broadcasting company.)

RHoK on the Mozambican Press

Written on: Mon, Jan 09, 2012

newspaper page

Bookstream Page

Written on: Wed, Jan 04, 2012

I have added a Bookstream page, where I’m listing the books I read.

Newspaper “Savana” on the Summer School of ICT

Written on: Tue, Dec 20, 2011

newspaper page

Publications updated

Written on: Fri, Dec 16, 2011

I started refactoring my publication list… You can now find an updated version of my publications that includes the possibility of looking at abstracts and downloading BibTeX entries.

Twitter Bootstrap

Written on: Thu, Dec 08, 2011

I switched the layout of the home page using Twitter Bootstrap. Very nice framework, the migration took a couple of hours (which include: adding a new layout for the front page, learning how to use git branches, migrating the typographical styles from my old css).

RHoK Trento Pictures

Written on: Wed, Dec 07, 2011

The pictures of RHoK Trento are now available on the RHoK Trento Photostream on Flickr.

RHoK Trento Update

Written on: Sat, Dec 03, 2011

Some numbers and data about the first day of RHoK Trento:

RHoK Global Dec. 2011

Written on: Fri, Dec 02, 2011


… New Website!

Written on: Fri, Oct 28, 2011

It’s that wonderful time of the year again!

Book now available

Written on: Mon, Nov 22, 2010

book cover

Book ready to ship

Written on: Fri, Nov 05, 2010

book cover

Kindle DX Latest Generation Screen

Written on: Wed, Sep 22, 2010

I recently upgraded my Kindle DX (the “International” one) to the new Kindle DX Latest Edition. The main driver for switching was the new, brighter screen (50% brighter, according to the Amazon web site).

New Website

Written on: Wed, Jul 21, 2010

I finally decided to update my website.