Hacker News

1.		2D Syntax (racket-lang.org)
		111 points by mr_tyzic 2 hours ago \| hide \| 16 comments
2.		Developing Bug-Free Machine Learning Systems with Formal Mathematics (arxiv.org)
		28 points by pkay 1 hour ago \| hide \| discuss
3.		Analyzing Cryptocurrencies Using PostgreSQL (timescale.com)
		370 points by akulkarni 6 hours ago \| hide \| 135 comments
4.		Is it possible to host Facebook on AWS? (sqlizer.io)
		18 points by vinnyglennon 1 hour ago \| hide \| 2 comments
5.		Vim Tutorial as an Adventure Game (vim-adventures.com)
		109 points by KirinDave 4 hours ago \| hide \| 24 comments
6.		How can Ethereum systematically scale better? (medium.com)
		76 points by transitorykris 3 hours ago \| hide \| 21 comments
7.		Why App Speed Matters: Revenue (fly.io)
		93 points by jpsaccount 4 hours ago \| hide \| 30 comments
8.		Is the business of scientific publishing bad for science? (theguardian.com)
		53 points by a_w 4 hours ago \| hide \| 7 comments
9.		Canada's top court backs order for Google to remove firm's website from searches (cbc.ca)
		119 points by executive 4 hours ago \| hide \| 107 comments
10.		Flawed reporting about WhatsApp (theguardian.com)
		264 points by Calvin02 6 hours ago \| hide \| 94 comments
11.		Container Isolation Gone Wrong (sysdig.com)
		25 points by knoxa2511 2 hours ago \| hide \| 3 comments
12.		Field Notes from my Dementia (lithub.com)
		38 points by samclemens 3 hours ago \| hide \| 6 comments
13.		Internal documents shed light on the guidelines that Facebook’s censors use (propublica.org)
		42 points by elzed 4 hours ago \| hide \| 7 comments
14.		Easy End-To-End Encryption: Introducing ZeroKit for Realm (realm.io)
		4 points by bjchrist 35 minutes ago \| hide \| discuss
15.		Is it unethical for me to not tell my employer I've automated my job? (stackexchange.com)
		225 points by Ajedi32 4 hours ago \| hide \| 194 comments
16.		Increasing Rust’s Reach (rust-lang.org)
		145 points by darwhy 6 hours ago \| hide \| 100 comments
17.		Pornhub now supports interactive toys (techcrunch.com)
		89 points by ciplis 3 hours ago \| hide \| 63 comments
18.		Writing Parsers Like it is 2017 [pdf] (langsec.org)
		88 points by JoshTriplett 6 hours ago \| hide \| 18 comments
19.		The internet as existential threat (raphkoster.com)
		71 points by zephyrfalcon 9 hours ago \| hide \| 51 comments
20.		Sorting 2 Tons of Lego, Many Questions, Results (jacquesmattheij.com)
		243 points by darwhy 8 hours ago \| hide \| 188 comments
21.		Search across every word from 25 years of the Simpsons (benschmidt.org)
		66 points by samclemens 8 hours ago \| hide \| 30 comments
22.		Bulletin (YC W17) is filling three open positions (bulletinbrand.com)
		2 hours ago \| hide
23.		A Jordan Bookseller’s 24-Hour ‘Emergency Room for the Mind’ (atlasobscura.com)
		118 points by palerdot 13 hours ago \| hide \| 8 comments
24.		Dell’s latest XPS 13 DE delivers Linux in a svelte package (arstechnica.com)
		17 points by jseliger 1 hour ago \| hide \| 1 comment
25.		Ends, Means, and Antitrust (stratechery.com)
		101 points by darwhy 11 hours ago \| hide \| 61 comments
26.		Goodbye Mozilla (chrislord.net)
		104 points by nachtigall 8 hours ago \| hide \| 56 comments
27.		An easter egg for one user: Luke Skywalker (einaregilsson.com)
		697 points by einaregilsson 12 hours ago \| hide \| 118 comments
28.		ThinScript, an experimental programming language that can compile to WebAssembly (github.com)
		108 points by pjmlp 13 hours ago \| hide \| 69 comments
29.		Blue Apron, Struggling to Woo Investors, Lowers Price Range for IPO (wsj.com)
		69 points by realdlee 7 hours ago \| hide \| 126 comments
30.		My own private basic income (opendemocracy.net)
		294 points by deegles 4 hours ago \| hide \| 171 comments
		More