Hacker News

1.		Introduction to TLA+ Model Checking in the Command Line (medium.com)
		83 points by mbellotti 5 hours ago \| hide \| 14 comments
2.		Sequel Pro – Open source macOS native MySQL GUI client (sequelpro.com)
		239 points by atrudeau 8 hours ago \| hide \| 106 comments
3.		Dbeaver – Multi-platform database tool (dbeaver.io)
		371 points by vbv 12 hours ago \| hide \| 139 comments
4.		Problems plagued U.S. Navy destroyer Fitzgerald before fatal collision – report (navytimes.com)
		77 points by rmason 6 hours ago \| hide \| 38 comments
5.		Attention Economy Is a Malthusian Trap (theatlantic.com)
		91 points by toufiqbarhamov 7 hours ago \| hide \| 27 comments
6.		Animating CSS Grid (css-irl.info)
		39 points by skilled 4 hours ago \| hide \| 2 comments
7.		Tesla to Cut Full-Time Employee Headcount by About 7% (bloomberg.com)
		7 points by lultimouomo 32 minutes ago \| hide \| discuss
8.		The Scientist and Engineer's Guide to Digital Signal Processing (1999) (analog.com)
		140 points by tzhenghao 9 hours ago \| hide \| 25 comments
9.		Let’s talk about open-source sustainability (github.blog)
		211 points by steveklabnik 11 hours ago \| hide \| 96 comments
10.		Company Update (tesla.com)
		21 points by lultimouomo 16 minutes ago \| hide \| 5 comments
11.		GitHub dashboard UI refresh (github.blog)
		37 points by rococode 5 hours ago \| hide \| 14 comments
12.		My dog was killed on a walk with a walker ordered through Wag (facebook.com)
		597 points by griffinmb 8 hours ago \| hide \| 296 comments
13.		A Fifth of China’s Homes Are Empty (2018) (bloomberg.com)
		230 points by paulpauper 10 hours ago \| hide \| 127 comments
14.		Stanford Researchers Launch Free TV Service to Improve Live Streaming Using AI (thestreamable.com)
		74 points by fomopop 9 hours ago \| hide \| 15 comments
15.		Strangeness of Black Holes (nautil.us)
		11 points by dnetesn 3 hours ago \| hide \| 1 comment
16.		Going old school: how I replaced Facebook with email (chaddickerson.com)
		194 points by bellinom 16 hours ago \| hide \| 110 comments
17.		Examples and best practices for building recommendation systems (github.com)
		8 points by navigaid 40 minutes ago \| hide \| discuss
18.		Judge unseals trove of internal Facebook documents from 2012 legal action (revealnews.org)
		91 points by dustinmoris 3 hours ago \| hide \| 25 comments
19.		Oklahoma Department of Securities Leaked Millions of Files (upguard.com)
		115 points by wglb 14 hours ago \| hide \| 19 comments
20.		New Ethereum Dev Tools from 0x (0xproject.com)
		69 points by bpierre 9 hours ago \| hide \| 7 comments
21.		Brain Maps Out Ideas and Memories Like Spaces (quantamagazine.org)
		30 points by Reedx 6 hours ago \| hide \| 1 comment
22.		5G: if you build it, we will fill it (ben-evans.com)
		59 points by Doubleguitars 5 hours ago \| hide \| 47 comments
23.		ScyllaDB Open Source 3.0 (scylladb.com)
		186 points by manigandham 17 hours ago \| hide \| 54 comments
24.		Adding new DNA letters makes novel proteins possible (economist.com)
		148 points by pseudolus 16 hours ago \| hide \| 28 comments
25.		Digitally cloning a 1914 Delage Type S engine block (csiro.au)
		21 points by King-Aaron 7 hours ago \| hide \| 6 comments
26.		Rust 1.32 released (rust-lang.org)
		382 points by steveklabnik 15 hours ago \| hide \| 136 comments
27.		Preparing for Prison (2016) (prisonuk.blogspot.com)
		132 points by Tomte 16 hours ago \| hide \| 77 comments
28.		Count the people around you by monitoring wifi signals (github.com)
		440 points by captn3m0 17 hours ago \| hide \| 135 comments
29.		Coinbase Acqui-Hires Blockspring (techcrunch.com)
		59 points by wslh 12 hours ago \| hide \| 21 comments
30.		Computer for the 21st Century (1991) [pdf] (uci.edu)
		36 points by dedalus 11 hours ago \| hide \| 7 comments
		More