HN Top Links - Popular Stories from Hacker News

12001.

Isabelle - Generic Proof Assistant (cl.cam.ac.uk)

2 points by dbpokorny on Jan 24, 2013 | 0 comments

12002.

Dear ICO: disclose Sony’s hash algorithm (lightbluetouchpaper.org)

2 points by jessaustin on Jan 24, 2013 | 0 comments

12003.

Building a Game Library: steps, design decisions, sacrifices. Part 1 (icoderogue.com)

2 points by lza on Jan 24, 2013 | 0 comments

12004.

Climate Change - Counter Movements (independent.co.uk)

2 points by TapaJob on Jan 25, 2013 | 0 comments

12005.

Emails From Steve Jobs Put Apple At The Center Of Wage Fixing (businessinsider.com)

2 points by bmj1 on Jan 25, 2013 | 0 comments

12006.

DIY Bioprinter Lets Wannabe Scientists Build Structures From Living Cells (wired.com)

2 points by replicatorblog on Jan 25, 2013 | 0 comments

12007.

Pentagon Watchdog Clears Darpa in Ethics Probe (wired.com)

2 points by swohns on Jan 25, 2013 | 0 comments

12008.

Is my computer on? (ismycomputeron.com)

2 points by songzme on Jan 25, 2013 | 0 comments

12009.

AOL Is Sunsetting QLabs (betabeat.com)

2 points by swohns on Jan 25, 2013 | 0 comments

12010.

ASk HN : Let's guess what features GitHub would release tomorrow ()

2 points by sideproject on Jan 25, 2013 | 0 comments

12011.

Senator Unveils Bill to Limit Semiautomatic Arms (nytimes.com)

2 points by brianchu on Jan 25, 2013 | 0 comments

12012.

We Don't Need Facebook For Dogs (forbes.com)

2 points by volandovengo on Jan 25, 2013 | 0 comments

12013.

Here’s My Effing Resume (thoughtcatalog.com)

2 points by kine on Jan 25, 2013 | 0 comments

12014.

The more-certain future of Aquarius, the last undersea science lab (boingboing.net)

2 points by bane on Jan 25, 2013 | 0 comments

12015.

Belkin helps Cisco exit consumer space, acquires Home Networking division (thenextweb.com)

2 points by bane on Jan 25, 2013 | 0 comments

12016.

Will we ever find out what happened to Flip Video? (2011) (jseliger.wordpress.com)

2 points by jseliger on Jan 25, 2013 | 0 comments

12017.

Live Stream of AngelHack Global Demo Day (ustream.tv)

2 points by configuredcat on Jan 25, 2013 | 0 comments

12018.

Rise of the Drones (video.pbs.org)

2 points by Fundlab on Jan 25, 2013 | 0 comments

12019.

The Moves app tracks your steps from the iPhone (techcrunch.com)

2 points by jpadilla_ on Jan 25, 2013 | 0 comments

12020.

Vine Just Made Twitter A Stronger Social Network (techcrunch.com)

2 points by iProject on Jan 25, 2013 | 0 comments

12021.

Tim O'Reilly: "Why we spun out Maker Media" (radar.oreilly.com)

2 points by follower on Jan 25, 2013 | 0 comments

12022.

2013 CSS Wishlist (css-tricks.com)

2 points by joeyespo on Jan 25, 2013 | 0 comments

12023.

Cuba first high-speed Internet connection activated (bbc.co.uk)

2 points by goodcanadian on Jan 25, 2013 | 0 comments

12024.

Twitter's Vine App Ready To Bomb Internet With GIF-Like Videos (tech.slashdot.org)

2 points by anantzoid on Jan 25, 2013 | 0 comments

12025.

Government Persecution, From Aaron Swartz to Bradley Manning (thenation.com)

2 points by sc68cal on Jan 25, 2013 | 0 comments

12026.

Canada announces new startup visa program to attract entrepreneurs (thenextweb.com)

2 points by DavidChouinard on Jan 25, 2013 | 0 comments

12027.

Scalability For Dummies [Four parts] (lecloud.net)

2 points by Jagat on Jan 25, 2013 | 0 comments

12028.

In Support Of Maven (theexceptioncatcher.com)

2 points by monksy on Jan 25, 2013 | 0 comments

12029.

Ubuntu Phone: Community Driven and Designed Core Apps (jonobacon.org)

2 points by zorlem on Jan 25, 2013 | 0 comments

12030.

Why Backslashes are not Slashes (lemis.com)

2 points by brudgers on Jan 25, 2013 | 0 comments