Hacker News

1.		Verifying ARM processors against the official ARM specification (alastairreid.github.io)
		53 points by jsnell 1 hour ago \| hide \| 3 comments
2.		Let's Encrypt now fully supports IPv6 (letsencrypt.org)
		265 points by el_duderino 6 hours ago \| hide \| 103 comments
3.		Skully has crashed and burned (techcrunch.com)
		54 points by prateekj 2 hours ago \| hide \| 17 comments
4.		Employee #1: Apple (themacro.com)
		164 points by craigcannon 5 hours ago \| hide \| 40 comments
5.		New attack that cripples HTTPS crypto works on Macs, Windows, and Linux (arstechnica.com)
		131 points by kcorbitt 5 hours ago \| hide \| 37 comments
6.		Show HN: Web Design in 4 minutes (jgthms.com)
		1050 points by bbx 6 hours ago \| hide \| 107 comments
7.		Surround 360 is now open source (facebook.com)
		81 points by samber 5 hours ago \| hide \| 14 comments
8.		Central bank digital currency: the end of monetary policy as we know it? (bankunderground.co.uk)
		45 points by avyfain 4 hours ago \| hide \| 19 comments
9.		Healthy clones: Dolly the sheep's heirs reach ripe old age (reuters.com)
		36 points by benologist 4 hours ago \| hide \| 9 comments
10.		Startup School 2016 applications are open (ycombinator.com)
		54 points by shayannafisi 4 hours ago \| hide \| 15 comments
11.		iPhone, iPad and Mac sales are down, but Apple only cares about services now (techcrunch.com)
		33 points by zhuxuefeng1994 1 hour ago \| hide \| 45 comments
12.		One-sentence proof of Fermat's theorem on sums of two squares (fermatslibrary.com)
		55 points by lourencoo 4 hours ago \| hide \| 26 comments
13.		Preliminary NTSB report on Tesla crash (ntsb.gov)
		50 points by Animats 2 hours ago \| hide \| 65 comments
14.		Learning how to program in Oman in the 90’s (vivin.net)
		5 points by vivin 1 hour ago \| hide \| discuss
15.		Java REST framework Dropwizard 1.0 released (dropwizard.io)
		117 points by donselaar 4 hours ago \| hide \| 35 comments
16.		How Do We See Art: An Eye-Tracker Study (2011) (nih.gov)
		16 points by sebg 3 hours ago \| hide \| 3 comments
17.		Driverless Cars Threaten to Crash Insurers’ Earnings (wsj.com)
		66 points by jseliger 5 hours ago \| hide \| 98 comments
18.		Rigetti (YC 14) is hiring SEs to build quantum computing design tools (lever.co)
		1 hour ago \| hide
19.		Hijacking YouTube to transmit your data (banmeihack.wordpress.com)
		24 points by adamnemecek 2 hours ago \| hide \| 3 comments
20.		Procedural world generation: C++11 library with highly customizable API (github.com)
		9 points by eiskalt 1 hour ago \| hide \| 2 comments
21.		Why Uber Engineering Switched from Postgres to MySQL (uber.com)
		496 points by myhrvold 6 hours ago \| hide \| 202 comments
22.		React in patterns (github.com)
		118 points by rzky 9 hours ago \| hide \| 37 comments
23.		Mobileye split with Tesla spurs debate on self-driving tech (reuters.com)
		10 points by wibr 2 hours ago \| hide \| 3 comments
24.		Ask HN: Why isn't there a professional body for Computer Science?
		12 points by o_safadinho 2 hours ago \| hide \| 15 comments
25.		Unreal Engine 4 on OpenPOWER (raptorengineering.com)
		53 points by amock 5 hours ago \| hide \| 17 comments
26.		Power in the Age of the Feudal Internet (collaboratory.de)
		135 points by zby 10 hours ago \| hide \| 52 comments
27.		Dune: Safe User-Level Access to Privileged CPU Features [pdf] (stanford.edu)
		8 points by ingve 1 hour ago \| hide \| discuss
28.		FaRM: Fast Remote Memory (carlosgaldino.com)
		30 points by carlosgaldino 5 hours ago \| hide \| 1 comment
29.		Making Sense of Everything with words2map (yhat.com)
		30 points by lmcinnes 5 hours ago \| hide \| 9 comments
30.		Show HN: EventQL – Open-source distributed SQL analytics database in C++11 (github.com)
		69 points by paulasmuth 7 hours ago \| hide \| 16 comments
		More