Hacker News

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