Hacker News

1.		Verifying ARM processors against the official ARM specification (alastairreid.github.io)
		77 points by jsnell 2 hours ago \| hide \| 20 comments
2.		Let's Encrypt now fully supports IPv6 (letsencrypt.org)
		287 points by el_duderino 7 hours ago \| hide \| 124 comments
3.		Skully has crashed and burned (techcrunch.com)
		78 points by prateekj 3 hours ago \| hide \| 36 comments
4.		Employee #1: Apple (themacro.com)
		185 points by craigcannon 6 hours ago \| hide \| 47 comments
5.		New attack that cripples HTTPS crypto works on Macs, Windows, and Linux (arstechnica.com)
		139 points by kcorbitt 6 hours ago \| hide \| 43 comments
6.		Show HN: Web Design in 4 minutes (jgthms.com)
		1094 points by bbx 7 hours ago \| hide \| 111 comments
7.		Central bank digital currency: the end of monetary policy as we know it? (bankunderground.co.uk)
		53 points by avyfain 5 hours ago \| hide \| 24 comments
8.		Surround 360 is now open source (facebook.com)
		88 points by samber 6 hours ago \| hide \| 15 comments
9.		Healthy clones: Dolly the sheep's heirs reach ripe old age (reuters.com)
		41 points by benologist 5 hours ago \| hide \| 10 comments
10.		Learning how to program in Oman in the 90’s (vivin.net)
		12 points by vivin 2 hours ago \| hide \| 4 comments
11.		iPhone, iPad and Mac sales are down, but Apple only cares about services now (techcrunch.com)
		51 points by zhuxuefeng1994 2 hours ago \| hide \| 68 comments
12.		Startup School 2016 applications are open (ycombinator.com)
		59 points by shayannafisi 5 hours ago \| hide \| 17 comments
13.		One-sentence proof of Fermat's theorem on sums of two squares (fermatslibrary.com)
		58 points by lourencoo 5 hours ago \| hide \| 29 comments
14.		Java REST framework Dropwizard 1.0 released (dropwizard.io)
		125 points by donselaar 5 hours ago \| hide \| 39 comments
15.		React in patterns (github.com)
		122 points by rzky 10 hours ago \| hide \| 38 comments
16.		Preliminary NTSB report on Tesla crash (ntsb.gov)
		58 points by Animats 3 hours ago \| hide \| 81 comments
17.		Hijacking YouTube to transmit your data (banmeihack.wordpress.com)
		29 points by adamnemecek 3 hours ago \| hide \| 6 comments
18.		Why Uber Engineering Switched from Postgres to MySQL (uber.com)
		514 points by myhrvold 7 hours ago \| hide \| 209 comments
19.		Mobileye split with Tesla spurs debate on self-driving tech (reuters.com)
		16 points by wibr 3 hours ago \| hide \| 7 comments
20.		How Do We See Art: An Eye-Tracker Study (2011) (nih.gov)
		16 points by sebg 4 hours ago \| hide \| 3 comments
21.		Scala Days Recap and Why the Free Monad Isn’t Free (sharethrough.com)
		4 points by cheezsndwch 1 hour ago \| hide \| discuss
22.		Dune: Safe User-Level Access to Privileged CPU Features [pdf] (stanford.edu)
		11 points by ingve 2 hours ago \| hide \| discuss
23.		Power in the Age of the Feudal Internet (collaboratory.de)
		138 points by zby 11 hours ago \| hide \| 52 comments
24.		Unreal Engine 4 on OpenPOWER (raptorengineering.com)
		55 points by amock 6 hours ago \| hide \| 18 comments
25.		Procedural world generation: C++11 library with highly customizable API (github.com)
		13 points by eiskalt 2 hours ago \| hide \| 3 comments
26.		Rigetti (YC 14) is hiring SEs to build quantum computing design tools (lever.co)
		2 hours ago \| hide
27.		The Future of the Past: Modernizing the New York Times Archive (open.blogs.nytimes.com)
		4 points by tysone 1 hour ago \| hide \| discuss
28.		Making Sense of Everything with words2map (yhat.com)
		33 points by lmcinnes 6 hours ago \| hide \| 12 comments
29.		FaRM: Fast Remote Memory (carlosgaldino.com)
		35 points by carlosgaldino 6 hours ago \| hide \| 1 comment
30.		Show HN: EventQL – Open-source distributed SQL analytics database in C++11 (github.com)
		73 points by paulasmuth 8 hours ago \| hide \| 17 comments
		More