Hacker News

1.		Introduction to TLA+ Model Checking in the Command Line (medium.com)
		64 points by mbellotti 3 hours ago \| hide \| 12 comments
2.		Sequel Pro – Open source macOS native MySQL GUI client (sequelpro.com)
		178 points by atrudeau 6 hours ago \| hide \| 77 comments
3.		Dbeaver – Multi-platform database tool (dbeaver.io)
		339 points by vbv 10 hours ago \| hide \| 130 comments
4.		5G: if you build it, we will fill it (ben-evans.com)
		45 points by Doubleguitars 3 hours ago \| hide \| 31 comments
5.		Problems plagued U.S. Navy destroyer Fitzgerald before fatal collision – report (navytimes.com)
		64 points by rmason 4 hours ago \| hide \| 22 comments
6.		Attention Economy Is a Malthusian Trap (theatlantic.com)
		72 points by toufiqbarhamov 5 hours ago \| hide \| 18 comments
7.		Judge unseals trove of internal Facebook documents (revealnews.org)
		10 points by dustinmoris 1 hour ago \| hide \| discuss
8.		The Scientist and Engineer's Guide to Digital Signal Processing (1999) (analog.com)
		117 points by tzhenghao 7 hours ago \| hide \| 22 comments
9.		Let’s talk about open-source sustainability (github.blog)
		183 points by steveklabnik 9 hours ago \| hide \| 86 comments
10.		Animating CSS Grid (css-irl.info)
		15 points by skilled 2 hours ago \| hide \| 3 comments
11.		My dog was killed on a walk with a walker ordered through Wag (facebook.com)
		505 points by griffinmb 6 hours ago \| hide \| 232 comments
12.		A Fifth of China’s Homes Are Empty (2018) (bloomberg.com)
		215 points by paulpauper 8 hours ago \| hide \| 113 comments
13.		Google is buying Fossil’s smartwatch tech for $40M (techcrunch.com)
		217 points by toufiqbarhamov 14 hours ago \| hide \| 140 comments
14.		Stanford Researchers Launch Free TV Service to Improve Live Streaming Using AI (thestreamable.com)
		67 points by fomopop 7 hours ago \| hide \| 14 comments
15.		GitHub dashboard UI refresh (github.blog)
		16 points by rococode 3 hours ago \| hide \| 6 comments
16.		Going old school: how I replaced Facebook with email (chaddickerson.com)
		172 points by bellinom 14 hours ago \| hide \| 86 comments
17.		Oklahoma Department of Securities Leaked Millions of Files (upguard.com)
		112 points by wglb 12 hours ago \| hide \| 19 comments
18.		New Ethereum Dev Tools from 0x (0xproject.com)
		59 points by bpierre 7 hours ago \| hide \| 7 comments
19.		How I use my Raspberry Pis to help me work on with my side projects (techcoil.com)
		62 points by bjoko 7 hours ago \| hide \| 45 comments
20.		Digitally cloning a 1914 Delage Type S engine block (csiro.au)
		18 points by King-Aaron 5 hours ago \| hide \| 5 comments
21.		Adding new DNA letters makes novel proteins possible (economist.com)
		142 points by pseudolus 14 hours ago \| hide \| 28 comments
22.		ScyllaDB Open Source 3.0 (scylladb.com)
		180 points by manigandham 15 hours ago \| hide \| 53 comments
23.		Brain Maps Out Ideas and Memories Like Spaces (quantamagazine.org)
		14 points by Reedx 4 hours ago \| hide \| discuss
24.		Iris Automation Is Hiring a Computer Vision Expert – AI for Drones (irisonboard.com)
		2 hours ago \| hide
25.		Rust 1.32 released (rust-lang.org)
		365 points by steveklabnik 13 hours ago \| hide \| 124 comments
26.		Coinbase Acqui-Hires Blockspring (techcrunch.com)
		56 points by wslh 10 hours ago \| hide \| 20 comments
27.		Preparing for Prison (2016) (prisonuk.blogspot.com)
		128 points by Tomte 14 hours ago \| hide \| 72 comments
28.		Count the people around you by monitoring wifi signals (github.com)
		433 points by captn3m0 15 hours ago \| hide \| 135 comments
29.		Relativity Space (YC W16) Gets a Launch Site at Cape Canaveral (theverge.com)
		35 points by secondary 8 hours ago \| hide \| 7 comments
30.		Computer for the 21st Century (1991) [pdf] (uci.edu)
		32 points by dedalus 9 hours ago \| hide \| 7 comments
		More