Hacker News stories for 3 AM on Tuesday Dec 25, 2012

0.717 A thorough guide to overclocking your Raspberry Pi comments