Hacker News

1.		Judge unseals trove of internal Facebook documents (revealnews.org)
		71 points by dustinmoris 2 hours ago \| hide \| 14 comments
2.		Introduction to TLA+ Model Checking in the Command Line (medium.com)
		76 points by mbellotti 4 hours ago \| hide \| 14 comments
3.		Sequel Pro – Open source macOS native MySQL GUI client (sequelpro.com)
		211 points by atrudeau 7 hours ago \| hide \| 90 comments
4.		Dbeaver – Multi-platform database tool (dbeaver.io)
		359 points by vbv 11 hours ago \| hide \| 133 comments
5.		Problems plagued U.S. Navy destroyer Fitzgerald before fatal collision – report (navytimes.com)
		72 points by rmason 5 hours ago \| hide \| 31 comments
6.		Attention Economy Is a Malthusian Trap (theatlantic.com)
		81 points by toufiqbarhamov 6 hours ago \| hide \| 19 comments
7.		The Scientist and Engineer's Guide to Digital Signal Processing (1999) (analog.com)
		128 points by tzhenghao 8 hours ago \| hide \| 22 comments
8.		Animating CSS Grid (css-irl.info)
		24 points by skilled 3 hours ago \| hide \| 3 comments
9.		Let’s talk about open-source sustainability (github.blog)
		194 points by steveklabnik 10 hours ago \| hide \| 89 comments
10.		My dog was killed on a walk with a walker ordered through Wag (facebook.com)
		556 points by griffinmb 7 hours ago \| hide \| 262 comments
11.		Google is buying Fossil’s smartwatch tech for $40M (techcrunch.com)
		223 points by toufiqbarhamov 15 hours ago \| hide \| 147 comments
12.		A Fifth of China’s Homes Are Empty (2018) (bloomberg.com)
		222 points by paulpauper 9 hours ago \| hide \| 119 comments
13.		5G: if you build it, we will fill it (ben-evans.com)
		55 points by Doubleguitars 4 hours ago \| hide \| 42 comments
14.		GitHub dashboard UI refresh (github.blog)
		24 points by rococode 4 hours ago \| hide \| 12 comments
15.		Stanford Researchers Launch Free TV Service to Improve Live Streaming Using AI (thestreamable.com)
		71 points by fomopop 8 hours ago \| hide \| 15 comments
16.		Going old school: how I replaced Facebook with email (chaddickerson.com)
		188 points by bellinom 15 hours ago \| hide \| 100 comments
17.		New Ethereum Dev Tools from 0x (0xproject.com)
		64 points by bpierre 8 hours ago \| hide \| 7 comments
18.		Oklahoma Department of Securities Leaked Millions of Files (upguard.com)
		112 points by wglb 13 hours ago \| hide \| 19 comments
19.		Strangeness of Black Holes (nautil.us)
		6 points by dnetesn 2 hours ago \| hide \| 1 comment
20.		ScyllaDB Open Source 3.0 (scylladb.com)
		183 points by manigandham 16 hours ago \| hide \| 54 comments
21.		Adding new DNA letters makes novel proteins possible (economist.com)
		146 points by pseudolus 15 hours ago \| hide \| 28 comments
22.		Digitally cloning a 1914 Delage Type S engine block (csiro.au)
		21 points by King-Aaron 6 hours ago \| hide \| 6 comments
23.		Brain Maps Out Ideas and Memories Like Spaces (quantamagazine.org)
		20 points by Reedx 5 hours ago \| hide \| discuss
24.		Rust 1.32 released (rust-lang.org)
		375 points by steveklabnik 14 hours ago \| hide \| 133 comments
25.		Preparing for Prison (2016) (prisonuk.blogspot.com)
		131 points by Tomte 15 hours ago \| hide \| 73 comments
26.		Coinbase Acqui-Hires Blockspring (techcrunch.com)
		56 points by wslh 11 hours ago \| hide \| 21 comments
27.		Count the people around you by monitoring wifi signals (github.com)
		438 points by captn3m0 16 hours ago \| hide \| 135 comments
28.		Computer for the 21st Century (1991) [pdf] (uci.edu)
		35 points by dedalus 10 hours ago \| hide \| 7 comments
29.		Relativity Space (YC W16) Gets a Launch Site at Cape Canaveral (theverge.com)
		35 points by secondary 9 hours ago \| hide \| 7 comments
30.		SageDB: a learned database system (acolyer.org)
		46 points by ketralnis 13 hours ago \| hide \| 4 comments
		More