-
Tonight I stubled upon PropEr, a Property based testing tool for Erlang. It seems a very smart idea: instead of writing a single unit test, you write a set of properties your code must satisfy.
From the site:
A property-based testing tool, when supplied with this information, should randomly produce progressively more complex valid inputs, then apply those inputs to the program while monitoring its execution, to ensure that it behaves according to its specification, as outlined in the supplied properties.
QuickCheck is the father of PropEr: give a try to thw wikipedia page to see if your language is supported and start a new way of doing…Test Driven Developement!
Read More -
Do you have cygwin base install right? So no dos2unix…you can convert a windows file to unix format with a small tr command like
tr -d '\\
15\\32' < winfile.txt > unixfile.txtI prefer the awk way of life:
[bash] awk ‘{ sub("\r$", ""); print }’ winfile.txt > unixfile.txt awk ‘sub("$", "\r")’ unixfile.txt > winfile.txt [/bash]
Read More -
Org Mode Parser 0.1.1 is OUT
Oct 9, 2015 · 1 min read ·
Hi all,
I have released version 0.1.1 of org-mode-parser for nodejs
Org mode parser is a parser for reading Emacs org-mode files in nodejs.
This version has been ported to VisualStudio Community Edition 2015, so you can develop easily under windows too (but only if you really want :)
Read More -
Expo 2015 will close at the end of October. Because I enjoied it a lot, I’d like to give you some advice on Expo, Milan and Italy.

First of all, buy ticket on line and grab a map once in. The Mobile application suck a bit, so I preferred a paper map (I am too much analogic?).
Read More -
Okey, you know Oracle. A very good database, a very old database, a very solid rock. Not famous for its error messages. I have already stumbled upon a misleading error on the old rock.
This error anyway is incredible. If you try to push a very long text in a varchar2, you can end up with a
Read More -
Another subversion repository
Wellcome in 2002 subversion users!
Some very old and stable customers has just discovered Subversion. Bad luck: a lot of cool open source software are on git already!
You can leave them with the old-as-your-grandpa subversion system, but you can develop with git in your local directory…
Read More -
This small guide will help you to increase the security of your raspberry and transform it in a 24x7 running server.
Security in place
Here a small check list with external references:
- Change pi password.
- Disable SSH Password Authentication and Root Login. Root login should be already disabled on recent distributions.
- Consider installing remote logging. Siemless is a cloud based service which will load all you logs via a vpn, and provide a raspberry-pi guide too.
- Configure a firewall
For ease of use, I suggest putting in place webmin:
Read More -
After my two children grow a little, I have some spare time to play with RaspberryPi. I have bought a Raspberry Pi 2 Model B, a very neat and compact machine with 1GB of RAM, and a quad-core ARM chip on it.
I was looking for an easy-to-carry unix box, and I was wrong: raspberry pi can be a lot more than that.

Read More -
Erlang: a lesson to learn…again!
Jun 25, 2015 · 5 min read ·Erlang is a great language.
[2019-UPDATE] Erlang 22 is OUT, so I wanna to come to the party!
On April 2015, Erlang father’s Joe Armstrong give us a very interesting lesson I want to tell about.
There was a long thread titled “Erlang and Akka, The Sequel” on the erlang mailing list, reasoning about the need of some standard pattern on Promises and Future. A lot of JavaScript libraries deal about that (also jQuery has its implementation). I want to report the Joe Amstrong reply because it give us a very clear understanding on the reason Erlang is different and you should at least try it once.
Read More -
Arduino Stereo sid
Apr 6, 2015 · 1 min read ·
Arudino StereoSID emulates the SID sound chip of the famous Commodore 64. It is based on the Atmega8 MOS6581 SID Emulator from Christoph Haberer. Library conversion and memory optimization by Mario Patino. Stereo Effect by Giovanni Giorgi
-
Debian perfect work environment
Sep 28, 2014 · 3 min read ·
Working in a big company, my work laptop came with MS-Windows7 Enterprise installed. But as you imagine, Unix is my preferred desktop environment. So let’s how to configure a perfect Debian Linux for a old wolf consultant like me. You will be able to install commercial software mubmo jumbo like Oracle Express and IBM Websphere in a snap, and have a 64 rock solid system, easy to bring in a USB stick if you like.
Read More -
Sometimes you are behind a http proxy, and the git:// protocol is not accessible.
For instance on erlang rebar, all developers prefer the git:// protocol when listing dependency. But how to fix it if you are behind a http proxy?
Ask help to git… [bash] git config –global url.https://github.com/.insteadOf git://github.com/ [/bash]
Read More -
Let it go, let it go! Can't hold it back any more. Let it go, let it go! Turn away and slam the door. ... Let it go, let it go. I am one with the wind and sky. Let it go, let it go. You'll never see me cry.
Read More -
[bash] git fsck –full –unreachable [/bash]
-
Web service interoperability is a nightmare. But it is easy to understand what is going on: just enable debugging! On Axis2, you can do it with the folowing java options…
[bash] -Dorg.apache.commons.logging.Log=org.apache.commons.logging.impl.SimpleLog -Dorg.apache.commons.logging.simplelog.showdatetime=true -Dorg.apache.commons.logging.simplelog.log.httpclient.wire=debug -Dorg.apache.commons.logging.simplelog.log.org.apache.commons.httpclient=debug [/bash]
