Hacker News

1.		Verdi – Formally Verifying Distributed Systems (uwplse.org)
		84 points by mindcrime 4 hours ago \| hide \| 5 comments
2.		BayesDB: a probabilistic programming platform (mit.edu)
		21 points by relyio 2 hours ago \| hide \| 1 comment
3.		Benchmarking TensorFlow on Cloud CPUs: Cheaper Deep Learning Than Cloud GPUs (minimaxir.com)
		146 points by myth_drannon 8 hours ago \| hide \| 69 comments
4.		Minimal PDF (brendanzagaeski.appspot.com)
		131 points by ingve 8 hours ago \| hide \| 35 comments
5.		SQL in CockroachDB: Mapping Table Data to Key-Value Storage (2015) (cockroachlabs.com)
		15 points by yinso 2 hours ago \| hide \| 5 comments
6.		Understanding Support Vector Machine via Examples (sadanand-singh.github.io)
		18 points by sadanand4singh 2 hours ago \| hide \| discuss
7.		China's new bridge has revolutionised bridge-building around the world (bbc.com)
		13 points by mudil 2 hours ago \| hide \| 3 comments
8.		Loudness (2007) (chicagomasteringservice.com)
		111 points by mjgoins 13 hours ago \| hide \| 60 comments
9.		A massive volcano that scientists can't find (bbc.com)
		41 points by dimitrov 8 hours ago \| hide \| 10 comments
10.		Before 1948, LA's Power Grid Ran at 50hz (gizmodo.com)
		173 points by curtis 13 hours ago \| hide \| 132 comments
11.		Cameras are about to get a lot smaller (economist.com)
		41 points by spuz 8 hours ago \| hide \| 9 comments
12.		API Security Checklist for developers (github.com)
		199 points by eslamsalem 10 hours ago \| hide \| 48 comments
13.		GPU Performance for Game Artists (fragmentbuffer.com)
		86 points by mnem 14 hours ago \| hide \| 4 comments
14.		Modeling Agents with Probabilistic Programs (agentmodels.org)
		85 points by abeinstein 13 hours ago \| hide \| 3 comments
15.		The Matrix Cookbook (2012) [pdf] (dtu.dk)
		72 points by nabla9 14 hours ago \| hide \| 8 comments
16.		Show HN: ORC – Onion Routed Cloud (orc.network)
		75 points by sp0rkyd0rky 15 hours ago \| hide \| 25 comments
17.		100 days of algorithms (github.com)
		223 points by jpn 14 hours ago \| hide \| 12 comments
18.		Index Search Algorithms for Databases and Modern CPUs (2010) [pdf] (arxiv.org)
		43 points by tjalfi 12 hours ago \| hide \| 3 comments
19.		Broadpwn Bug Affects Millions of Android and iOS Devices (bleepingcomputer.com)
		36 points by ivank 9 hours ago \| hide \| 23 comments
20.		Diskhash – Disk-based, persistent hash tables (metarabbit.wordpress.com)
		52 points by tekacs 14 hours ago \| hide \| 26 comments
21.		In Search of an Understandable Consensus Algorithm [pdf] (github.com)
		43 points by hiq 13 hours ago \| hide \| 12 comments
22.		Ask HN: How to prepare for an Engineering Manager interview?
		270 points by throwmeplease 14 hours ago \| hide \| 63 comments
23.		IPFS and Filecoin Token – a p2p decentralised replacement for HTTP (avc.com)
		31 points by Osiris30 11 hours ago \| hide \| 1 comment
24.		Architect explains why large development in LA seems to be luxury development (reddit.com)
		25 points by intull 4 hours ago \| hide \| 10 comments
25.		Show HN: A notebook-style Common Lisp environment (github.com)
		142 points by cddadr 15 hours ago \| hide \| 71 comments
26.		Steve Jobs and the Missing “Intel Inside” Sticker (kensegall.com)
		92 points by drawkbox 9 hours ago \| hide \| 53 comments
27.		Chat API, SendBird (YC W16) Is Hiring Account Executive (angel.co)
		3 hours ago \| hide
28.		48-Year-Old Multics operating system resurrected (slashdot.org)
		12 points by MilnerRoute 2 hours ago \| hide \| 3 comments
29.		What happened to Steam Machines? (pcgamer.com)
		34 points by faitswulff 6 hours ago \| hide \| 25 comments
30.		Google is funding the creation of software that writes local news stories (techcrunch.com)
		158 points by tokyoSurfer 15 hours ago \| hide \| 115 comments
		More