Hacker News new | past | comments | ask | show | jobs | submit login

user: sharkdp created: February 1, 2015 karma: 990 about: http://david-peter.de submissions comments favorites