Do Deep Nets Really Need to be Deep? [pdf] | Hacker News Reader