I booked the name http://www.ditp.org http://www.ditp.org for it, but nothing is published yet. Here you have some more info [http://news.ycombinator.com/commen

I booked the name http://www.ditp.org http://www.ditp.org for it, but nothing is published yet. Here you have some more info [http://news.ycombinator.com/comments?id=21287] http://news.ycombinator.com/comments?id=21287]