Guys, a great initiative:
via: http://news.ycombinator.com/item?id=2519248Braben has developed a tiny USB stick PC that has a HDMI port in one end and a USB port on the other. You plug it into a HDMI socket and then connect a keyboard via the USB port giving you a fully functioning machine running a version of Linux. The cost? $25.