Hacker News

1.		Introduction to TLA+ Model Checking in the Command Line (medium.com)
		25 points by mbellotti 1 hour ago \| hide \| 4 comments
2.		Sequel Pro – Open source macOS native MySQL GUI client (sequelpro.com)
		114 points by atrudeau 4 hours ago \| hide \| 52 comments
3.		Dbeaver – Multi-platform database tool (dbeaver.io)
		297 points by vbv 8 hours ago \| hide \| 115 comments
4.		Problems plagued U.S. Navy destroyer Fitzgerald before fatal collision – report (navytimes.com)
		41 points by rmason 2 hours ago \| hide \| 6 comments
5.		Attention Economy Is a Malthusian Trap (theatlantic.com)
		53 points by toufiqbarhamov 3 hours ago \| hide \| 4 comments
6.		5G: if you build it, we will fill it (ben-evans.com)
		16 points by Doubleguitars 1 hour ago \| hide \| 2 comments
7.		My dog was killed on a walk with a walker ordered through Wag (facebook.com)
		415 points by griffinmb 4 hours ago \| hide \| 160 comments
8.		The Scientist and Engineer's Guide to Digital Signal Processing (1999) (analog.com)
		98 points by tzhenghao 5 hours ago \| hide \| 20 comments
9.		Iris Automation Is Hiring a Computer Vision Expert – AI for Drones (irisonboard.com)
		24 minutes ago \| hide
10.		Let’s talk about open-source sustainability (github.blog)
		154 points by steveklabnik 7 hours ago \| hide \| 71 comments
11.		Count the people around you by monitoring wifi signals (github.com)
		416 points by captn3m0 13 hours ago \| hide \| 133 comments
12.		A Fifth of China’s Homes Are Empty (2018) (bloomberg.com)
		204 points by paulpauper 6 hours ago \| hide \| 105 comments
13.		Google is buying Fossil’s smartwatch tech for $40M (techcrunch.com)
		207 points by toufiqbarhamov 12 hours ago \| hide \| 129 comments
14.		Stanford Researchers Launch Free TV Service to Improve Live Streaming Using AI (thestreamable.com)
		52 points by fomopop 5 hours ago \| hide \| 11 comments
15.		How I use my Raspberry Pis to help me work on with my side projects (techcoil.com)
		44 points by bjoko 5 hours ago \| hide \| 28 comments
16.		HeidiSQL – GUI client for MariaDB, MySQL, Microsoft SQL Server and PostgreSQL (heidisql.com)
		215 points by piotrkubisa 14 hours ago \| hide \| 83 comments
17.		Oklahoma Department of Securities Leaked Millions of Files (upguard.com)
		107 points by wglb 10 hours ago \| hide \| 17 comments
18.		Going old school: how I replaced Facebook with email (chaddickerson.com)
		144 points by bellinom 12 hours ago \| hide \| 60 comments
19.		New Ethereum Dev Tools from 0x (0xproject.com)
		40 points by bpierre 5 hours ago \| hide \| 7 comments
20.		ScyllaDB Open Source 3.0 (scylladb.com)
		173 points by manigandham 13 hours ago \| hide \| 53 comments
21.		Adding new DNA letters makes novel proteins possible (economist.com)
		132 points by pseudolus 12 hours ago \| hide \| 27 comments
22.		Digitally cloning a 1914 Delage Type S engine block (csiro.au)
		10 points by King-Aaron 3 hours ago \| hide \| 3 comments
23.		GitHub dashboard UI refresh (github.blog)
		3 points by rococode 1 hour ago \| hide \| 1 comment
24.		Coinbase Acqui-Hires Blockspring (techcrunch.com)
		48 points by wslh 8 hours ago \| hide \| 17 comments
25.		Rust 1.32 released (rust-lang.org)
		343 points by steveklabnik 11 hours ago \| hide \| 120 comments
26.		Preparing for Prison (2016) (prisonuk.blogspot.com)
		120 points by Tomte 12 hours ago \| hide \| 66 comments
27.		Relativity Space (YC W16) Gets a Launch Site at Cape Canaveral (theverge.com)
		27 points by secondary 6 hours ago \| hide \| 4 comments
28.		A bot for Starcraft in Rust, C or any other language (habr.com)
		127 points by hokkos 14 hours ago \| hide \| 13 comments
29.		Raylib: a simple and easy-to-use library to enjoy game programming (raylib.com)
		124 points by njn 14 hours ago \| hide \| 19 comments
30.		Portland’s Land Rush for New ’Opportunity Zone’ Tax Breaks (bloomberg.com)
		25 points by glassworm 6 hours ago \| hide \| 6 comments
		More