Page by tags with no plugins

I wanted to have a menu voice in the top bar for listing all the post tagged with particular word.

You can do it easily without the need of external plugins just by going to:

and adding the url that automatically searches blog posts based on a particular tag, and then add it to the menu and check the menu sections like shown in this image.

Schermata 2013-04-27 alle 19.45.05

Hope it helps.

An Interactive Environment for the Didactical Manipulation of Programs


Here is my work of the last 4 months.


Download PDF Thesis here


Video embedded in presentation


(To run it locally on your machine, you have to install Google App Engine for Python [which you can find it here at time of writing ] and then launch the google app engine program and ‘add existing…’ which will be the content of the zip from above, and press play to run it locally)

Web app

This work has been referenced in

and in

BloP: easy creation of Online Integrated Environments to learn custom and standard Programming Languages (Stefano Federici, Elisabetta Gola,università di cagliari, Italy)

at siremsiel2014  (sirem – sie – l 2014 )

Mac Mini 4,1, Mac Os X Mountain Lion, HDMI sound not working: Solved.

I’ve had this problem since the first use of Mountain Lion. With Snow Leopard everything worked without problem, except for stuck volume controls (this is why I moved to Mountain Lion).
I searched, over many seas, a solution to this common problem: someone call the apple customer care, some others install modified kexts. I did nothing of the above. Here I show a really simple workaround to start again using your HDMI audio. Keep reading.

My Mac Mini 4,1 is connected via HDMI to my ASUS 22″ 1080p monitor.
When you press option+click on the volume control you’ll see a list of available devices to output your audio. If you have a setup similar to mine, you then have headphones and HDMI monitor option listed. Like this image shows.
0If you select your HDMI monitor, selection goes to the headphones automatically, and also does your audio. Pretty disappointing! It will be more fair not showing me that option!
But let’s move on.

Give a CTRL-Space to open Spotlight and search for midi audio, like this:


In this panel we can see what’s going on in our Mac, you know how they say:



So here is the panel, you’ll se headphones option, and also HDMI. If you click on HDMI and then select Configure button on bottom-right, you’ll be amazed to know that audio works by testing left and right channel!!! Why do they don’t work normally by default then? The answer is: I don’t know!


So what’s next? Hit the plus button bottom-left and then add a combined device(translations may vary)
5And select with device use with this new device. In my case I want audio to go only via the HDMI port, so I checked that. Then right-clicked this new device and told it to be the default one for audio (you can change this also with option+click on volume control). Be sure to have 44100Hz selected (option that worked for my setup).


This is another shot, a useless one, but I can’t just throw it in the bin…it’s always a creation of mine, you know what I mean?

Let’s sums things up: this new device lets you use you HDMI monitor to play audio like it did before. You can personalize your menu, renaming device, hide others, but this is not the point of this post.
Here’s the result:
1And it works like a charm! Without calling Apple Geniuses, installing modified kext (dangerous) and other tricks!
I hope this was somewhat useful to you.
Let me know how it goes, or better solutions in the comments below!
Thanks for your time.

Update on shell-fm

Today I found another excellent, really really excellent web interface! It is based on ruby, sinatra and jquery!
you can find it here:

I’ve installed git, ruby and sinatra on my raspberry pi , created the config.yml file and I was good to go!
(shell-fm was already installed on my r-pi following my precedent blog post)
Look here! Isn’t it nice? There’s also Album cover!!!
Nice work!Image

Aliases in Google Chrome

google chrome logo

google chrome logo

Tired of typing a URL or too lazy to use bookmarks?
Open your favourite browser (Google Chrome for sure) and type this URL once for all:


Then get rid of all the useless URL you may have collected there and add the ones that you need and specify an alias for each one of them, so that the next time you want to go to GMail you simply do as follows:

hit ⌘-L , type gm and press enter.

Without moving your finger from the keyboard.

This is possible due to the real feature of aliases for search engines, like Bang word in DuckDuckGo. Here is an example of my aliases:

is Command (cmd) key on macs, ctrl key in other systems.
lets you jump straight to the address bar.

Ubuntu, Linux and Wi-Fi problems on an HP laptop

Long time ago I was testing fedora with the ‘new’ version of gnome, gnome3, when suddenly when I was playing with wireless controls, my wifi module won’t go ‘up’, like technicians say. The error was something like

wireless is disabled by hardware switch

and in fact, no light on my pavilion turned on to tell me that wifi is on. No luck with pressing the hardware button to turn wifi module on.

At the time I searched on the interweb and found pretty much nothing, except someone that issued iwconfig commands without getting any farther.

Wireless worked with windows xp (it’s an old old laptop) but not with ubuntu or fedora or others and I didn’t understand why, and since I didn’t have so much free time on my hands I gave up.
Until today.
Now with ubuntu 12.04 I thought things will be different: nope! (It’s chuck testa!)
I did another search and found that this little piece of old electronics (wifi module) has a little switch inside it, maybe is something software, but it was set to be always off at computer start up, only windows could, in some way, turn it on. BIOS settings obviously didn’t help me.
So, what you have to do is download HP Wireless Assistant (for windows), install it, reboot into windows, go to ‘properties’, be sure to check all checkboxes to allow you to modify the state of the wifi module, and finally ‘activate’ your module(activate, not disabled but on), and now when I boot into ubuntu I can finally be online!
A few images showing what result might look like.

Wubi, Ubuntu 12.04, Gnu Grub

So here we are, Ubuntu 12.04! Well, let’s try it out, I’ve said to myself. Great impovements, fresh GUI with fresh Unity and so on…

But, if you install it from windows with wubi, at next reboot you find a gnu grub terminal waiting for you to type commands in.

Why is this happening might be a mystery, also if you’ve successfully installed ubuntu via wubi in the past, maybe with the help of my precedent post here .

Grub can’t understand what to load because we have the wrong wubildr files from past installations of ubuntu with wubi. Have you installed ubuntu or similar with wubi in the past, don’t you?

Well I’ve managed to solve the problem quite easily. Here’s how I’ve done it.

First if you’re stuck on gnu grub shell, give it a ctrl-alt-canc(or delete depending on where you live) and then boot into windows and log in with your amministrator account, to be sure that windows will let you open reserved partitions.
Next, press the start icon and type “disk management” to enter the utility for managing disk and partitions.

Here you can find the hidden partition, named with something like “System reserved”. Right click on it and select “Change letter…..” and then press add button and give this partition a letter unit.

Doing so you can enter that partition and remove all wubildr files that you previously put there.(cleaning part)

Once you’ve removed those file, go to your ubuntu installation folder and search a folder named winboot and copy all files inside it and paste them in the hidden partition where there was the “same” files for the old installation.(update part)
Now you can decide to simply reboot and start using ubuntu without the gnu grub prompt, or if you want, remove the letter from the partition to hide it again.

And we’re done. Yes, nothing complicated, no magic scripts, no plain installations, or formatting of hard disk as I saw as “advice” in linux forums. Just this easy 5 steps. And by the way, it’s not all fault of ubuntu, but as usual, well, you can imagine it who as a big part in this 🙂 .

I hope it helped you, and I leave you here with a screenshot taken during the process.


UPDATE: where do this system partition of 100 MB come form?
Here’s the answer! A screenshot of the installation process of windows 7