Property Based Testing Tool

Nov 30, 2015 · 1 min read

·

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!

dos2unix for poor basic unix

Oct 28, 2015 · 1 min read

en knowledgebase · unix

·

Share on:

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.txt

I prefer the awk way of life:

[bash] awk ‘{ sub("\r$", ""); print }’ winfile.txt > unixfile.txt awk ‘sub("$", "\r")’ unixfile.txt > winfile.txt [/bash]

Smart: inchiesta sulle reti

Oct 15, 2015 · 2 min read

it recensioni · internet

·

Share on:

“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. "

Org Mode Parser 0.1.1 is OUT

Oct 9, 2015 · 1 min read

en featured knowledgebase org-mode-parser · nodejs org-mode project

·

Share on:

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 :)

Aws Revenge

Oct 8, 2015 · 3 min read

it · aws cloud-computing

·

Share on:

!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à.

Expo2015 Last minute Guide

Sep 19, 2015 · 1 min read

en knowledgebase · trip

·

Share on:

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?).

Renzi speranza…

Sep 4, 2015 · 3 min read

it lettere-a-mio-figlio

·

Share on:

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:

ORA-01461: can bind a LONG value only for insert into a LONG column

Sep 1, 2015 · 1 min read

en knowledgebase · bad oracle relax sql

·

Share on:

ORA-01461: can bind a LONG value only for insert into a LONG column

Disapprove with me!

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

Terrible Two

Aug 8, 2015 · 2 min read

humor it lettere-a-mio-figlio · vita-da-single

·

Share on:

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.

Get rid of SVN under Windows

Aug 4, 2015 · 1 min read

en knowledgebase · git subversion

·

Share on:

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…

Manutenzione neonati

Jul 29, 2015 · 3 min read

humor it · vita-da-single

·

Share on:

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.

Rasperry Pi 2 Server Setup

Jul 28, 2015 · 1 min read

en

·

Share on:

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:

RaspberryPi 2: The perfect box for your backpack

Jul 21, 2015 · 3 min read

arduino en featured knowledgebase unix-featured · raspberrypi

·

Share on:

RaspberryPi 2: The perfect box for your backpack

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.

RaspberryPi 2 Model B SD Life Extender

Jul 10, 2015 · 3 min read

featured knowledgebase · raspberrypi unix

·

Share on:

I 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…

Recuperare Erlang

Jun 27, 2015 · 3 min read

programming_languages erlang it · erlang good great-ideas

·

Share on:

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.