Hacker News

1.		BayesDB: A probabilistic programming platform (mit.edu)
		111 points by relyio 6 hours ago \| hide \| 3 comments
2.		Verdi – Formally Verifying Distributed Systems (2016) (uwplse.org)
		111 points by mindcrime 8 hours ago \| hide \| 5 comments
3.		One Way to Fix Uber: Think Twice Before Using It (nytimes.com)
		13 points by DiabloD3 1 hour ago \| hide \| discuss
4.		Minimal PDF (brendanzagaeski.appspot.com)
		200 points by ingve 12 hours ago \| hide \| 65 comments
5.		U.S. Malaria Donations Saved Almost 2M African Children (nytimes.com)
		21 points by robertwiblin 3 hours ago \| hide \| 15 comments
6.		Benchmarking TensorFlow on Cloud CPUs: Cheaper Deep Learning Than Cloud GPUs (minimaxir.com)
		185 points by myth_drannon 12 hours ago \| hide \| 81 comments
7.		Beipanjiang Bridge, suspended 565m above China’s south-west mountains [video] (bbc.com)
		60 points by mudil 6 hours ago \| hide \| 24 comments
8.		Understanding Support Vector Machine via Examples (sadanand-singh.github.io)
		43 points by sadanand4singh 6 hours ago \| hide \| discuss
9.		Dos and don'ts on designing for accessibility (accessibility.blog.gov.uk)
		12 points by fanf2 3 hours ago \| hide \| discuss
10.		Cameras are about to get a lot smaller (economist.com)
		84 points by spuz 12 hours ago \| hide \| 29 comments
11.		Show HN: Crowdsourced visualization of neighborhoods in cities (hoodmaps.com)
		57 points by pieterhg 3 hours ago \| hide \| 11 comments
12.		A massive volcano that scientists can't find (bbc.com)
		72 points by dimitrov 12 hours ago \| hide \| 28 comments
13.		API Security Checklist for developers (github.com)
		256 points by eslamsalem 14 hours ago \| hide \| 54 comments
14.		Similarities between U.S. and Soviet propaganda (twitter.com)
		5 points by wolfgke 50 minutes ago \| hide \| discuss
15.		Broadpwn Bug Affects Millions of Android and iOS Devices (bleepingcomputer.com)
		49 points by ivank 13 hours ago \| hide \| 34 comments
16.		Treaty banning nuclear weapons approved at UN (theguardian.com)
		11 points by bahjoite 2 hours ago \| hide \| 4 comments
17.		Ask HN: Will I ever find a job?
		8 points by dwgdev 2 hours ago \| hide \| 5 comments
18.		Zesty (YC W14) Is Hiring a VP Engineering (greenhouse.io)
		2 hours ago \| hide
19.		SQL in CockroachDB: Mapping Table Data to Key-Value Storage (2015) (cockroachlabs.com)
		34 points by yinso 6 hours ago \| hide \| 16 comments
20.		Architect explains why large development in LA seems to be luxury development (reddit.com)
		59 points by intull 8 hours ago \| hide \| 20 comments
21.		Implementing a Key-Value Store (2012) (codecapsule.com)
		16 points by yinso 10 hours ago \| hide \| discuss
22.		Steve Jobs and the Missing “Intel Inside” Sticker (kensegall.com)
		143 points by drawkbox 13 hours ago \| hide \| 75 comments
23.		Show HN: A notebook-style Common Lisp environment (github.com)
		156 points by cddadr 19 hours ago \| hide \| 77 comments
24.		NPM 5.1.0 Release (twice as fast as npm5.0.0) (github.com)
		12 points by ankit84 7 hours ago \| hide \| discuss
25.		Loudness (2007) (chicagomasteringservice.com)
		127 points by mjgoins 17 hours ago \| hide \| 72 comments
26.		Google is funding the creation of software that writes local news stories (techcrunch.com)
		165 points by tokyoSurfer 19 hours ago \| hide \| 124 comments
27.		48-Year-Old Multics operating system resurrected (slashdot.org)
		23 points by MilnerRoute 6 hours ago \| hide \| 5 comments
28.		Golang has made it to the top 10 of most popular programming languages (tiobe.com)
		9 points by shime 3 hours ago \| hide \| 7 comments
29.		Before 1948, LA's Power Grid Ran at 50hz (gizmodo.com)
		182 points by curtis 17 hours ago \| hide \| 144 comments
30.		IPFS and Filecoin Token – a p2p decentralised replacement for HTTP (avc.com)
		67 points by Osiris30 15 hours ago \| hide \| 9 comments
		More