Hacker News

1.		Introduction to TLA+ Model Checking in the Command Line (medium.com)
		49 points by mbellotti 2 hours ago \| hide \| 9 comments
2.		Sequel Pro – Open source macOS native MySQL GUI client (sequelpro.com)
		147 points by atrudeau 5 hours ago \| hide \| 59 comments
3.		Problems plagued U.S. Navy destroyer Fitzgerald before fatal collision – report (navytimes.com)
		56 points by rmason 3 hours ago \| hide \| 16 comments
4.		Dbeaver – Multi-platform database tool (dbeaver.io)
		321 points by vbv 9 hours ago \| hide \| 117 comments
5.		5G: if you build it, we will fill it (ben-evans.com)
		35 points by Doubleguitars 2 hours ago \| hide \| 11 comments
6.		Attention Economy Is a Malthusian Trap (theatlantic.com)
		61 points by toufiqbarhamov 4 hours ago \| hide \| 9 comments
7.		My dog was killed on a walk with a walker ordered through Wag (facebook.com)
		465 points by griffinmb 5 hours ago \| hide \| 196 comments
8.		The Scientist and Engineer's Guide to Digital Signal Processing (1999) (analog.com)
		107 points by tzhenghao 6 hours ago \| hide \| 20 comments
9.		Let’s talk about open-source sustainability (github.blog)
		170 points by steveklabnik 8 hours ago \| hide \| 77 comments
10.		Count the people around you by monitoring wifi signals (github.com)
		426 points by captn3m0 14 hours ago \| hide \| 135 comments
11.		A Fifth of China’s Homes Are Empty (2018) (bloomberg.com)
		209 points by paulpauper 7 hours ago \| hide \| 110 comments
12.		Animating CSS Grid (css-irl.info)
		9 points by skilled 1 hour ago \| hide \| discuss
13.		Google is buying Fossil’s smartwatch tech for $40M (techcrunch.com)
		213 points by toufiqbarhamov 13 hours ago \| hide \| 134 comments
14.		Stanford Researchers Launch Free TV Service to Improve Live Streaming Using AI (thestreamable.com)
		63 points by fomopop 6 hours ago \| hide \| 13 comments
15.		How I use my Raspberry Pis to help me work on with my side projects (techcoil.com)
		56 points by bjoko 6 hours ago \| hide \| 37 comments
16.		GitHub dashboard UI refresh (github.blog)
		10 points by rococode 2 hours ago \| hide \| 2 comments
17.		Iris Automation Is Hiring a Computer Vision Expert – AI for Drones (irisonboard.com)
		1 hour ago \| hide
18.		HeidiSQL – GUI client for MariaDB, MySQL, Microsoft SQL Server and PostgreSQL (heidisql.com)
		226 points by piotrkubisa 15 hours ago \| hide \| 83 comments
19.		Going old school: how I replaced Facebook with email (chaddickerson.com)
		160 points by bellinom 13 hours ago \| hide \| 66 comments
20.		Oklahoma Department of Securities Leaked Millions of Files (upguard.com)
		111 points by wglb 11 hours ago \| hide \| 19 comments
21.		New Ethereum Dev Tools from 0x (0xproject.com)
		52 points by bpierre 6 hours ago \| hide \| 7 comments
22.		Adding new DNA letters makes novel proteins possible (economist.com)
		139 points by pseudolus 13 hours ago \| hide \| 28 comments
23.		ScyllaDB Open Source 3.0 (scylladb.com)
		179 points by manigandham 14 hours ago \| hide \| 53 comments
24.		Digitally cloning a 1914 Delage Type S engine block (csiro.au)
		13 points by King-Aaron 4 hours ago \| hide \| 5 comments
25.		Coinbase Acqui-Hires Blockspring (techcrunch.com)
		52 points by wslh 9 hours ago \| hide \| 17 comments
26.		Rust 1.32 released (rust-lang.org)
		358 points by steveklabnik 12 hours ago \| hide \| 120 comments
27.		Preparing for Prison (2016) (prisonuk.blogspot.com)
		125 points by Tomte 13 hours ago \| hide \| 70 comments
28.		Relativity Space (YC W16) Gets a Launch Site at Cape Canaveral (theverge.com)
		32 points by secondary 7 hours ago \| hide \| 5 comments
29.		Computer for the 21st Century (1991) [pdf] (uci.edu)
		30 points by dedalus 8 hours ago \| hide \| 6 comments
30.		Portland’s Land Rush for New ’Opportunity Zone’ Tax Breaks (bloomberg.com)
		26 points by glassworm 7 hours ago \| hide \| 8 comments
		More