Hacker News

1.		Introduction to TLA+ Model Checking in the Command Line (medium.com)
		87 points by mbellotti 6 hours ago \| hide \| 14 comments
2.		Sequel Pro – Open source macOS native MySQL GUI client (sequelpro.com)
		260 points by atrudeau 9 hours ago \| hide \| 114 comments
3.		Dbeaver – Multi-platform database tool (dbeaver.io)
		388 points by vbv 13 hours ago \| hide \| 146 comments
4.		Animating CSS Grid (css-irl.info)
		54 points by skilled 5 hours ago \| hide \| 4 comments
5.		Company Update (tesla.com)
		58 points by lultimouomo 1 hour ago \| hide \| 26 comments
6.		Problems plagued U.S. Navy destroyer Fitzgerald before fatal collision – report (navytimes.com)
		84 points by rmason 7 hours ago \| hide \| 46 comments
7.		Attention Economy Is a Malthusian Trap (theatlantic.com)
		98 points by toufiqbarhamov 8 hours ago \| hide \| 32 comments
8.		The Scientist and Engineer's Guide to Digital Signal Processing (1999) (analog.com)
		142 points by tzhenghao 10 hours ago \| hide \| 26 comments
9.		Jerry (YC S17) Is Hiring Senior Software Developers (Montreal, Canada) (workable.com)
		25 minutes ago \| hide
10.		Let’s talk about open-source sustainability (github.blog)
		220 points by steveklabnik 12 hours ago \| hide \| 102 comments
11.		How to Claim Flight Delay Compensation? Step-By-Step Guide (3flightdelay.com)
		3 points by skymake 1 hour ago \| hide \| discuss
12.		GitHub dashboard UI refresh (github.blog)
		46 points by rococode 6 hours ago \| hide \| 23 comments
13.		Examples and best practices for building recommendation systems (github.com)
		17 points by navigaid 1 hour ago \| hide \| discuss
14.		A Fifth of China’s Homes Are Empty (2018) (bloomberg.com)
		239 points by paulpauper 11 hours ago \| hide \| 133 comments
15.		Strangeness of Black Holes (nautil.us)
		17 points by dnetesn 4 hours ago \| hide \| 2 comments
16.		Stanford Researchers Launch Free TV Service to Improve Live Streaming Using AI (thestreamable.com)
		76 points by fomopop 10 hours ago \| hide \| 16 comments
17.		Going old school: how I replaced Facebook with email (chaddickerson.com)
		207 points by bellinom 17 hours ago \| hide \| 116 comments
18.		My dog was killed on a walk with a walker ordered through Wag (facebook.com)
		623 points by griffinmb 9 hours ago \| hide \| 333 comments
19.		Judge unseals trove of internal Facebook documents from 2012 legal action (revealnews.org)
		105 points by dustinmoris 4 hours ago \| hide \| 29 comments
20.		5G: if you build it, we will fill it (ben-evans.com)
		64 points by Doubleguitars 6 hours ago \| hide \| 51 comments
21.		Oklahoma Department of Securities Leaked Millions of Files (upguard.com)
		116 points by wglb 15 hours ago \| hide \| 19 comments
22.		Brain Maps Out Ideas and Memories Like Spaces (quantamagazine.org)
		33 points by Reedx 7 hours ago \| hide \| 1 comment
23.		ScyllaDB Open Source 3.0 (scylladb.com)
		187 points by manigandham 18 hours ago \| hide \| 54 comments
24.		Adding new DNA letters makes novel proteins possible (economist.com)
		148 points by pseudolus 17 hours ago \| hide \| 29 comments
25.		New Ethereum Dev Tools from 0x (0xproject.com)
		75 points by bpierre 10 hours ago \| hide \| 11 comments
26.		Preparing for Prison (2016) (prisonuk.blogspot.com)
		140 points by Tomte 17 hours ago \| hide \| 80 comments
27.		Digitally cloning a 1914 Delage Type S engine block (csiro.au)
		22 points by King-Aaron 8 hours ago \| hide \| 7 comments
28.		Rust 1.32 released (rust-lang.org)
		387 points by steveklabnik 16 hours ago \| hide \| 138 comments
29.		Count the people around you by monitoring wifi signals (github.com)
		443 points by captn3m0 18 hours ago \| hide \| 136 comments
30.		Computer for the 21st Century (1991) [pdf] (uci.edu)
		40 points by dedalus 12 hours ago \| hide \| 7 comments
		More