Hacker News

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