Hacker News

1.		BayesDB: A probabilistic programming platform (mit.edu)
		88 points by relyio 4 hours ago \| hide \| 2 comments
2.		Verdi – Formally Verifying Distributed Systems (2016) (uwplse.org)
		104 points by mindcrime 7 hours ago \| hide \| 5 comments
3.		U.S. Malaria Donations Saved Almost 2M African Children (nytimes.com)
		14 points by robertwiblin 2 hours ago \| hide \| 6 comments
4.		Minimal PDF (brendanzagaeski.appspot.com)
		178 points by ingve 11 hours ago \| hide \| 63 comments
5.		Benchmarking TensorFlow on Cloud CPUs: Cheaper Deep Learning Than Cloud GPUs (minimaxir.com)
		176 points by myth_drannon 11 hours ago \| hide \| 80 comments
6.		Beipanjiang Bridge, suspended 565m above China’s south-west mountains [video] (bbc.com)
		52 points by mudil 5 hours ago \| hide \| 18 comments
7.		Understanding Support Vector Machine via Examples (sadanand-singh.github.io)
		35 points by sadanand4singh 5 hours ago \| hide \| discuss
8.		Show HN: Crowdsourced visualization of neighborhoods in cities (hoodmaps.com)
		48 points by pieterhg 2 hours ago \| hide \| 9 comments
9.		A massive volcano that scientists can't find (bbc.com)
		66 points by dimitrov 11 hours ago \| hide \| 23 comments
10.		Cameras are about to get a lot smaller (economist.com)
		70 points by spuz 11 hours ago \| hide \| 26 comments
11.		API Security Checklist for developers (github.com)
		239 points by eslamsalem 13 hours ago \| hide \| 52 comments
12.		Broadpwn Bug Affects Millions of Android and iOS Devices (bleepingcomputer.com)
		47 points by ivank 12 hours ago \| hide \| 32 comments
13.		IPFS and Filecoin Token – a p2p decentralised replacement for HTTP (avc.com)
		58 points by Osiris30 14 hours ago \| hide \| 8 comments
14.		SQL in CockroachDB: Mapping Table Data to Key-Value Storage (2015) (cockroachlabs.com)
		31 points by yinso 5 hours ago \| hide \| 12 comments
15.		Zesty (YC W14) Is Hiring a VP Engineering (greenhouse.io)
		1 hour ago \| hide
16.		Architect explains why large development in LA seems to be luxury development (reddit.com)
		51 points by intull 7 hours ago \| hide \| 15 comments
17.		Steve Jobs and the Missing “Intel Inside” Sticker (kensegall.com)
		130 points by drawkbox 12 hours ago \| hide \| 67 comments
18.		Show HN: A notebook-style Common Lisp environment (github.com)
		153 points by cddadr 18 hours ago \| hide \| 75 comments
19.		Google is funding the creation of software that writes local news stories (techcrunch.com)
		164 points by tokyoSurfer 18 hours ago \| hide \| 119 comments
20.		Implementing a Key-Value Store (2012) (codecapsule.com)
		12 points by yinso 9 hours ago \| hide \| discuss
21.		48-Year-Old Multics operating system resurrected (slashdot.org)
		21 points by MilnerRoute 5 hours ago \| hide \| 5 comments
22.		Before 1948, LA's Power Grid Ran at 50hz (gizmodo.com)
		182 points by curtis 16 hours ago \| hide \| 143 comments
23.		Loudness (2007) (chicagomasteringservice.com)
		124 points by mjgoins 16 hours ago \| hide \| 72 comments
24.		Modeling Agents with Probabilistic Programs (agentmodels.org)
		97 points by abeinstein 16 hours ago \| hide \| 3 comments
25.		GPU Performance for Game Artists (fragmentbuffer.com)
		94 points by mnem 17 hours ago \| hide \| 5 comments
26.		Linux tracing systems and how they fit together (jvns.ca)
		230 points by ingve 1 day ago \| hide \| 51 comments
27.		The Matrix Cookbook (2012) [pdf] (dtu.dk)
		85 points by nabla9 17 hours ago \| hide \| 8 comments
28.		Show HN: ORC – Onion Routed Cloud (orc.network)
		82 points by sp0rkyd0rky 18 hours ago \| hide \| 25 comments
29.		100 days of algorithms (github.com)
		250 points by jpn 17 hours ago \| hide \| 13 comments
30.		Index Search Algorithms for Databases and Modern CPUs (2010) [pdf] (arxiv.org)
		51 points by tjalfi 15 hours ago \| hide \| 5 comments
		More