Hacker News

1.		BayesDB: A probabilistic programming platform (mit.edu)
		47 points by relyio 3 hours ago \| hide \| 1 comment
2.		Verdi – Formally Verifying Distributed Systems (uwplse.org)
		90 points by mindcrime 5 hours ago \| hide \| 5 comments
3.		Benchmarking TensorFlow on Cloud CPUs: Cheaper Deep Learning Than Cloud GPUs (minimaxir.com)
		157 points by myth_drannon 9 hours ago \| hide \| 71 comments
4.		Minimal PDF (brendanzagaeski.appspot.com)
		147 points by ingve 9 hours ago \| hide \| 43 comments
5.		Beipanjiang Bridge, suspended 565m above China’s south-west mountains [video] (bbc.com)
		30 points by mudil 3 hours ago \| hide \| 7 comments
6.		Understanding Support Vector Machine via Examples (sadanand-singh.github.io)
		25 points by sadanand4singh 3 hours ago \| hide \| discuss
7.		SQL in CockroachDB: Mapping Table Data to Key-Value Storage (2015) (cockroachlabs.com)
		18 points by yinso 3 hours ago \| hide \| 6 comments
8.		Show HN: Crowdsourced visualization of neighborhoods in cities (hoodmaps.com)
		20 points by pieterhg 29 minutes ago \| hide \| 2 comments
9.		A massive volcano that scientists can't find (bbc.com)
		49 points by dimitrov 9 hours ago \| hide \| 14 comments
10.		Cameras are about to get a lot smaller (economist.com)
		54 points by spuz 9 hours ago \| hide \| 14 comments
11.		Loudness (2007) (chicagomasteringservice.com)
		116 points by mjgoins 14 hours ago \| hide \| 62 comments
12.		API Security Checklist for developers (github.com)
		217 points by eslamsalem 11 hours ago \| hide \| 50 comments
13.		Before 1948, LA's Power Grid Ran at 50hz (gizmodo.com)
		178 points by curtis 14 hours ago \| hide \| 137 comments
14.		Modeling Agents with Probabilistic Programs (agentmodels.org)
		91 points by abeinstein 14 hours ago \| hide \| 3 comments
15.		Broadpwn Bug Affects Millions of Android and iOS Devices (bleepingcomputer.com)
		41 points by ivank 10 hours ago \| hide \| 28 comments
16.		100 days of algorithms (github.com)
		237 points by jpn 15 hours ago \| hide \| 12 comments
17.		The Matrix Cookbook (2012) [pdf] (dtu.dk)
		78 points by nabla9 15 hours ago \| hide \| 8 comments
18.		IPFS and Filecoin Token – a p2p decentralised replacement for HTTP (avc.com)
		45 points by Osiris30 12 hours ago \| hide \| 3 comments
19.		Index Search Algorithms for Databases and Modern CPUs (2010) [pdf] (arxiv.org)
		47 points by tjalfi 13 hours ago \| hide \| 3 comments
20.		Ukrainian artist Mykhailo Tymchuk paints unique icons (artslooker.com)
		5 points by artslooker 1 hour ago \| hide \| discuss
21.		In Search of an Understandable Consensus Algorithm [pdf] (github.com)
		45 points by hiq 14 hours ago \| hide \| 14 comments
22.		Architect explains why large development in LA seems to be luxury development (reddit.com)
		32 points by intull 5 hours ago \| hide \| 10 comments
23.		Show HN: A notebook-style Common Lisp environment (github.com)
		147 points by cddadr 16 hours ago \| hide \| 72 comments
24.		Steve Jobs and the Missing “Intel Inside” Sticker (kensegall.com)
		103 points by drawkbox 10 hours ago \| hide \| 57 comments
25.		48-Year-Old Multics operating system resurrected (slashdot.org)
		15 points by MilnerRoute 3 hours ago \| hide \| 3 comments
26.		Google is funding the creation of software that writes local news stories (techcrunch.com)
		160 points by tokyoSurfer 16 hours ago \| hide \| 115 comments
27.		Why I joined Microsoft (hackernoon.com)
		59 points by sharjeelsayed 7 hours ago \| hide \| 32 comments
28.		GPU Performance for Game Artists (fragmentbuffer.com)
		90 points by mnem 15 hours ago \| hide \| 4 comments
29.		Chat API, SendBird (YC W16) Is Hiring Account Executive (angel.co)
		4 hours ago \| hide
30.		What happened to Steam Machines? (pcgamer.com)
		37 points by faitswulff 7 hours ago \| hide \| 29 comments
		More