Hacker News

1.		Verdi – Formally Verifying Distributed Systems (uwplse.org)
		37 points by mindcrime 1 hour ago \| hide \| 2 comments
2.		Benchmarking TensorFlow on Cloud CPUs: Cheaper Deep Learning Than Cloud GPUs (minimaxir.com)
		112 points by myth_drannon 5 hours ago \| hide \| 55 comments
3.		Minimal PDF (brendanzagaeski.appspot.com)
		83 points by ingve 5 hours ago \| hide \| 17 comments
4.		Before 1948, LA's Power Grid Ran at 50hz (gizmodo.com)
		162 points by curtis 10 hours ago \| hide \| 111 comments
5.		Show HN: A notebook-style Common Lisp environment (github.com)
		137 points by cddadr 12 hours ago \| hide \| 69 comments
6.		Loudness (2007) (chicagomasteringservice.com)
		101 points by mjgoins 10 hours ago \| hide \| 52 comments
7.		API Security Checklist for developers (github.com)
		168 points by eslamsalem 7 hours ago \| hide \| 40 comments
8.		Chat API, SendBird (YC W16) Is Hiring Account Executive (angel.co)
		20 minutes ago \| hide
9.		Google is funding the creation of software that writes local news stories (techcrunch.com)
		147 points by tokyoSurfer 12 hours ago \| hide \| 106 comments
10.		Modeling Agents with Probabilistic Programs (agentmodels.org)
		76 points by abeinstein 10 hours ago \| hide \| 3 comments
11.		GPU Performance for Game Artists (fragmentbuffer.com)
		79 points by mnem 11 hours ago \| hide \| 4 comments
12.		Show HN: ORC – Onion Routed Cloud (orc.network)
		63 points by sp0rkyd0rky 12 hours ago \| hide \| 22 comments
13.		100 days of algorithms (github.com)
		191 points by jpn 11 hours ago \| hide \| 11 comments
14.		Broadpwn Bug Affects Millions of Android and iOS Devices (bleepingcomputer.com)
		21 points by ivank 6 hours ago \| hide \| 11 comments
15.		The Matrix Cookbook (2012) [pdf] (dtu.dk)
		53 points by nabla9 11 hours ago \| hide \| 7 comments
16.		Index Search Algorithms for Databases and Modern CPUs (2010) [pdf] (arxiv.org)
		32 points by tjalfi 9 hours ago \| hide \| 2 comments
17.		The massive volcano that scientists can't find (bbc.com)
		11 points by dimitrov 5 hours ago \| hide \| discuss
18.		Ask HN: How to prepare for an Engineering Manager interview?
		240 points by throwmeplease 11 hours ago \| hide \| 61 comments
19.		Diskhash – Disk-based, persistent hash tables (metarabbit.wordpress.com)
		42 points by tekacs 11 hours ago \| hide \| 19 comments
20.		Why I joined Microsoft (hackernoon.com)
		37 points by sharjeelsayed 3 hours ago \| hide \| 15 comments
21.		Meet the Man Traveling the World on $25M of Bitcoin Profits (forbes.com)
		17 points by ca98am79 2 hours ago \| hide \| 9 comments
22.		What happened to Steam Machines? (pcgamer.com)
		23 points by faitswulff 3 hours ago \| hide \| 8 comments
23.		Steve Jobs and the Missing “Intel Inside” Sticker (kensegall.com)
		66 points by drawkbox 6 hours ago \| hide \| 34 comments
24.		In Search of an Understandable Consensus Algorithm [pdf] (github.com)
		33 points by hiq 10 hours ago \| hide \| 7 comments
25.		Architect explains why large development in LA seems to be luxury development (reddit.com)
		5 points by intull 1 hour ago \| hide \| discuss
26.		Ask HN: Should I give my early angels extra equity?
		8 points by zangiku 2 hours ago \| hide \| 9 comments
27.		Melford: Using Neural Networks to Find Spreadsheet Errors [pdf] (microsoft.com)
		25 points by tjalfi 12 hours ago \| hide \| discuss
28.		The Re-Frame Guide: Front-End Architecture in Clojure (purelyfunctional.tv)
		134 points by kimi 16 hours ago \| hide \| 17 comments
29.		Linux tracing systems and how they fit together (jvns.ca)
		215 points by ingve 22 hours ago \| hide \| 47 comments
30.		IPFS and Filecoin Token – a p2p decentralised replacement for HTTP (avc.com)
		11 points by Osiris30 8 hours ago \| hide \| discuss
		More