-
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 -
“Smart: inchiesta sulle reti” di Frédéric Martel, è un libro uscito da poco che mi sento di consigliare.
"Internet non appiattisce affatto il mondo. Semmai è il mondo a nutrire la Rete di complessità, diversità, ricchezza, tanto che sarebbe opportuno parlare ormai di reti, al plurale. "
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 -
!Questo articolo esce in contemporanea con il re:Invent event di Amazon!
Su queste pagine siamo stati abbastanza scettici sul cloud anni fa. Il costo del cloud nel frattempo si è abbassato, i servizi “turnkey” sono diventati più numerosi e la concorrenza ha migliorato le cose. Il PaaS ed il cloud sono quindi entrati nella piena maturità.
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 -
Estate. Io e mio figlio scendiamo dall'appartemnto in affitto al mare. A piano terra, davanti al pianerottolo prima di uscire c'è un signore sui cinquant'anni in calzoncini corti, calzetti, una borsa aperta per terra, una bottiglia d'acqua per terra.
Mio figlio si avvicina e si presenta:
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 -
La pediatra ci guarda e poi con un tono di voce comprensivo dice
-Sì il periodo dei terrible two dura finoai sei anni
-Mi scusi non ho sentito può ripetere?
-Ehm…Sei anni - sguardo di compassione empatica da parte della pediatra, che di figli ne ha due.
Ok, niente panico: ci sono qua io, care e cari ex-single, ora genitori in carriera.
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 -
Care e cari single, così avete trovato un partner e per risollevare il PIL, avete deciso di avere un bebé? Grandi!
Poiché più di un amico ha appena avuto pargoli, dall’alto della mia enorme esperienza (2 figli, 1 moglie, 7 computer, 2 iPad, 1 blog) vi dirò quello che ho scoperto tra scornate, urla dei miei e suggerimenti del suocero.
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 -
"The most dangerous phrase in the language is, We’ve always done it this way" - Grace HopperI am a very happy owner of a RaspberryPi Model B 2, a quad core ARMv7 computation unit for a price between 45 and 35 €.
If you plug only a network cable it can be powered by a USB port of your router (!avoid putting on it other USB stuff, because the energy drain can be too much).
RaspberryPI is a perfect all-time-running machine, just follow this smart guide…
Read More -
Erlang è un linguaggio a mio avviso sottostimato, che ha parecchie cose da insegnare ai vari Scala/Rust/Java(Script) out of there… In particolare ci sono un insieme di feature di Erlang che prese singolarmente non sono difficili da comprendere e implementare, ma è l’insieme delle idee fondanti di Erlang che lo rende assai diverso dagli altri.
Read More
